General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
| Abstract | This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. Our second goal is to have a better understanding of the conditions that a useful relation for nonmonotonic reasoning should satisfy. For this we consider a sequence of generalizations of the pioneering works of Gabbay, Kraus, Lehmann, Magidor and Makinson. These generalizations allow the use of monotonic nonclassical logics as the underlying logic upon which nonmonotonic reasoning may be based. Our sequence of frameworks culminates in what we call (following Lehmann) plausible, nonmonotonic, multiple-conclusion consequence relations (which are based on a given monotonic one). Our study yields intuitive justi cations for conditions that have been proposed in previous frameworks and also clari es the connections among some of these systems. In addition, we present a general method for constructing plausible nonmonotonic relations. This method is based on a multiple-valued semantics, and on Shoham's idea of preferential models. 1.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHenry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4).
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
Yoav Shoham (1988). Efficient Reasoning About Rich Temporal Domains. Journal of Philosophical Logic 17 (4):443 - 474.
Michael Freund & Daniel Lehmann (1994). Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations. Studia Logica 53 (2):161 - 201.
Niki Pfeifer & G. D. Kleiter (2006). Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent? In Proceedings of the 7 T H Workshop on Uncertainty Processing.
Steven O. Kimbrough & Hua Hua (1991). On Nonmonotonic Reasoning with the Method of Sweeping Presumptions. Minds and Machines 1 (4):393-416.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
