Application of model-based diagnosis to machine tools

  • Günter Spur
  • Sabine Weiß
Part of the Lecture Notes in Computer Science book series (LNCS, volume 462)


Model-based expert systems show great promise particularly in their technical application. This article describes a research project in which the fundamentals for the development of model-based diagnostic expert systems in manufacturing are to be compiled. Using the example of a lathe, general ideas on machine tool modeling are presented and the concept of an on-line-coupled diagnostic system supported by an assumption-based truth maintenance system is introduced. The modeling follows a component-oriented approach using constraints to represent the behavior of the machine tool. The significance of the introduction of derived constraints and different levels of abstraction is explained. Initial experiences from the practical realization of the system point toward the applicability of this approach to other cases.


Machine Tool Knowledge Acquisition Diagnostic Process Machine Element Constraint Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Davis, Randall: Diagnostic Reasoning Based on Structure and Behavior. In: Artificial Intelligence 24(1984), pp. 347–410.Google Scholar
  2. de Kleer, Johan (a): An Assumption-Based TMS. In: Artificial Intelligence 28(1986), pp. 127–162.Google Scholar
  3. de Kleer, Johan (b): Problem Solving with the ATMS. In: Artificial Intelligence 28(1986), pp. 197–224.Google Scholar
  4. de Kleer, Johan; Brown, John Seely: A Qualitative Physics Based on Confluences. In: Artificial Intelligence 24(1984), S. 7–83.Google Scholar
  5. de Kleer, Johan; Williams, Brian C.: Diagnosing Multiple Faults. In: Artificial Intelligence 32(1987), pp. 97–130.Google Scholar
  6. Früchtenicht, H.W., et al. (eds.): Technische Expertensysteme — Wissensrepräsentation und Schlußfolgerungsverfahren. München, Wien: R. Oldenbourg Verlag, 1988.Google Scholar
  7. Struß, Peter: Assumption-Based Reasoning about Device Models. In: [Früchtenicht 88].Google Scholar
  8. Sussman, G. J.; Steele, G. L.: CONSTRAINTS — A Language for Expressing Almost-Hierarchical Descriptions. In: Artificial Intelligence 14 (1980), pp. 1–39.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Günter Spur
    • 1
  • Sabine Weiß
    • 1
  1. 1.Fraunhofer-Institute for Production Systems and Design TechnologyBerlin 10West Germany

Personalised recommendations