Skip to main content
SpringerLink
Log in

Modellbasierte Diagnose — Überblick und technische Anwendung

Model-based diagnosis — an overview and technical applications

  • Begutachtete Originalarbeiten
  • Published:
e&i Elektrotechnik und Informationstechnik Aims and scope Submit manuscript

Zusammenfassung

Unter dem Begriff der modellbasierten Diagnose versteht man eine Familie von Methoden zur automatischen Fehlersuche in (meist) technischen Systemen. Im Unterschied zu den klassischen so genannten “Expertensystem”-Ansätzen geht die modellbasierte Diagnose nicht von einer detaillierten und aufwendigen Auflistung aller möglichen Fehlerfälle aus, sondern beschreibt stattdessen das korrekte Verhalten des Systems. Diese Beschreibung erfolgt baukastenartig, so dass z. B. verschiedene Modelle konkreter Schaltkreise aus einer Menge von Komponentenbeschreibungen einfach zusammengesetzt werden könne. Wird ein Fehlverhalten beobachtet, so kann mit Hilfe problemunabhängiger Lösungsverfahren nach einer Menge von Komponenten gesucht werden, deren Schadhaftigkeit das Problem erklären würde.

Abstract

Model-based diagnosis deals with a set of methods for finding faults in (usually technical) systems by examining the way these systems operate when functioning correctly, instead of using the classical “expert system” approach of painstakingly collecting all individual fault cases. The types of components occurring in a problem domain have their behavior described in a generic catalogue and can then be simply combined to describe any system from that domain. If faulty behavior is observed, a general solution algorithm can be applied to identify the set of components whose misbehavior explains the fault.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Schrifttum

  1. Cauvin, S., Cordier, M.-O., Dousson, C., Laborie, P., Levy, F., Montmain, J., Porcheron, M., Servet, I., Trave-Massuyes, L.; Monitoring and alarm interpretation in industrial environments. AI Communications 11 (1998), 3/4.

    Google Scholar 

  2. Cascio, F., Console, L., Guagliumi, M., Osella, M., Panati A., Sottano, S., Theseider Duprè, D.: Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Communications 12 (1999), 1/2.

    Google Scholar 

  3. Davis, R., Hamscher, W.: Model-based reasoning: Troubleshooting. In: Howard E. Shrobe (editor): Exploring Artificial Intelligence. Kapitel 8. Morgan Kaufmann. 1988, S. 297–346.

  4. de Kleer, J., Mackworth, A. K., Reiter, R.: Characterizing diagnoses. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston. August 1990, S. 324–330.

  5. de Kleer, J., Williams, B. C.: Diagnosing multiple faults. Artificial Intelligence 32 (1987), 1, S. 97–130.

    Article  MATH  Google Scholar 

  6. El Fattah, Y., Dechter, R.: Diagnosing tree-decomposable circuits. In: Proceedings 14th International Joint Conf. on Artificial Intelligence. 1995, S. 1742–1748.

  7. Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency based diagnosis of configuration knowledge bases. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin. August 2000.

  8. Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI). Boston. August 1990, S. 331–336. Also appears in: Readings in model-based diagnosis: Morgan Kaufmann. 1992.

  9. Fröhlich, P., Nejdl, W.: A static model-based engine for model-based reasoning. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan. August 1997.

  10. Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111 (1999), 2, S. 3–39.

    Article  MATH  MathSciNet  Google Scholar 

  11. Greiner, R., Smith, B. A., Wilkerson, R. W.: A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence 41 (1989), 1, S. 79–88.

    Article  MATH  MathSciNet  Google Scholar 

  12. Hamscher, W., Console, L., de Kleer, J. (editors): Readings in model-based diagnosis. Morgan Kaufmann. 1992.

  13. Heller, U., Struss, P.: Transformation of qualitative dynamic models — application in hydro-ecology. In: Proceedings of the 10th International Workshop on Qualitative Reasoning. 1996.

  14. Heller, U., Struss, P.: Conceptual modeling in the environmental domain. In: Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, Berlin, Germany. 1997.

  15. Montmain, J.: Supervision applied to nuclear fuel reprocessing. AI Communication 13 (2000). Special Issue on Industrial Applications of Model-Based Reasoning.

  16. Malik, Struss, P., Sachenbacher, M.: Case studies in model-based diagnosis and fault analysis of car-subsystems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI). 1996.

  17. Mateis, C., Stumptner, M, Wotawa, F.: Modeling Java programs for diagnosis. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany. August. 2000.

  18. Price, C., Snooke, N.: Challenges for qualitative electrical reasoning in circuit simulation. In: Proceedings of the 11th International Workshop on Qualitative Reasoning. 1997.

  19. Price, C., Wilson, M., Timmis, J., Cain, C.: Generating fault trees from fmea. In: Proceedings of the Seventh International Workshop on Principles of Diagnosis. 1996.

  20. Reiter, R.: A theory of diagnosis from first principles Artificial Intelligence 32 (1987), 1, S. 57–95.

    Article  MATH  MathSciNet  Google Scholar 

  21. Struss, P., Dressler, O.: Physical negation — Integrating fault models into the general diagnostic engine. In: Proceedings 11th International Joint Conf. On Artificial Intelligence, Detroit. August. 1989, S. 1318–1323.

  22. Sachenbacher, M., Struss, P., Carlen, C. M.: A prototype for model-based on-board diagnosis of automotive systems. AI Communications 13 (2000). Special Issue on Industrial Applications of Model-Based Reasoning.

  23. Stumptner, M., Wotawa, F.: Diagnosing tree-structured systems. Artificial Intelligence 127 (2001) 1, S. 1–29.

    Article  MATH  MathSciNet  Google Scholar 

  24. Stumptner, M., Wotawa, F.: Model-based reconfiguration. In: Proceedings Artificial Intelligence in Design, Lisbon, Portugal. 1998.

  25. Stumptner, M., Wotawa, F.: Debugging functional programs. In: Proceedings 16th International Joint Conf. on Artificial Intelligence, Stockholm, Sweden. August 1999.

  26. Stumptner, M., Wotawa, F.: Guest-editorial Special Issue on Industrial Applications of Model-based Reasoning. AI Communications 13 (2000), 2.

    Google Scholar 

  27. Weld, D., de Kleer, J. (editors). Readings in qualitative reasoning about physical systems. San Mateo: Morgan Kaufmann. 1989.

    Google Scholar 

  28. Williams, B. C., Pandurang Nayak, P.: A reactive planner for a model-based executive. In: Proceedings 15th International Joint Conf. on Artificial Intelligence. 1997, S. 1178–1185.

  29. Wotawa, F.: Guest-editorial Special Issue on Model-Based Reasoning. AI Communications 12 (1999), 1/2.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme, Abteilung für Datenbanken und Artificial Intelligence, Technische Universität Wien, Favoritenstraße 9-11, A-1040, Wien

    F. Wotawa

  2. School of Computer and Information Science, University of South Australia, 5095 Mawson Lakes, Adelaide, SA, Australia

    M. Stumptner

Authors
  1. F. Wotawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Stumptner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to F. Wotawa.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wotawa, F., Stumptner, M. Modellbasierte Diagnose — Überblick und technische Anwendung. Elektrotech. Inftech. 118, 360–366 (2001). https://doi.org/10.1007/BF03157840

Download citation

  • Issue Date:

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

Schlüsselwörter

Keywords

Search

Navigation