The Effect of Partial Deduction in Abductive Reasoning
Chiaki Sakama, Katsumi Inoue · The MIT Press eBooks · 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. 1 Introduction Partial deduction [Kom92] is an optimization technique in logic programming, which performs deduction on a part of a program while retaining the meaning of the original program. Partial deduction is used in various extensions of logic programming, and is known to preserve the semantics of normal logic programs [TS84, LS91, Seki91, Seki93] and disjunctive logic programs [SS94, BD94]. Abductive logic programming [KKT92] is one of the extensions of logic progra...