Abduction and Learning

In this paper we study the problem of of integrating abduction and learning as they appear in Arti cial Intelligence. A general comparison of abduction and induction as separate inferences and elds in AI is given. Based on this analysis we study their possible interaction and integration. We introduce the notions of of abductive concept learning as a framework for learning with incomplete background theories. Together with this we propose a general methodology for incorporating abduction in inductive concept learning that allows us to exploit more fully in the learning process the knowledge contained in the background theory. This basic methodology extends in a natural way to the more general context of theory revision.

[1]  Marc Denecker,et al.  Abductive inductive logic programming , 1995, IJCAI 1995.

[2]  L. D. Raedt.  Interactive theory revision: an inductive logic programming approach , 1992 .

[3]  Antonis C. Kakas,et al.  Hypothetico-deductive Reasoning , 1992, FGCS.

[4]  S. Wrobel.  First Order Theory Reenement , 1996 .

[5]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[6]  Antonis C. Kakas,et al.  Integrating Abductive and Constraint Logic Programming , 1995 .

[7]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[8]  Luc De Raedt,et al.  Belief Updating from Integrity Constraints and Queries , 1992, Artif. Intell..

[9]  C. Peirce,et al.  Collected Papers of Charles Sanders Peirce , 1936, Nature.

[10]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.

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

[12]  Raymond J. Mooney,et al.  Inductive Learning For Abductive Diagnosis , 1994, AAAI.

[13]  Katharina Morik,et al.  Knowledge Acquisition and Machine Learning: Theory, Methods, and Applications , 1993 .

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

[15]  T. L. McCluskey.  Explanation-based learning , 1990 .

[16]  Stephen Muggleton,et al.  Non-monotonic learning , 1991 .

[17]  Paul O'Rorke,et al.  ABDUCTION and EXPLANATION‐BASED LEARNING: CASE STUDIES IN DIVERSE DOMAINS , 1994, Comput. Intell..

[18]  Raymond J. Mooney,et al.  Integrating ILP and EBL , 1994, SGAR.

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

[20]  Paolo Mancarella,et al.  Knowledge Assimilation and Abduction , 1990, Truth Maintenance Systems.

[21]  Saso Dzeroski,et al.  Inductive Logic Programming: Techniques and Applications , 1993 .

[22]  Luc De Raedt,et al.  Interactive theory revision , 1994 .

[23]  Raymond J. Mooney,et al.  Theory Refinement Combining Analytical and Empirical Methods , 1994, Artif. Intell..

[24]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[25]  Francesco Bergadano,et al.  Guiding induction with domain theories , 1990 .

[26]  Antonis C. Kakas,et al.  Learning Non-Monotonic Logic Programs: Learning Exceptions , 1995, ECML.

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

[28]  David B. Leake.  Abduction, experience, and goals: a model of everyday abductive explanation , 1995, J. Exp. Theor. Artif. Intell..

[29]  Luc De Raedt,et al.  On Negation and Three-Valued Logic in Interactive Concept-Learning , 1990, ECAI.

[30]  James Wogulis.  Revising Relational Domain Theories , 1991, ML.

[31]  R. S. Michalski,et al.  AN INFERENCE-BASED FRAMEWORK FOR MULTISTRATEGY LEARNING , 1993 .

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

[33]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[34]  P. Flach.  Conjectures: an inquiry concerning the logic of induction , 1995 .

[35]  Luc De Raedt,et al.  RUTH: an ILP Theory Revision System , 1994, ISMIS.

[36]  Luc De Raedt,et al.  A Theory of Clausal Discovery , 1993, IJCAI.