David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 10 (3):321-360 (2000)
Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics.
|Keywords||logic non-classical logic nonmonotonic logic|
|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
No references found.
Citations of this work BETA
Gregory Wheeler (2008). Applied Logic Without Psychologism. Studia Logica 88 (1):137 - 156.
Gregory Wheeler (2008). Applied Logic Without Psychologism. Studia Logica 88 (1):137-156.
Similar books and articles
Steven O. Kimbrough & Hua Hua (1991). On Nonmonotonic Reasoning with the Method of Sweeping Presumptions. Minds and Machines 1 (4):393-416.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
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. 138--150.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Henry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Henry E. Kyburg Jr (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Arnon Avron & Iddo Lev (2001). A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems. In Proceedings of the Workshop on Inconsistency in Data and Knowledge. 60-70.
Yoav Shoham (1988). Efficient Reasoning About Rich Temporal Domains. Journal of Philosophical Logic 17 (4):443 - 474.
Niki Pfeifer & G. D. Kleiter (2003). Nonmonotonicity and Human Probabilistic Reasoning. In Proceedings of the 6 T H Workshop on Uncertainty Processing. 221--234.
O. Arieli & A. Avron (2000). General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Logic Journal of the Igpl 8 (2):119-148.
Added to index2009-01-28
Total downloads32 ( #121,202 of 1,792,277 )
Recent downloads (6 months)6 ( #139,170 of 1,792,277 )
How can I increase my downloads?