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)