Abductive Equivalence in First-order Logic

In Artificial Intelligence, abduction is often formalized in first-order logic. In this article, we focus on the problem of identifying equivalence of two abductive theories represented in first-order logic. To this end, two definitions of equivalence are given for abduction. Explainable equivalence requires that two abductive theories have the same explainability for any observation. On the other hand, explanatory equivalence guarantees that any observation has exactly the same explanations in each abductive theory. Explanatory equivalence is a stronger notion than explainable equivalence. In first-order logic, explainable equivalence can be verified by the notion of extensional equivalence in default theories, while explanatory equivalence reduces to logical equivalence between background theories. We also show the complexity results for abductive equivalence.

[1]  Chiaki Sakama,et al.  The Effect of Partial Deduction in Abductive Reasoning , 1995, ICLP.

[2]  Jürgen Dix.  Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic , 1992, ECAI.

[3]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[4]  M. Gelfond,et al.  Disjunctive Defaults , 1991 .

[5]  Katsumi Inoue,et al.  Induction as Consequence Finding , 2004, Machine Learning.

[6]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

[9]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[10]  Mark E. Stickel,et al.  Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation , 1989, Natural Language and Logic.

[11]  John R. Josephson,et al.  Abductive inference : computation, philosophy, technology , 1994 .

[12]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[13]  Kurt Konolige,et al.  Abductive theories in artificial intelligence , 1997 .

[14]  Michael J. Maher.  Equivalences of Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[15]  C. Hempel.  Philosophy of Natural Science , 1966 .

[16]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

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

[18]  Gabriele Paul,et al.  AI approaches to abduction , 2000 .

[19]  Hector J. Levesque,et al.  Support Set Selection for Abductive and Default Reasoning , 1996, Artif. Intell..

[20]  Luis Fariñas del Cerro,et al.  An Inference Rule for Hypothesis Generation , 1991, IJCAI.

[21]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[22]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[23]  Georg Gottlob,et al.  The Complexity of Logic-Based Abduction , 1993, STACS.

[24]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

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

[26]  Kazuhisa Makino,et al.  Abduction and the Dualization Problem , 2003, Discovery Science.

[27]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[28]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[29]  Katsumi Inoue,et al.  Linear Resolution for Consequence Finding , 1992, Artif. Intell..

[30]  Victor W. Marek,et al.  Representation theory for default logic , 2004, Annals of Mathematics and Artificial Intelligence.

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

[32]  Chiaki Sakama,et al.  Abductive Framework for Nonmonotonic Theory Change , 1995, IJCAI.

[33]  Bart Selman,et al.  Reasoning With Characteristic Models , 1993, AAAI.