Diagnostic Problem Solving Using First Principles and Heuristics 1

This paper proposes an approach to diagnostic reasoning with the followingdistinct features: ① A diagnostic system is formulated in FoL with equality,particularly in the form of program clauses; ② The abnormality of system　components is determined in terms of either experiential knowledge of domain experts or behavioral description of components; ③ Heuristics is fully used not only to assist in judging the abnormality of system components, but also to guide the diagnosis; ④ A uaique diagnosis will be comput…