A Comparison of Disjunctive Well-founded Semantics

TitleA Comparison of Disjunctive Well-founded Semantics
Publication TypeConference Paper
Year of Publication2007
AuthorsMatthias Knorr, Pascal Hitzler
PublisherFoundations of Artificial Intelligence (FAInt-07)

While the stable model semantics, in the form of Answer Set Programming, has become a successful semantics for disjunctive logic programs, a corresponding satisfactory extension of the well-founded semantics to disjunctive programs remains to be found. The many current proposals for such an extension are so diverse, that even a systematic comparison between them is a challenging task. In order to aid the quest for suitable disjunctive well-founded semantics, we present a systematic approach to a comparison based on level mappings, a recently introduced framework for characterizing logic programming semantics, which was quite successfully used for comparing the major semantics for normal logic programs. We extend this framework to disjunctive logic programs, which will allow us to gain comparative insights into their different handling of negation. Additionally, we show some of the problems occurring when trying to handle minimal models (and thus disjunctive stable models) within the framework.

Full Text

Matthias Knorr and Pascal Hitzler, 'A Comparison of Disjunctive Well-founded Semantics,' Foundations of Artificial Intelligence (FAInt-07) Workshop at KI, Osnabruck, Germany 2007.
year: 2007
venue name: Foundations of Artificial Intelligence (FAInt-07)
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/disWFSKI...