Well-founded semantics for defeasible logic

Synthese 176 (2):243 - 274 (2010)
Fixpoint semantics are provided for ambiguity blocking and propagating variants of Nute's defeasible logic. The semantics are based upon the well-founded semantics for logic programs. It is shown that the logics are sound with respect to their counterpart semantics and complete for locally finite theories. Unlike some other nonmonotonic reasoning formalisms such as Reiter's default logic, the two defeasible logics are directly skeptical and so reject floating conclusions. For defeasible theories with transitive priorities on defeasible rules, the logics are shown to satisfy versions of Cut and Cautious Monotony. For theories with either conflict sets closed under strict rules or strict rules closed under transposition, a form of Consistency Preservation is shown to hold. The differences between the two logics and other variants of defeasible logic—specifically those presented by Billington, Antoniou, Governatori, and Maher—are discussed
Keywords Defeasible reasoning  Nonmonotonic logic  Well-founded semantics  Ambiguity propagation  Floating conclusions  Cut  Cautious monotony  Consistency preservation
Categories (categorize this paper)
DOI 10.1007/s11229-009-9492-1
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,777
Through your library
References found in this work BETA
Defeasible Reasoning.John Pollock - 1987 - Cognitive Science 11 (4):481-518.
Knowledge and Justification.John Pollock - 1970 - Princeton University Press.
Semantic Considerations on Nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25:75-94.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

33 ( #157,440 of 2,177,828 )

Recent downloads (6 months)

1 ( #317,251 of 2,177,828 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums