Abstract
This paper establishes a formal model for hybrid diagnosis, novel features including: (1) It provides a unified theoretical framework for utilizing device models and heuristics in diagnosis, which naturally integrates all the important components of diagnosis — the structural and behavioral description of devices, fault modes, the lower and upper fault bounds, fault possibilities and heuristic rules — into a diagnostic system. Device models predict outputs from inputs, heuristic rules infer the possibilities of certain components being faulty from symptoms, and yet the combination of both constrains each other for us to reduce the hypothesis space. (2) It presents a typical way of modeling behavior of devices, to which the key is the introduction of I-O functions with indefinite inputs/outputs. (3) It can easily be implemented over a forward-chaining inference engine.
Similar content being viewed by others
References
Davis R. Diagnostic reasoning based on structure and behavior.Artificial Intelligence, 1984, 24: 347–410.
De Kleer J, Williams B. Diagnosing multiple faults.Artificial Intelligence, 1987, 32: 97–130.
Froehlich P, Nejdl W. A static model-based engine for model-based reasoning. InProc. 15-th IJCAI Conference, Nagoya, Japan, 1997.
Genesereth M. The use of design description in automated diagnosis.Artificial Intelligence, 1984, 24: 411–436.
Nejdl W, Froehlich P, Schroeder M. A formal framework for representing diagnosis strategies in model-based diagnosis systems. InProc. 14-th IJCAI Conference, Montreal, Canada, 1995.
Reiter R. A theory of diagnosis from first principles.Artificial Intelligence, 1987, 32: 57–95.
Struss P, Dressler O. Physical negation-integrating fault models into the general diagnostic engine. InProc. 11-th IJCAI Conference, 1989, pp.1318–1323.
Shortliffe E. MYCIN: Computer-Based Medical Consultation. American Elsevier, New York, 1976.
Fink P, Lush J. Expert systems and diagnostic expertise in the mechanical and electrical domains.IEEE Trans. Syst., Man and Cybern, 1987, 17(3): 340–349.
Rafea A. Combined model expert system for electronics fault diagnosis. InProc. of the 3rd International Conference on Industrial & Engineering Applications of AI & ES, pp.32–40, South Carolina, 1990.
Smith B, Wilkerson R, Peterson G, Douglas M. Automated circuit diagnosis using first order logic tools. InProc. of the 1st International Conference on Industrial & Engineering Applications of AI & ES, 1988, pp.456–463.
Fattah Y, Dechter R. Diagnosing tree-decomposable circuits. InProc. 14-th IJCAI Conference, 1995, pp.1742–1748.
Author information
Authors and Affiliations
Additional information
Project partly supported by the National Natural Science Foundation of China.
Shen Yidong is a Professor of computer science at Chongqing, University. He received his Ph.D. degree in computer science from Chongqing University in 1991. He was a visiting researcher at the University of Valenciennes, France (1992–1993), the University of Maryland Institute for Advanced Computer Studies, USA (1995–1996) and the University of Alberta, Canada (1998–1999), respectively. His research interests include artificial intelligence, deductive and object-oriented databases, logic programming and parallel processing.
Rights and permissions
About this article
Cite this article
Shen, Y. A theory of hybrid diagnosis. J. Comput. Sci. & Technol. 14, 363–371 (1999). https://doi.org/10.1007/BF02948738
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02948738