Skip to main content

New techniques in model-based diagnosis

  • Reasoning
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 444))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. Hamscher, W., Model-Based Troubleshooting of Digital Circuits, MIT-TR 1074, 1988

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  14. Struss, P., Model-Based Diagnosis — Recent Advances and Perspectives, Siemens Technical Report INF 2 ARM-16-89, Munich, 1989

    Google Scholar 

  15. Struss, P., Dressler, O., “Physical Negation” — Integrating Fault Models into the General Diagnostic Engine, Proceedings IJCAI-89

    Google Scholar 

  16. Williams, B., Doing Time: Putting Qualitative Reasoning on Firmer Ground, Proceedings AAAI-86

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

S. Ramani R. Chandrasekar K. S. R. Anjaneyulu

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Struss, P. (1990). New techniques in model-based diagnosis. In: Ramani, S., Chandrasekar, R., Anjaneyulu, K.S.R. (eds) Knowledge Based Computer Systems. KBCS 1989. Lecture Notes in Computer Science, vol 444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018400

Download citation

  • DOI: https://doi.org/10.1007/BFb0018400

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52850-0

  • Online ISBN: 978-3-540-47168-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics