The Effect of Partial Deduction in Abductive Reasoning

Chiaki Sakama and Katsumi Inoue

Proceedings of the 12th International Conference on Logic Programming (ICLP'95), pp. 383-397, MIT Press, 1995.


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.

Full Paper (gzipped postscript 74K)