#
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.
*
## Abstract

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)