While Numerous Diagnostic Expert Systems Have Been Successfully Developed in Recent Years, They Are Almost Uniformly based on Heuristic Reasoning Techniques (I.e., Shallow Knowledge) in the Form of Rules. This Paper Reports on an Automated Circuit Diagnostic Tool based on Reiter's Theory of Diagnosis. in Particular, this is a Theory of Diagnosis based on Deep Knowledge (I.e., Knowledge based on Certain Design Information) and using First Order Logic as the Representation Language. the Inference Mechanism Which is Incorporated as Part of the Diagnostic Tool is a Refutation based Theorem Prover using Rewriting Systems for Boolean Algebra Developed by Hsiang. Consequently, the Diagnostic Reasoning Tool is Broadly based on Reiter's Model but Incorporates Complete Sets of Reductions for Boolean Algebra to Reason over Equa-Tional Descriptions of the Circuits to Be Analyzed. the Refutational Theorem Prover Uses an Associative Commutative Identity Unification Algorithm Described by Hsiang but Requires Additional Focusing Techniques in Order to Be Appropriate for Diagnosing Circuits. a Prototype Version of the Mainline Diagnostic Program Has Been Developed and Has Been Successfully Demonstrated on Several Small but Nontrivial Combinational Circuit Examples.
B. Smith et al., "Automated Circuit Diagnosis using First Order Logic Tools," Proceedings of the 1st International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1988, vol. 1, pp. 456 - 463, Association for Computing Machinery, Jun 1988.
The definitive version is available at https://doi.org/10.1145/51909.51961
International Standard Book Number (ISBN)
Article - Conference proceedings
© 2023 Association for Computing Machinery, All rights reserved.
01 Jun 1988