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.


Computer Science

International Standard Book Number (ISBN)


Document Type

Article - Conference proceedings

Document Version


File Type





© 2023 Association for Computing Machinery, All rights reserved.

Publication Date

01 Jun 1988