Theories and proofs in fault diagnosis

Date
1998-09
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
AIMSA: International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98
Print ISSN
0302-9743
Electronic ISSN
Publisher
Springer
Volume
Issue
Pages
181 - 194
Language
English
Type
Conference Paper
Journal Title
Journal ISSN
Volume Title
Series
Abstract

This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem. These facilities of MetaProlog make it easier to represent digital circuits and the fault diagnosis algorithm on them. MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm. Fail branches and the ability to control their construction play a key role during the construction of hypothesises to explain the fault in a given faulty circuit.

Course
Other identifiers
Book Title
Keywords
Diagnosis algorithms, Fault diagnosis problem, Faulty circuits, Artificial intelligence, Learning algorithms
Citation
Published Version (Please cite this version)