This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Knowledge Representation Requirements for Model Sharing Between Model-Based Reasoning and Simulation in Process Flow Domains
Annotation ability available
Sector:
Language:
English
Abstract
Model-based reasoning (MBR) uses computational models to support automated inference about mechanisms. It is known to out-perform older, associative methods in differentiating sensor failure from mechanism failure. Heretofore, MBR has used constraint-set models. Recently, there has been interest in taking the simulation models that are built as part of the design process and re-using them in diagnosis and sensor placement. This paper examines the requirements for such a re-use of these models, particularly those built for modeling process-flow systems.
The switch from constraint-set to simulation models will force new requirements on the inference theory (and its implementations,) on the specification languages for simulations, and on the simulation code itself.
The paper identifies areas in which the theory of MBR is not yet completely adequate for using the information that simulations can yield, and reviews recent work in these areas. In particular, it is argued that using MBR along with simulations forces the use of specific fault models. Fault models are used so that a particular fault can be instantiated into the model and run. This in turn implies that the component specification language needs to be capable of encoding any fault that might need to be sensed or diagnosed. It also means that the simulation code must anticipate all these faults at the component level.
This also may force changes in the practice of how simulation models are specified. Commonly, model specifications omit distinctions which are not crucial to the simulation of the mechanism's nominal behavior. Such omission is normally not a characteristic modeling language. Rather, it is something modelers do to simplify their model specifications, when there is no reason not to. However, during diagnosis, these details may be critical performing the simulation of a particular fault mode, and must be retained.
Authors
Citation
Throop, D., "Knowledge Representation Requirements for Model Sharing Between Model-Based Reasoning and Simulation in Process Flow Domains," SAE Technical Paper 921219, 1992, https://doi.org/10.4271/921219.Also In
References
- Brown J. S. Burton R. R. deKleer J. Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II, and III Sleeman D. Brown J. S. Intelligent Tutoring Systems 227 282 Academic Press New York 1982
- Boeing Environmental control and life support system advanced automation project 1991 annual report Technical report, Boeing Computer Services, Huntsville Artificial Intelligence Center 1991
- Chien Steve Doyle Richard Rouquette Nicolas Sensor placement for diagnosability in space-borne systems: A model-based reasoning approach Proceedings of the Second International Workshop on the Principles of Diagnosis October 1991 Milan, Italy
- Chien Steve Roden Joseph Evaluating model accuracy for model-based reasoning Proceeding of the 1992 Goddard Conference on Space Applications of Artificial Intelligence 1992
- D'Ambrosio A. Modeling real-world processes: Deep and shallow knowledge integrated with approximate reasoning in a diagnostic expert system Mavrovouniotis Michael L. Artificial Intelligence in Process Engineering 189 222 Academic Press 1990
- Davis Randall Hamscher Walter Model-based reasoning: Troubleshooting Shrobe Howard E. Exploring Artificial Intelligence: Survey talks from the National Converences on Artificial Intelligence 297 346 Kaufman Morgan 1988
- Forbus K. Collins J. Reasoning about fluids via molecular collections AAAI-87 1987
- Finch F. E. Oyeleye O. O. Kramer M. A. A robust event-oriented methodology for diagnosis of dynamic process system Computers and Chemical Engineering December 1989
- Grantham Stepen D. Ungar Lyle H. A first principles approach to automated troubleshooting of chemical plants Computers and Chemical Engineering March 1990
- Hill Tim Report on the Houston Thermal Control Project at JSC 1991
- Identification and system parameter estimation: Proceedings of the 4th IFAC Symposium, Tbilisi, USSR Internation Federation on Automated Control 1978 IFAC Symposium on Identification and System Parameter Estimation
- Oyeleye O. O. Kramer M. A. The use of causal information in determining steady-state qualitative process behavior Chemical Engineering Science 1987
- Patton Rona Frank Paul Clark Robert Fault Diagnosis in Dynamic Systems Prentice Hall International (UK) 1989
- Struss Peter Dressler Oskar “Physical Negation” Integrating fault models into the general diagnositic engine IJCAI-89 1318 1323 1989
- Scarl Ethan A. Jamieson John R. DeLaune Carl I. Diagnosis and sensor validation through knowledge of structure and function IEEE Transactions on Systems, Man, and Cybernetics 17 3 360 368 May June 1987
- Schwutkke Ursula M. Yeung Raymond Quan Alan G. Angelino Rober Childs Cynthia L. Veregge John R. Rivera Monica B. MARVEL: A distributed real-time monitoring and analysis application AAAI-92 1992
- Throop David R. Model-Based Diagnosis of Complex Continuous Mechanisms The University of Texas at Austin 1991
- Williams, George P. W. Jr. Model-based diagnosis of SSF ECLSS Proceedings of The International Conference on Life Support and Biospherics February 1992