摘要
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 computed for a given observation, provided that certain esseotial I-O information is supplementedwhen demanded.
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 computed for a given observation, provided that certain esseotial I-O information is supplementedwhen demanded.
