Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Model-based diagnosis: An overview

  • Part 7: Qualitative Reasoning
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence

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

Abstract

Diagnosis is an important application area of Artificial Intelligence. First generation expert diagnostic systems had exhibited difficulties which motivated the development of model-based reasoning techniques. Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. The paper gives a brief overview of the main concepts, problems, and research results in this area.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bakker, R.R., Hogenhuis, P.A., Mars, N.J.I., van Soest, D.C. Diagnosis of technical systems using design descriptions. Proc. Second Generation Expert Systems, pp. 107–116, Avignon, France, 1989.

    Google Scholar 

  2. Bratko, I., Mozetič, I., Lavrač, N. KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press, Cambridge, MA, 1989.

    Google Scholar 

  3. Buchanan, B.G., Sullivan, J., Cheng, T., Clearwater, S.H. Simulation-assisted inductive learning. Proc. 7th Natl. Conf. on Artificial Intelligence, AAAI-88, pp. 552–557, Saint Paul, MN, Morgan Kaufmann, 1988.

    Google Scholar 

  4. Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R. Some results concerning the computational complexity of abduction. Proc. Intl. Conf. on Principles of Knowledge Representation and Reasoning, pp. 44–54, Toronto, Morgan Kaufmann, 1989.

    Google Scholar 

  5. Carlsson, M., Widen, J. SICStus Prolog User's Manual. Swedish Institute of Computer Science, Kista, Sweden, 1991.

    Google Scholar 

  6. Cohen, J. Constraint logic programming languages. Communications of the ACM 33 (7), pp. 52–68, 1990.

    Google Scholar 

  7. Console, L., Torasso, P. Integrating models of the correct behavior into abductive diagnosis. Proc. 9th European Conf. on Artificial Intelligence, ECAI-90, pp. 160–166, Stockholm, Sweden, 1990.

    Google Scholar 

  8. Cox, P.T., Pietrzykowski, T. General diagnosis by abductive inference. Proc. 1987 Symposium on Logic Programming, pp. 183–189, San Francisco, CA, IEEE, 1987.

    Google Scholar 

  9. Dague, P., Deves, P., Luciani, P., Taillibert, P. Analog systems diagnosis. Proc. 9th European Conf. on Artificial Intelligence, ECAI-90, pp. 173–178, Stockholm, Sweden, 1990.

    Google Scholar 

  10. Davis, R. Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24, pp. 347–410, 1984.

    Google Scholar 

  11. de Kleer, J. Local methods for localizing faults in electronic circuits. MIT AI Memo 394, Cambridge, MA, 1976.

    Google Scholar 

  12. de Kleer, J. Focusing on probable diagnoses. Proc. 9th Natl. Conf. on Artificial Intelligence, AAAI-91, pp. 842–848, Anaheim, CA, MIT Press, 1991.

    Google Scholar 

  13. de Kleer, J., Williams, B.C. Diagnosing multiple faults. Artificial Intelligence 32, pp. 97–130, 1987.

    Google Scholar 

  14. de Kleer, J., Williams, B.C. Diagnosis with behavioral modes. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, pp. 1324–1330, Detroit, Morgan Kaufmann, 1989.

    Google Scholar 

  15. de Kleer, J., Mackworth, A.K., Reiter, R. Characterizing diagnoses. Proc. 8th Natl. Conf. on Artificial Intelligence, AAAI-90, pp. 324–330, Boston, MIT Press, 1990.

    Google Scholar 

  16. Finin, T., Morris, G. Abductive reasoning in multiple fault diagnosis. Artificial Intelligence Review 3, pp. 129–158, 1989.

    Google Scholar 

  17. Friedrich, G., Gottlob, G., Nejdl, W. Physical impossibility instead of fault models. Proc. 8th Natl. Conf. on Artificial Intelligence, AAAI-90, pp. 331–336, Boston, MIT Press, 1990.

    Google Scholar 

  18. Friedrich, G., Gottlob, G., Nejdl, W. Hypothesis classification, abductive diagnosis and therapy. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 124–128, Stanford University, Palo Alto, 1990.

    Google Scholar 

  19. Friedrich, G., Lackinger, F. Diagnosing temporal misbehavior. Proc. 12th Intl. Joint Conf. on Artificial Intelligence, IJCAI-91, pp. 1116–1122, Sydney, Australia, Morgan Kaufmann, 1991.

    Google Scholar 

  20. Gallanti, M., Roncato, M., Stefanini, A., Tornielli, G. A diagnostic algorithm based on models at different level of abstraction. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, pp. 1350–1355, Detroit, Morgan Kaufmann, 1989.

    Google Scholar 

  21. Geffner, H., Pearl, J. An improved constraint-propagation algorithm for diagnosis. Proc. 10th Intl. Joint Conf. on Artificial Intelligence, IJCAI-87, pp. 1105–1111, Milan, Italy, Morgan Kaufmann, 1987.

    Google Scholar 

  22. Genesereth, M.R. The use of design descriptions in automated diagnosis. Artificial Intelligence 24, pp. 411–436, 1984.

    Google Scholar 

  23. Giunchiglia, F., Walsh, T. Abstract theorem proving. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, pp. 372–377, Detroit, MI, Morgan Kaufmann, 1989.

    Google Scholar 

  24. Hamscher, W.C. Modeling digital circuits for troubleshooting. Artificial Intelligence 51, pp. 223–271, 1991.

    Google Scholar 

  25. Heintze, N., Michaylov, S., Stuckey, P. CLP(R) and some electrical engineering problems. Proc. 4th Intl. Conf. on Logic Programming, pp. 675–703, Melbourne, Australia, MIT Press, 1987.

    Google Scholar 

  26. Holzbaur, C. Specification of constraint based inference mechanisms through extended unification. Ph.D. thesis, Dept. of Medical Cybernetics and AI, University of Vienna, Austria, 1990.

    Google Scholar 

  27. First Intl. Workshop on Principles of Diagnosis, Working notes, Stanford University, Palo Alto, July 23–25, 1990.

    Google Scholar 

  28. Second Intl. Workshop on Principles of Diagnosis, Working notes, Milano, Italy, October 14–16, 1991.

    Google Scholar 

  29. Jaffar, J., Lassez, J.-L., Mahler, J. A logic programming language scheme. In: D. de Groot, G. Linstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ, 1986.

    Google Scholar 

  30. Lloyd, J.W. Foundations of Logic Programming (Second edition). Springer-Verlag, 1987.

    Google Scholar 

  31. Michalski, R.S. A theory and methodology of inductive learning. In R.S. Michalski, J.G. Carbonell, T.M. Mitchell, Eds., Machine Learning: An Artificial Intelligence Approach, pp. 83–134, Tioga, Palo Alto, CA, 1983.

    Google Scholar 

  32. Mozetič, I. Knowledge extraction through learning from examples. In T.M. Mitchell, J.G. Carbonell, R.S. Michalski, Eds., Machine Learning: A Guide to Current Research, pp. 227–231, Kluwer Academic Publishers, Boston, MA, 1986.

    Google Scholar 

  33. Mozetič, I. Reduction of diagnostic complexity through model abstractions. Report TR-90-10, Austrian Research Institute for Artificial Intelligence, Vienna. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 102–111, Stanford University, Palo Alto, 1990.

    Google Scholar 

  34. Mozetič, I. Hierarchical model-based diagnosis. Intl. Journal of Man-Machine Studies 35 (3), pp. 329–362, 1991.

    Google Scholar 

  35. Mozetič, I. A polynomial algorithm for model-based diagnosis. Proc. European Conf. on Artificial Intelligence, ECAI-92, Vienna, Austria, 1992.

    Google Scholar 

  36. Mozetič, I., Holzbaur, C. Model-based diagnosis with constraint logic programs. Proc. 7th Austrian Conf. on Artificial Intelligence, ÖGAI-91, pp. 168–180, Wien, Springer-Verlag, 1991.

    Google Scholar 

  37. Mozetič, I., Holzbaur, C. Integrating numerical and qualitative models within constraint logic programming. Proc. 1991 Intl. Logic Programming Symposium, ILPS-91, pp. 678–693, San Diego, CA, MIT Press, 1991.

    Google Scholar 

  38. Mozetič, I., Holzbaur, C., Novak, F., Santo-Zarnik, M. Modelbased analogue circuit diagnosis with CLP(5R). Proc. 4th Intl. GI Congress, pp. 343–353, München, Springer-Verlag, 1991.

    Google Scholar 

  39. Pearce, D.A. The induction of fault diagnosis systems from qualitative models. Proc. 7th Natl. Conf. on Artificial Intelligence, AAAI-88, pp. 353–357, Saint Paul, MN, Morgan Kaufmann, 1988.

    Google Scholar 

  40. Plaisted, D.A. Theorem proving with abstractions. Artificial Intelligence 16, pp. 47–108, 1981.

    Google Scholar 

  41. Poole, D. Normality and faults in logic-based diagnosis. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, pp. 1304–1310, Detroit, Morgan Kaufmann, 1989.

    Google Scholar 

  42. Raiman, O. Diagnosis as a trial: the alibi principle. Report, IBM Scientific Center, Paris, 1989.

    Google Scholar 

  43. Reggia, J.A., Nau, D.S., Wang, P.Y. Diagnostic expert systems based on a set covering model. Intl. Journal of Man-Machine Studies 32, pp. 57–96, 1987.

    Google Scholar 

  44. Reiter, R. A theory of diagnosis from first principles. Artificial Intelligence 32, pp. 57–95, 1987.

    Google Scholar 

  45. Sacerdoti, E.D. Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5, pp. 115–135, 1974.

    Google Scholar 

  46. Saraswat, V.A., de Kleer, J., Raiman, O. Contributions to a theory of diagnosis. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 33–38, Stanford University, Palo Alto, 1990.

    Google Scholar 

  47. Shortliffe, E.H. Computer-Based Medical Consultation: MYCIN. American Elsevier, New York, 1976.

    Google Scholar 

  48. Struss, P., Dressler, O. “Physical negation” — integrating fault models into the general diagnostic engine. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, pp. 1318–1323, Detroit, Morgan Kaufmann, 1989.

    Google Scholar 

  49. van Henenryck, P. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989.

    Google Scholar 

  50. Wakeling, A., McKeon A. On automatic fault finding in analogue circuits. Electronic Engineering, pp. 95–101, Nov. 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria

    Igor Mozetič

Authors
  1. Igor Mozetič
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mozetič, I. (1992). Model-based diagnosis: An overview. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_48

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_48

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55681-7

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation