Abstract A prototype first principles-based troubleshooting system capable of analyzing the dynamic behavior of individual process units or small subsystems is presented. Our system differs from previous qualitative model-based systems in two ways. Firstly, it reasons with a first principles understanding of physical and chemical phenomena such as reaction, heat flow and liquid/vapor equilibrium, allowing analysis and explanation at a more fundamental level. Secondly, it can automatically modify unit models, allowing identification of faults which significantly change unit behavior without the need for explicit fault scenarios. The troubleshooter uses the qualitative process theory (QPT) representation of Forbus which provides a framework to qualitatively model and simulate the behavior of dynamic systems. Our diagnostic system exploits QPT's explicit representation of the conditions under which phenomena are believed to hold and the constraints they contribute to the model. The system takes as input the assumed unit model and a set of discrepancies between the observed and expected unit behavior. Diagnosis is based on a hypothesis—test strategy of four steps: identify assumption changes which can account for a single discrepancy, determine the resultant changes in the model, simulate the effect of these changes on the unit behavior and compare with observed behavior.
[1]
Venkat Venkatasubramanian,et al.
An object-oriented two-tier architecture for integrating compiled and deep-level knowledge for process diagnosis
,
1988
.
[2]
Johan de Kleer,et al.
A Qualitative Physics Based on Confluences
,
1984,
Artif. Intell..
[3]
John E. Hunt,et al.
A qualitative diagnostician for mechanical devices
,
1989
.
[4]
Brian Falkenhainer,et al.
Setting up Large-Scale Qualitative Models
,
1988,
AAAI.
[5]
O. O. Oyeleye,et al.
Qualitative simulation of chemical process systems: Steady‐state analysis
,
1988
.
[6]
Benjamin Kuipers,et al.
Model-Based Monitoring of Dynamic Systems
,
1989,
IJCAI.
[7]
Venkat Venkatasubramanian,et al.
Model-based reasoning in diagnostic expert systems for chemical process plants
,
1987
.
[8]
Kenneth D. Forbus.
Qualitative Process Theory
,
1984,
Artif. Intell..
[9]
Randall Davis,et al.
Expert Systems: Where Are We? And Where Do We Go from Here?
,
1982,
AI Mag..
[10]
Benjamin Kuipers,et al.
Qualitative modeling and simulation of dynamic systems
,
1988
.
[11]
Brian C. Williams,et al.
Diagnosing Multiple Faults
,
1987,
Artif. Intell..
[12]
Benjamin J. Kaipers,et al.
Qualitative Simulation
,
1989,
Artif. Intell..