Relating Disjunctive Logic Programs to Default Theories

@inproceedings{Sakama1993RelatingDL,
  title={Relating Disjunctive Logic Programs to Default Theories},
  author={Chiaki Sakama and Katsumi Inoue},
  booktitle={LPNMR},
  year={1993}
}
This paper presents the relationship between disjunctive logic programs and default theories. We rst 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 logic programs 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… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…