Inproceedings1383
A Comparison of Disjunctive Well-founded Semantics
A Comparison of Disjunctive Well-founded Semantics
Published: 2006
Dezember
Herausgeber: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph
Buchtitel: FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007
Ausgabe: 277
Reihe: CEUR Workshop Proceedings
Referierte Veröffentlichung
BibTeX
Kurzfassung
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. This is mainly caused
by the completely different mechanisms applied in the approaches. 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 and present alternative characterizations for the
strong well-founded semantics (SWFS), the generalized disjunctive wellfounded
semantics (GDWFS), and the disjunctive well-founded semantics
(D-WFS). This will allow us to gain comparative insights into their
different handling of negation.
ISSN: 1613-0073.
Download: Media:2006_1383_Knorr_A Comparison of_1.pdf,Media:2006_1383_Knorr_A Comparison of_2.pdf
Weitere Informationen unter: Link
Nichtmonotones Schließen, Logikprogrammierung