AN APPLICATION OF NON-CLAUSAL DEDUCTION IN DIAGNOSIS

A new technique is presented for computing minimal diagnoses of a syst em, based on Reiter's theory of diagnosis from first principles. Modif ications to the technique are introduced that restrict the diagnoses g enerated to those representing single faults. This approach does not r ely on a clause form representation (although it is applicable to syst ems represented in clause form), nor does it require generating the se t of minimal conflicts. Experimental results are presented in which th e performance of an implementation of these techniques on commonly use d benchmark problems is measured. Copyright (C) 1997 Elsevier Science Ltd