The Effect of Partial Deduction in Abductive Reasoning

Partial deduction is known as an optimization technique in logic programming. In the context of abductive logic programming, however, we present in this paper that normal partial deduction does not preserve explanations for abductive reasoning. Then we provide an alternative method of partial deduction, called abductive partial deduction, which is shown to preserve the meanings of abductive logic programs. A method of partial abduction is also introduced as an optimization for abductive reasoning in logic programs.

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

[2]  Paolo Mancarella,et al.  Generalized Stable Models: A Semantics for Abduction , 1990, ECAI.

[3]  Hisao Tamaki,et al.  Unfold/Fold Transformation of Logic Programs , 1984, ICLP.

[4]  Thomas Hoppe.  On the Relationship between Partial Deduction and Abductive Reasoning , 1992, ECAI.

[5]  中川 裕志,et al.  UNFOLD/FOLD TRANSFORMATION OF STRATIFIED PROGRAMS , 1989 .

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

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

[8]  Hirohisa Seki,et al.  Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics , 1993, J. Log. Program..

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

[10]  Hirohisa Seki,et al.  A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint , 1990, LPNMR.

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

[12]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[13]  David S. Warren.  Transforming Abductive Logic Programs to Disjunctive Programs , 1993 .

[14]  Jürgen Dix,et al.  A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation , 1994, GI Jahrestagung.

[15]  Chiaki Sakama,et al.  Partial Deduction of Disjunctive Logic Programs: A Declarative Approach , 1994, LOPSTR.

[16]  Jan Komorowski,et al.  An Introduction to Partial Deduction , 1992, META.

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

[18]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..