Artificial Intelligence 149 (2):161-178 (2003)
Nonmonotonic consequence is the subject of a vast literature, but the idea of a nonmonotonic counterpart of logical inconsistency—the idea of a defeasible property representing internal conflict of an inductive or evidential nature—has been entirely neglected. After considering and dismissing two possible analyses relating nonmonotonic consequence and a nonmonotonic counterpart of logical inconsistency, this paper offers a set of postulates for nonmonotonic inconsistency, an analysis of nonmonotonic inconsistency in terms of nonmonotonic consequence, and a series of results showing that nonmonotonic inconsistency conforms to these postulates given the analysis of nonmonotonic inconsistency presented here and certain postulates for nonmonotonic consequence. The results presented here establish the interest of certain previously undiscussed postulates of nonmonotonic consequence. These results also show that nonmonotonicity, which has never seemed useful in the formulation of general principles governing nonmonotonic reasoning, is relevant to the positive characterization of nonmonotonic inference after all.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Confirmation as Partial Entailment: A Representation Theorem in Inductive Logic.Vincenzo Crupi & Katya Tentori - 2013 - Journal of Applied Logic 11 (4):364-372.
Similar books and articles
Efficient Reasoning About Rich Temporal Domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent?Niki Pfeifer & G. D. Kleiter - 2006 - In Proceedings of the 7 T H Workshop on Uncertainty Processing. pp. 138--150.
A Correction to “Nonmonotonic Inconsistency” [Artificial Intelligence 149 (2003) 161–178].Charles B. Cross - 2004 - Artificial Intelligence 160 (1-2):191-192.
Nonmonotonic Reasoning: Logical Foundations of Commonsense.Gerhard Brewka (ed.) - 1991 - Cambridge University Press.
Added to index2010-06-22
Total downloads38 ( #135,507 of 2,168,639 )
Recent downloads (6 months)2 ( #187,136 of 2,168,639 )
How can I increase my downloads?