Advertisement

Model-based diagnostics using hints

  • J. Kohlas
  • P. A. Monney
  • R. Haenni
  • N. Lehmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 946)

Abstract

It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the model, the system may be assumed to be functioning correctly. When, however, a discrepancy arises between the observations and the model-based predictions, then an explanation for this fact has to be found. The foundation of this approach to diagnostics has been laid by Reiter (1987). The explanations generated by his method, called diagnoses, are not unique in general. In addition, they are not weighed by a likelihood measure which would make it possible to compare them. We propose here the theory of hints — an interpretation of the Dempster-Shafer Theory of Evidence — as a very natural and general method for model-based diagnostics (for an introduction to the theory of hints, see (Kohlas & Monney, 1995)). Note that (Peng & Reggia, 1990) and (DeKleer & Williams, 1987) also discuss probabilistic approaches to diagnostic problems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. DeKleer, J., & Williams, B.C. 1987. Diagnosing Multiple Faults. Artificial Intelligence, 32, 97–130.CrossRefGoogle Scholar
  2. Kohlas, J., & Monney, P.A. 1995. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems, vol. 425. Springer.Google Scholar
  3. Peng, Y., & Reggia, J. 1990. Aductive Inference Model for Diagnostic Problem Solving. Springer.Google Scholar
  4. Reiter, R. 1987. A Theory of Diagnosis From First Principles. Artificial Intelligence, Elsevier Science Publisher B. V. (Amsterdam), 32, 57–95.Google Scholar
  5. Shenoy, P. 1994. Using Dempster-Shafer's Belief Function Theory in Expert Systems. Pages 395–414 of: Yager, R.R., Kacprzyk, J., & Fedrizzi, M. (eds), Advances The Dempster-Shafer Theory of Evidence. Wiley.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • J. Kohlas
    • 1
  • P. A. Monney
    • 1
  • R. Haenni
    • 1
  • N. Lehmann
    • 1
  1. 1.Institute of InformaticsUniversity of FribourgFribourgSwitzerland

Personalised recommendations