Relating Disjunctive Logic Programs to Default Theories
Chiaki Sakama and Katsumi Inoue
Proceedings of the 2nd International Workshop on
Logic Programming and Nonmonotonic Reasoning (LPNMR'93),
pp. 266-282, MIT Press, 1993.
This paper presents the relationship between disjunctive logic programs
and default theories. We first show that Bidoit and Froidevaux's positivist
default theory causes a problem in the presence of disjunctive information
in a program. Then we present a correct transformation of disjunctive
into default theories and show a one-to-one correspondence between the stable
models of a program and the extensions of its associated default theory.
We also extend the results to extended disjunctive programs and investigate
their connections with Gelfond et al's disjunctive default theory,
autoepistemic logic, and circumscription.
Full Paper (gzipped postscript 75K)