Aus Aifbportal
Wechseln zu:Navigation, Suche

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


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