Abstract
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.
Recommended Citation
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
Meeting Name
32nd Midwest Symposium on Circuits and Systems, 1989
Department(s)
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
text
Language(s)
English
Rights
© 1989 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jan 1989
