Title :
Multifault diagnosis of digital systems using nonmonotoning reasoning [for nonmonotoning read nonmonotonic]
Author :
Tzafestas, S. ; Chrisiou, T. ; Yip, Y.T.
Author_Institution :
Div. of Comput. Eng., Nat. Tech. Univ. of Athens, Greece
Abstract :
The authors present the design principles and the development of an expert system (called FAULT.ENT) for diagnosing multiple simultaneous faults in digital circuits (from first principles) using nonmonotonic reasoning and especially the default theory developed by R. Reiter. They give a detailed presentation of the algorithm, which has been implemented on a PC-AT 286 compatible machine, giving emphasis to the scheme developed for updating the conclusions that the system draws under uncertainty. They point out the similarities and differences between FAULT.ENT and other `intelligent systems´, particularly the GDE system of J. De Kleer, which incorporates an ATMS. A method is presented for increasing considerably the system efficiency in terms of complexity
Keywords :
circuit analysis computing; diagnostic expert systems; digital circuits; fault location; inference mechanisms; FAULT.ENT; GDE; PC-AT 286 compatible machine; digital circuits; digital systems; expert system; multifault diagnosis; nonmonotonic reasoning; Calculus; Circuit faults; Diagnostic expert systems; Digital circuits; Digital systems; Humans; Information technology; Intelligent systems; Machine intelligence; Uncertainty;
Conference_Titel :
Decision and Control, 1991., Proceedings of the 30th IEEE Conference on
Conference_Location :
Brighton
Print_ISBN :
0-7803-0450-0
DOI :
10.1109/CDC.1991.261821