A heuristic extension to Reiter's diagnostic theory

  • Yidong Shen
Article
Received:
Revised:

Abstract

Reiter presented the first formal framework for model-based diagnosis using logic. However, Reiter's theory is unimplemented because it suffers from some shortcomings. An extension to Reiter's diagnostic theory is established to overcome the shortcomings. Novel features of such extension include: (i) The fault modes of components are introduced to the behavior description, so that the outputs of both normal and abnormal components can be predicted. (ii) Domain-dependent heuristics are used to contract and sort the hypothesis space and assist in making measurements, so that the diagnosis efficiency is improved. (iii) An integrated diagnostic system is proposed based on our theory, and efficient algorithms for computing all diagnoses are developed.

Keywords

diagnostic reasoning Reiter's diagnostic theory fault modes heuristics 
This is a preview of subscription content, log in to check access.

References

  1. 1.
    Davis, R., Diagnostic reasoning based on structure and behavior,Artificial Intelligence, 1984, 24: 347.CrossRefGoogle Scholar
  2. 2.
    Davis, R., Retrospective on “Diagnostic reasoning based on structure and behavior”,Artificial Intelligence, 1993, 59: 149.CrossRefGoogle Scholar
  3. 3.
    Davis, R., Hamscher, W. C., Model-based reasoning: troubleshooting, inExploring Artificial Intelligence (eds. Shrobe, H. E., the American Association for Artificial Intelligence), Los Altos: Morgan Kaufmann, 1987, 297–346.Google Scholar
  4. 4.
    De Kleer, J., Local methods of localizing faults in electronic circuits,Artificial Intelligence Laboratory, AI Memo 394, Cambridge: MIT, 1976.Google Scholar
  5. 5.
    De Kleer, J., Mackworth, A. K., Reiter, R., Characterizing diagnoses and systems,Artificial Intelligence, 1992, 56: 197.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    De Kleer, J., Williams, B. C., Diagnosing multiple faults,Artificial Intelligence, 1987, 32: 97.MATHCrossRefGoogle Scholar
  7. 7.
    Genesereth, M. R., The use of design description in automated diagnosis,Artificial Intelligence, 1984, 24: 411.CrossRefGoogle Scholar
  8. 8.
    Genesereth, M. R., From Dart to Designworld: a chronicle of research on automated engineering in the Stanford Logic Group,Artificial Intelligence, 1993, 59: 159.CrossRefGoogle Scholar
  9. 9.
    Milne, R., Strategies for diagnosis,IEEE Trans. Syst., Man and Cybern, 1987, 17(3): 333.CrossRefGoogle Scholar
  10. 10.
    Peng, Y., Reggia, J.,Abductive Inference Methods for Diagnostic Problem Solving, Berlin: Springer-Verlag, 1990.Google Scholar
  11. 11.
    Shortliffe, E. H.,MYCIN: Computer-based Medical Consultation, New York: American Elsevier, 1976.Google Scholar
  12. 12.
    Smith, B., Wilkerson, R., Peterson, G. E.et al., Automated circuit diagnosis using first order logic tools, inProceedings of the 1st International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, New York: ACM, 1988, 456–463.Google Scholar
  13. 13.
    Reiter, R., A theory of diagnosis from first principles,Artificial Intelligence, 1987, 32: 57.MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    McCarthy, J., Applications of circumscription to common sense knowledge,Artificial Intelligence, 1986, 28: 89.CrossRefMathSciNetGoogle Scholar

Copyright information

© Science in China Press 1997

Authors and Affiliations

  • Yidong Shen
    • 1
  1. 1.Department of Computer ScienceChongqing UniversityChongqingChina

Personalised recommendations