The Well-Founded Semantics is a Stratified Fitting Semantics

TitleThe Well-Founded Semantics is a Stratified Fitting Semantics
Publication TypeConference Paper
Year of Publication2002
AuthorsMatthias Wendt, Pascal Hitzler
Conference NameThe Well-Founded Semantics is a Stratified Fitting Semantics
Abstract

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. While several different semantics have been proposed, and some have been more successful than others, the exact relationships between the approaches have not yet been fully understood. In this paper, we give new characterizations, using level mappings, of the Fitting semantics, the well-founded semantics, and the weakly perfect model semantics. The results will unmask the well-founded semantics as a stratified version of the Fitting semantics.

Full Text

Matthias Wendt and Pascal Hitzler'The Well-Founded Semantics is a Stratified Fitting Semantics,' 25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002, pp.205-221.
pages: 205-221
year: 2002
venue name: 25th German Conference on Artificial Intelligence (KI2002)
hasURL: http://www.springerlink.com/content/xm577ammfl5764c7/