Skip to main content
SpringerLink
Log in
Book cover

Wissensbasierte Systeme pp 320–331Cite as

Model-Based Diagnosis — Progress and Problems

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 227))

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.

This is a preview of subscription content, 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   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dague, P, Devès, P, Raiman, O., Trouble-shooting: When Modeling is the Trouble, Proceedings AAAI-87

    Google Scholar 

  2. Davis, R., Expert Systems: Where Are We? And Where Do We Go From Here?, The AI Magazine, Spring 1982

    Google Scholar 

  3. Davis, R., Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1–3), 1984

    Article  Google Scholar 

  4. Decker, R., Modeling the Temporal Behavior of Technical Systems, Proceedings GWAI-88

    Google Scholar 

  5. de Kleer, J., An Assumption-Based TMS, Artificial Intelligence 28 (2), 1986

    Google Scholar 

  6. de Kleer, J. and Brown, J.S. A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1–3), 1984

    Article  Google Scholar 

  7. de Kleer, J., Williams, B.C., Diagnosing Multiple Faults, Artificial Intelligence 32 (1), 1987

    Article  Google Scholar 

  8. de Kleer, J., Williams, B.C., Diagnosis with Behavioral Modes, Proceedings IJCAI-89

    Google Scholar 

  9. Downing K., Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation, Proceedings AAAI-87

    Google Scholar 

  10. Dressier, O., Assumption-Based Truth Maintenance, in: H. Stoyan (ed.): Begruendungsverwaltung, Informatik- Fachberichte 162, 1987

    Google Scholar 

  11. Dressier, O., An Extended Basic ATMS, Proceedings 2nd International Workshop on Non-Monotonic Reasoning, 1988

    Google Scholar 

  12. Dressler-Farquhar 89] Dressler, O., Farquhar, A., Problem Solver Control over the ATMS, Proceedings GWAI-89

    Google Scholar 

  13. Dressier, O., Freitag, H., Truth Maintenance Systeme. In: KI 2/89, Munich, 1989

    Google Scholar 

  14. Dressler, O., Freitag, H., Propagation of Temporally Indexed Values in Multiple Contexts, Proceedings GWAI-89

    Google Scholar 

  15. Dressier, O. et al., THYC - A Case Study in Model-Based Diagnosis, Siemens Tech. Report, in preparation

    Google Scholar 

  16. Farquhar, A., Modifying Models during Diagnosis, Proceedings GWAI-89

    Google Scholar 

  17. Gallanti, M., Stefanini, A., and L. Tomada, ODS: A Diagnostic System Based on Qualitative Modelling Techniques, Conference on Artificial Intelligence Applications, Miami, 1989

    Google Scholar 

  18. Guckenbiehl, T., Representing Structure and Function in the Framework of MODISC, Tech. Report FhG-IITB, Karlsruhe, in preparation

    Google Scholar 

  19. 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

    Google Scholar 

  20. Hamscher, W., Model-Based Trouble-shooting of Digital Circuits, MIT-TR 1074, 1988

    Google Scholar 

  21. Kippe, J., Komponentenorientierte Repraesentation technischer Systeme, in: Fruechtenicht et al. (eds.), Technische Expertensysteme: Wissensrepraesentation und Schlussfolgerungsverfahren, Munich, 1988

    Google Scholar 

  22. Raiman, O., Diagnosis as a Trial: The Alibi Principle, IBM Scientific Center, 1989

    Google Scholar 

  23. Reinfrank, M., Defaults as Preferences Among Partial Worlds - Preliminary Report. Proceedings European Workshop on Logical Methods in AI, 1988

    Google Scholar 

  24. Schmid, L., Impediments to a Qualitative Physics Based on Confluences, in: Fruechtenicht et al. (eds.), Technische Expertensysteme - Wissensrepraesentation und Schlussfolgerungs-verfahren, Munich, 1988

    Google Scholar 

  25. Struss, P., Multiple Representation os Structure and Function, in: J. Gero (ed.), Expert Systems in Computer-Aided Design, Amsterdam 1987

    Google Scholar 

  26. 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

    Google Scholar 

  27. Struss, P., Global Filters for Qualitative Behaviors, Proceedings AAAI-88

    Google Scholar 

  28. Struss, P., Mathematical Aspects of Qualitative Reasoning - Part Two: Differential Equations, Siemens Technical Report INF 2 ARM-7-88, Munich 1988

    Google Scholar 

  29. Struss, P., Extensions to ATMS-Based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988

    Google Scholar 

  30. Struss, P., A Framework for Model-Based Diagnosis, Siemens Technical Report INF 2 ARM-10-88, Munich, 1988

    Google Scholar 

  31. 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

    Google Scholar 

  32. Struss, P., Diagnosis as a Process, Workshop on Model-Based Diagnosis, Paris, 1989

    Google Scholar 

  33. Struss, P., Dressier, O., “Physical Negation” - Integrating Fault Models into the General Diagnostic Engine, Proceedings IJC AI-89

    Google Scholar 

  34. Sussman, G. J. and Steele, G. L. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence 14 (1), 1980

    Article  Google Scholar 

  35. Voss, H., Representing and Analyzing Causal, Temporal, and Hierarchical Relations of Devices, Dissertation, Univ. of Kaiserslautern, 1986

    Google Scholar 

  36. Williams, B., Doing Time: Putting Qualitative Reasoning on Firmer round, Proceedings AAAL- 86

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SIEMENS AG, Otto-Hahn-Ring 6, D-8000, Muenchen 83, Deutschland

    Peter Struss

Authors
  1. Peter Struss
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000, München 2, Germany

    W. Brauer  & C. Freksa  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation