Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective

Diagnostic reasoning has been characterized logically as consistency-based reasoning or abductive reasoning. Previous analyses in the literature have shown, on the one hand, that choosing the (in general more restrictive) abductive definition may be appropriate or not, depending on the content of the knowledge base [Console&Torasso91], and, on the other hand, that, depending on the choice of the definition the same knowledge should be expressed in different form [Poole94]. Since in Model-Based Diagnosis a major problem is finding the right way of abstracting the behavior of the system to be modeled, this paper discusses the relation between modeling, and in particular abstraction in the model, and the notion of diagnosis.

[1]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[2]  Daniele Theseider Dupré,et al.  State-based vs Simulation-based Diagnosis of Dynamic Systems , 2000, ECAI.

[3]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[4]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[5]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[6]  Hwee Tou Ng,et al.  Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation , 1992, KR.

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

[8]  P. Terenziani,et al.  A spectrum of de nitions for temporal model-based diagnosis , 1998 .

[9]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[10]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[11]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[12]  Andreas Malik,et al.  Peter Struss : Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation , 1996 .

[13]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[14]  Kurt Konolige,et al.  Abduction Versus Closure in Causal Theories , 1992, Artif. Intell..

[15]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[16]  ConsoleLuca,et al.  A spectrum of logical definitions of model-based diagnosis , 1991 .

[17]  L. Console,et al.  A Spectrum of Deenitions for Temporal Model-based Diagnosis , 1998 .

[18]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .