David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
John Pollock (1970/1975). Knowledge and Justification. Princeton University Press.
John Pollock (1987). Defeasible Reasoning. Cognitive Science 11 (4):481-518.
Robert C. Moore (1985). Semantic Considerations on Nonmonotonic Logic. Artificial Intelligence 25:75-94.
David Makinson (1994). General Patterns in Nonmonotonic Reasoning. In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press
Citations of this work BETA
No citations found.
Similar books and articles
John L. Pollock (1991). Self-Defeating Arguments. Minds and Machines 1 (4):367-392.
Robert L. Causey (1991). The Epistemic Basis of Defeasible Reasoning. Minds and Machines 1 (4):437-458.
Henry Prakken & Marek Sergot (1996). Contrary-to-Duty Obligations. Studia Logica 57 (1):91 - 115.
Timothy R. Colburn (1991). Defeasible Reasoning and Logic Programming. Minds and Machines 1 (4):417-436.
G. Aldo Antonelli (2005). Grounded Consequence for Defeasible Logic. Cambridge University Press.
G. Aldo Antonelli (1996). Defeasible Reasoning as a Cognitive Model. In Krister Segerberg (ed.), The Parikh Project. Seven Papers in Honour of Rohit. Uppsala Prints & Preprints in Philosophy
David Billington & Andrew Rock (2001). Propositional Plausible Logic: Introduction and Implementation. Studia Logica 67 (2):243-269.
Robert A. Kowalski & Francesca Toni (1996). Abstract Argumentation. Artificial Intelligence and Law 4 (3-4):275-296.
Added to index2009-03-21
Total downloads17 ( #209,356 of 1,793,159 )
Recent downloads (6 months)5 ( #169,309 of 1,793,159 )
How can I increase my downloads?