Transforming Abductive Logic Programs to Disjunctive Programs

Katsumi Inoue and Chiaki Sakama

Proceedings of the 10th International Conference on Logic Programming (ICLP'93), pp. 335-353, MIT Press, 1993.


A new fixpoint semantics for abductive logic programs is provided, in which the generalized stable models of an abductive program are characterized as the fixpoint of a disjunctive program obtained by a suitable program transformation. In the transformation, both negative hypotheses through negation as failure and positive hypotheses from the abducibles are dealt with uniformly. This characterization allows us to have a parallel bottom-up model generation procedure for computing abductive explanations from arbitrary (range-restricted and function-free) general, extended, and disjunctive programs with integrity constraints.

Full Paper (pdf 332K)