A circumscribed diagnosis engine

  • Olivier Raiman
Model-Based Diagnosis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 462)


A difficult diagnosis task is to decide whether to incriminate or to exonerate the components of a system. A parsimonious theory of diagnosis requires doing exoneration. A robust theory of diagnosis must not presume the ways components fail. In order to build both, a parsimonious and robust theory of diagnosis, all the proofs which lead to the conclusion that components are not abnormal must be defeasible. This is a basic motivation to apply non monotonic reasoning to diagnosis problems. A basic issue becomes the choice of an exoneration criterion. Most model-based diagnosis engines exonerate components when there is a lack of evidence that they fail.

This article starts by introducing an alternative exoneration criterion based on the evidence that components possess the desired features defined by their model of correct behavior. Then this article shows how circumscription can be used to formalize this criterion. Next the properties of a Circumscribed Diagnosis Engine, CDE, are explained. As a result this article shows how a Circumscribed Diagnosis Engine enhances the localization of failures.


Probable Failure Single Fault Correct Behavior Unary Predicate Robust Theory 
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.

9 References

  1. [1]
    R. Davis, W. Hamscher, Model based reasoning: Troubleshooting. AI memo 1059, MIT Cambridge, MA, 1987.Google Scholar
  2. [2]
    R. Davis, Diagnostic reasoning based on structure and behavior. Artificial Intelligence, Vol 24, 1984, pp 347–402.Google Scholar
  3. [3]
    J. de Kleer, B.C, Williams, Diagnosing multiple faults. Artificial Intelligence, Vol 32, pp 97–130.Google Scholar
  4. [4]
    J. de Kleer, B.C, Williams, Diagnosis as identifying consistent modes of behavior. Proceedings of the 9nth National Conference on Artificial Intelligence, AAAI 1989Google Scholar
  5. [5]
    J. McCarthy, Circumscription, a form of non monotonic reasoning. Artificial Intelligence, Volume 13, pp 27–39.Google Scholar
  6. [6]
    M.L. Ginsberg, Counterfactuals. Artificial Intelligence, Volume 30, pp 35–80, 1986.Google Scholar
  7. [7]
    O. Raiman, Diagnosis as a Trial, International Workshop on model based diagnosis, Paris 1989.Google Scholar
  8. [8]
    R. Reiter, A Theory of Diagnosis. from First Principles. Artificial Intelligence, Volume 32, 1987, pp 57–95.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Olivier Raiman
    • 1
  1. 1.Xerox Palo Alto Research CenterPalo AltoUSA

Personalised recommendations