Fault Diagnosis Using First Order Logic Tools

Ralph W. Wilkerson; Barbara A. Smith

doi:10.1109/MWSCAS.1989.101851

Fault Diagnosis Using First Order Logic Tools

Ralph W. Wilkerson
, Barbara A. Smith

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	American English
Pages (from-to)	299-302
Number of pages	4
Journal	Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989
DOIs	https://doi.org/10.1109/MWSCAS.1989.101851
State	Published - Jan 1 1989
Event	Proceedings of the 32nd Midwest Symposium on Circuits and Systems Part 2 (of 2) - Champaign, IL, USA Duration: Aug 14 1989 → Aug 16 1989

ASJC Scopus Subject Areas

Electronic, Optical and Magnetic Materials
Electrical and Electronic Engineering

Keywords

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

Disciplines

Computer Sciences

Access to Document

10.1109/MWSCAS.1989.101851License: Unspecified

Fault Diagnosis Using First Order Logic ToolsFinal published version, 566 KBLicense: Unspecified

Cite this

@article{2b63208bb6d840059698980d85ff3c2d,

title = "Fault Diagnosis Using First Order Logic Tools",

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.",

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

author = "Wilkerson, \{Ralph W.\} and Smith, \{Barbara A.\}",

year = "1989",

month = jan,

day = "1",

doi = "10.1109/MWSCAS.1989.101851",

language = "American English",

pages = "299--302",

journal = "Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989",

note = "Proceedings of the 32nd Midwest Symposium on Circuits and Systems Part 2 (of 2) ; Conference date: 14-08-1989 Through 16-08-1989",

}

TY - JOUR

T1 - Fault Diagnosis Using First Order Logic Tools

AU - Wilkerson, Ralph W.

AU - Smith, Barbara A.

PY - 1989/1/1

Y1 - 1989/1/1

N2 - 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.

AB - 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.

KW - Automated Circuit Diagnostic Tool

KW - Automatic Testing

KW - Deep Knowledge

KW - Fault Location

KW - First Order Logic Tools

KW - First-Order Logic

KW - Logic Testing

KW - Reiter's Method

KW - Representation Language

KW - System Description

KW - System Structure

UR - https://scholarsmine.mst.edu/comsci_facwork/192

U2 - 10.1109/MWSCAS.1989.101851

DO - 10.1109/MWSCAS.1989.101851

M3 - Article

SP - 299

EP - 302

JO - Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989

JF - Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989

T2 - Proceedings of the 32nd Midwest Symposium on Circuits and Systems Part 2 (of 2)

Y2 - 14 August 1989 through 16 August 1989

ER -

Fault Diagnosis Using First Order Logic Tools

Abstract

ASJC Scopus Subject Areas

Keywords

Disciplines

Access to Document

Other files and links

Fingerprint

Cite this