A circumscribed diagnosis engine
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.
KeywordsProbable Failure Single Fault Correct Behavior Unary Predicate Robust Theory
Unable to display preview. Download preview PDF.
- R. Davis, W. Hamscher, Model based reasoning: Troubleshooting. AI memo 1059, MIT Cambridge, MA, 1987.Google Scholar
- R. Davis, Diagnostic reasoning based on structure and behavior. Artificial Intelligence, Vol 24, 1984, pp 347–402.Google Scholar
- J. de Kleer, B.C, Williams, Diagnosing multiple faults. Artificial Intelligence, Vol 32, pp 97–130.Google Scholar
- 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
- J. McCarthy, Circumscription, a form of non monotonic reasoning. Artificial Intelligence, Volume 13, pp 27–39.Google Scholar
- M.L. Ginsberg, Counterfactuals. Artificial Intelligence, Volume 30, pp 35–80, 1986.Google Scholar
- O. Raiman, Diagnosis as a Trial, International Workshop on model based diagnosis, Paris 1989.Google Scholar
- R. Reiter, A Theory of Diagnosis. from First Principles. Artificial Intelligence, Volume 32, 1987, pp 57–95.Google Scholar