New techniques in model-based diagnosis

  • Peter Struss
Part of the Lecture Notes in Computer Science book series (LNCS, volume 444)


For about a decade, model-based reasoning has been investigated by AI research. In particular diagnosis of technical devices requires explicitly representing principal knowledge about the structure and behavior of the device to be diagnosed and its components. The General Diagnostic Engine (GDE) introduced by J. de Kleer and B. Williams is probably the most promising approach to model-based diagnosis. This paper discusses problems emerging from case studies based on GDE carried out by the Advanced Reasoning Methods group at SIEMENS. In particular, questions of handling devices with many components, reasoning about device behavior over time, exploiting multiple tests and knowledge about faults, and dealing with uncertain measurements are raised. Based on extensions to GDE, at least partial solutions to these problems have been achieved, making real applications of this approach become more feasible.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Davis 82]
    Davis, R., Expert Systems: Where Are We? And Where Do We Go From Here?, The AI Magazine, Spring 1982Google Scholar
  2. [de Kleer 86]
    de Kleer, J., An Assumption-Based TMS, Artificial Intelligence 28(2), 1986Google Scholar
  3. [de Kleer-Williams 87]
    de Kleer, J., Williams, B.C., Diagnosing Multiple Faults, Artificial Intelligence 32(1), 1987Google Scholar
  4. [de Kleer-Williams 89]
    de Kleer, J., Williams, B.C., Diagnosis with Behavioral Modes, Proceedings IJCAI-89Google Scholar
  5. [Dressler-Farquhar 89]
    Dressler, O., Farquhar, A., Problem Solver Control over the ATMS, Proceedings GWAI-89Google Scholar
  6. [Dressler-Freitag 89]
    Dressler, O., Freitag, H., Propagation of Temporally Indexed Values in Multiple Contexts, Proceedings GWAI-89Google Scholar
  7. [Farquhar 89]
    Farquhar, A., Modifying Models during Diagnosis, Proceedings GWAI-89Google Scholar
  8. [Hamscher 88]
    Hamscher, W., Model-Based Troubleshooting of Digital Circuits, MIT-TR 1074, 1988Google Scholar
  9. [Raiman 89]
    Raiman, O., Diagnosis as a Trial: The Alibi Principle, IBM Scientific Center, 1989Google Scholar
  10. [Struss 87]
    Struss, P., Multiple Representation of Structure and Function, in: J. Gero (ed.), Expert Systems in Computer-Aided Design, Amsterdam 1987Google Scholar
  11. [Struss 88a]
    Struss, P., Extensions to ATMS-Based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988Google Scholar
  12. [Struss 88b]
    Struss, P., A Framework for Model-Based Diagnosis, Siemens Technical Report INF 2 ARM-10-88, Munich, 1988Google Scholar
  13. [Struss 89a]
    Struss, P., Diagnosis as a Process, Workshop on Model-Based Diagnosis, Paris, 1989Google Scholar
  14. [Struss 89b]
    Struss, P., Model-Based Diagnosis — Recent Advances and Perspectives, Siemens Technical Report INF 2 ARM-16-89, Munich, 1989Google Scholar
  15. [Struss-Dressler 89]
    Struss, P., Dressler, O., “Physical Negation” — Integrating Fault Models into the General Diagnostic Engine, Proceedings IJCAI-89Google Scholar
  16. [Williams 86]
    Williams, B., Doing Time: Putting Qualitative Reasoning on Firmer Ground, Proceedings AAAI-86Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Peter Struss
    • 1
  1. 1.SIEMENS AGMunich 83West Germany

Personalised recommendations