Abstract
Diagnosis has been one of the major application areas of the first generation of “Expert Systems” which is characterized by exploiting the rule-based paradigm. Despite the considerable success of this approach in experimental environments, its serious limitations became evident in the early eighties. Being adequate primarily for representing empirical associations (which relate symptoms to the underlying malfunctions), it fails to provide a foundation for the modeling of existing general theories about a domain and for a principled way of building diagnostic systems. This results in a significant limitation of the industrial production and application of knowledge-based diagnostic systems.
These problems are addressed by research on “Model-Based Diagnosis”. Based on case-studies performed in the TEX-B project, we survey the principal ideas, achievements and problems of current research in this subfield of Artificial Intelligence. We will discuss various solutions and systems that have been developed in this project in order to address certain features of real applications, such as the modeling of dynamic systems, reasoning with unreliable observations, exploitation of fault models, or handling of complex systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dague, P, Devès, P, Raiman, O., Trouble-shooting: When Modeling is the Trouble, Proceedings AAAI-87
Davis, R., Expert Systems: Where Are We? And Where Do We Go From Here?, The AI Magazine, Spring 1982
Davis, R., Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1–3), 1984
Decker, R., Modeling the Temporal Behavior of Technical Systems, Proceedings GWAI-88
de Kleer, J., An Assumption-Based TMS, Artificial Intelligence 28 (2), 1986
de Kleer, J. and Brown, J.S. A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1–3), 1984
de Kleer, J., Williams, B.C., Diagnosing Multiple Faults, Artificial Intelligence 32 (1), 1987
de Kleer, J., Williams, B.C., Diagnosis with Behavioral Modes, Proceedings IJCAI-89
Downing K., Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation, Proceedings AAAI-87
Dressier, O., Assumption-Based Truth Maintenance, in: H. Stoyan (ed.): Begruendungsverwaltung, Informatik- Fachberichte 162, 1987
Dressier, O., An Extended Basic ATMS, Proceedings 2nd International Workshop on Non-Monotonic Reasoning, 1988
Dressler-Farquhar 89] Dressler, O., Farquhar, A., Problem Solver Control over the ATMS, Proceedings GWAI-89
Dressier, O., Freitag, H., Truth Maintenance Systeme. In: KI 2/89, Munich, 1989
Dressler, O., Freitag, H., Propagation of Temporally Indexed Values in Multiple Contexts, Proceedings GWAI-89
Dressier, O. et al., THYC - A Case Study in Model-Based Diagnosis, Siemens Tech. Report, in preparation
Farquhar, A., Modifying Models during Diagnosis, Proceedings GWAI-89
Gallanti, M., Stefanini, A., and L. Tomada, ODS: A Diagnostic System Based on Qualitative Modelling Techniques, Conference on Artificial Intelligence Applications, Miami, 1989
Guckenbiehl, T., Representing Structure and Function in the Framework of MODISC, Tech. Report FhG-IITB, Karlsruhe, in preparation
Haag, A., Deriving a Model of an Electrical Transformer for Qualitative Simulation with QSIM, in: Fruechtenicht et al. (eds.), Technische Expertensysteme - Wissensrepraesentation und Schluss- folgerungsverfahren, Munich, 1988
Hamscher, W., Model-Based Trouble-shooting of Digital Circuits, MIT-TR 1074, 1988
Kippe, J., Komponentenorientierte Repraesentation technischer Systeme, in: Fruechtenicht et al. (eds.), Technische Expertensysteme: Wissensrepraesentation und Schlussfolgerungsverfahren, Munich, 1988
Raiman, O., Diagnosis as a Trial: The Alibi Principle, IBM Scientific Center, 1989
Reinfrank, M., Defaults as Preferences Among Partial Worlds - Preliminary Report. Proceedings European Workshop on Logical Methods in AI, 1988
Schmid, L., Impediments to a Qualitative Physics Based on Confluences, in: Fruechtenicht et al. (eds.), Technische Expertensysteme - Wissensrepraesentation und Schlussfolgerungs-verfahren, Munich, 1988
Struss, P., Multiple Representation os Structure and Function, in: J. Gero (ed.), Expert Systems in Computer-Aided Design, Amsterdam 1987
Struss, P., Mathematical Aspects of Qualitative Reasoning, in; Special issue on Qualitative Physics, part 1, International Journal of Artificial Intelligence in Engineering 3 (3), 1988
Struss, P., Global Filters for Qualitative Behaviors, Proceedings AAAI-88
Struss, P., Mathematical Aspects of Qualitative Reasoning - Part Two: Differential Equations, Siemens Technical Report INF 2 ARM-7-88, Munich 1988
Struss, P., Extensions to ATMS-Based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988
Struss, P., A Framework for Model-Based Diagnosis, Siemens Technical Report INF 2 ARM-10-88, Munich, 1988
Struss, P., Problems of Interval-Based Qualitative Reasoning - Revised Version, in: Weld, D. and de Kleer, J. (eds.), Readings in Qualitative Reasoning about Physical Systems, San Mateo, 1989
Struss, P., Diagnosis as a Process, Workshop on Model-Based Diagnosis, Paris, 1989
Struss, P., Dressier, O., “Physical Negation” - Integrating Fault Models into the General Diagnostic Engine, Proceedings IJC AI-89
Sussman, G. J. and Steele, G. L. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence 14 (1), 1980
Voss, H., Representing and Analyzing Causal, Temporal, and Hierarchical Relations of Devices, Dissertation, Univ. of Kaiserslautern, 1986
Williams, B., Doing Time: Putting Qualitative Reasoning on Firmer round, Proceedings AAAL- 86
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Struss, P. (1989). Model-Based Diagnosis — Progress and Problems. In: Brauer, W., Freksa, C. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75182-0_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-75182-0_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51838-9
Online ISBN: 978-3-642-75182-0
eBook Packages: Springer Book Archive