An automated circuit diagnostic tool implementing R. Reiter's theory of diagnosis (1987) based on deep knowledge (i.e. knowledge based on certain design information) and using first-order logic as the representation language is discussed. In this approach, the automated diagnostician uses a description of the system structure and observations describing its performance to determine if any faults are apparent. If there is evidence that the system is faulty, the diagnostician uses the system description and observations to ascertain which component(s) would explain the behavior. In particular, Reiter's method finds all combinations of components which explain this behavior.

Meeting Name

32nd Midwest Symposium on Circuits and Systems, 1989


Computer Science

Keywords and Phrases

Reiter's Method; Automated Circuit Diagnostic Tool; Automatic Testing; Deep Knowledge; Fault Location; First Order Logic Tools; First-Order Logic; Logic Testing; Representation Language; System Description; System Structure

Document Type

Article - Conference proceedings

Document Version

Final Version

File Type





© 1989 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.

Publication Date

01 Jan 1989