On the efficiency of logic-based diagnosis

Diagnosis is a problem in which one must explain the discrepancy between the observed and correct system behavior by assuming some component (possibly multiple components) of the system is functioning abnormally. A diagnostic reasoning system must deal with two issues concerning computational efficiency. The first is efficient search in a complex space for all possible diagnoses for a given set of observations about the faulty system. The second is efficient discrimination amongst multiple competing diagnoses. We consider the problem of diagnosis from the perspective of the Theorist hypothetical reasoning framework which provides a simple and intuitive diagnostic method. We propose an extension to the Theorist framework that modifies the consistency check mechanism to incrementally compute inconsistencies, sometimes referred to as nogoods, and to identify crucial literals to perform tests for discriminating among competing diagnoses. A prototype is implemented in Cprolog and its empirical efficiency is shown by considering examples from two different domains of diagnosis.

[1]  Koichi Furukawa,et al.  Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning , 1986, ICLP.

[2]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[3]  Bart Selman,et al.  The Complexity of Model-Preference Default Theories , 1988, NMR.

[4]  James A. Reggia,et al.  Diagnostic Expert Systems Based on a Set Covering Model , 1983, Int. J. Man Mach. Stud..

[5]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[6]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[7]  Judea Pearl,et al.  Embracing Causality in Formal Reasoning , 1987, AAAI.

[8]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[9]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[10]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[11]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[12]  ABDUL SATTAR,et al.  Using crucial literals to select better theories , 1991, Comput. Intell..

[13]  David Poole.  Variables in Hypotheses , 1987, IJCAI.

[14]  Michael R. Genesereth,et al.  An Overview of Meta-Level Architecture , 1983, AAAI.

[15]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[16]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[17]  Kenneth F. Schaffner,et al.  Logic of Discovery and Diagnosis in Medicine , 2023 .

[18]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[19]  Philip T. Cox,et al.  General Diagnosis by Abductive Inference , 1987, SLP.

[20]  Patrick J. Hayes,et al.  Computation and Deduction , 1973, MFCS.

[21]  B. Chandrasekaran,et al.  Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving , 1982, Int. J. Man Mach. Stud..

[22]  PETER F. PATEL-SCHNEIDER,et al.  A hybrid, decidable, logic‐based knowledge representation system 1 , 1987, Comput. Intell..

[23]  R. Dechter.  to Constraint Satisfaction , 1991 .

[24]  Kurt Konolige.  Belief and incompleteness , 1984 .

[25]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[26]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[27]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..