Skip to main content
SpringerLink
Log in

Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning

  • Conference paper
  • First Online:
Engineering of Intelligent Systems (IEA/AIE 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2070))

  • 718 Accesses

Abstract

Process models can be seen as structured knowledge base elements with syntax and semantics dictated by the underlying physical and chemical laws. The effect of model simplification assumptions is then determined by forward reasoning in order to take into account all of their implications. A bidirectional reasoning method for the retrieval of modelling assumptions from two related process models is proposed. An intelligent model editor is constructed to perform and test the model- based reasoning methods related to the assumption retrieval.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hangos, K. M. and Cameron, I. T.: A formal representation of assumptions in process modelling. Comput. Chem. Engng. in print (2001)

    Google Scholar 

  2. Lakner, R., Hangos, K. M. and Cameron, I. T.: An assumption-driven case sensitive model editor.Comput. Chem. Engng. (Supplement), 23 (1999) S695–S698.

    Article  Google Scholar 

  3. Piela, P. C., Epperly, T. G., Westerberg, K. M. and Westerberg, A. W.: ASCEND: An object oriented computer environment for modeling and analysis: The modeling language. Comput. Chem. Engng., 15 (1991) 53.

    Article  Google Scholar 

  4. Hangos, K. M. and Cameron, I. T.: Process modelling and model analysis. Academic Press. (2001)

    Google Scholar 

  5. Bogusch, R., Lohmann, B. and W. Marquardt: Computer aided process modelling with ModKit, Computers Europe III, Frankfurt, Germany (1996)

    Google Scholar 

  6. G. Stephanopoulos, G. Henning and H. Leone: MODEL.LA a modeling language for process engineering-the formal framework. Comput. Chem. Engng. 8 (1990) 813–846.

    Article  Google Scholar 

  7. S. Russell and P. Norvig: Artificial intelligence, A modern approach, Prentice-Hall (1995)

    Google Scholar 

  8. Visual Prolog, Language Tutorial Prolog Development Center, (1986-1997)

    Google Scholar 

  9. P. E. V. Fritson and J. Gunnarson: An integrated modelica environment for modelling, documentation and simulation. Proc. 1998 Summer Computer Simulation Conference SCSC98, Reno, Nevada, July 19-22. (1998)

    Google Scholar 

  10. W. Marquardt: Trends in computeraided modelling. Comput. Chem. Engng., 20 (1996) 591–609.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Veszprém, Veszprém, Hungary

    R. Lakner

  2. Systems and Control Laboratory, Computer and Automation Research Institute HAS, Budapest, Hungary

    K. M. Hangos

Authors
  1. R. Lakner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. M. Hangos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hungarian Academy of Sciences, Intelligent Manufacturing and Business Processes Computer and Automation Research Institute, Kende utca 13-17, 1111, Budapest, Hungary

    László Monostori  & József Váncza  & 

  2. Department of Computer Science 601 University Drive, Southwest Texas State University, San Marcos, TX, 78666-4616, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lakner, R., Hangos, K.M. (2001). Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45517-5_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42219-8

  • Online ISBN: 978-3-540-45517-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation