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.
R. W. Wilkerson and B. A. Smith, "Fault Diagnosis Using First Order Logic Tools," Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989, Institute of Electrical and Electronics Engineers (IEEE), Jan 1989.
The definitive version is available at https://doi.org/10.1109/MWSCAS.1989.101851
32nd Midwest Symposium on Circuits and Systems, 1989
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
Article - Conference proceedings
© 1989 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.