Theories and proofs in fault diagnosis
Date
1998-09
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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.
Description
Date of Conference: 21-23 September, 1998
Conference name: 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98
Conference name: 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98
Keywords
Diagnosis algorithms, Fault diagnosis problem, Faulty circuits, Artificial intelligence, Learning algorithms