David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 2 (1):27-49 (1992)
Recently, John Bell has proposed that a specific conditional logic, C, be considered as a serious candidate for formally representing and faithfully capturing various (possibly all) formalized notions of nonmonotonic inference. The purpose of the present paper is to develop evaluative criteria for critically assessing such claims. Inference patterns are described in terms of the presence or absence of residual classical monotonicity and intrinsic nonmonotonicity. The concept of a faithful representation is then developed for a formalism purported to encode a pattern of nonmonotonic inference already captured by another. In the main body of the paper these evaluative criteria are applied to assess (negatively) whether C or any conditional logic provides a faithful representation for nonmonotonic patterns of inference captured by inference operators and relations modeling the dynamics of belief change.
|Keywords||Nonmonotonic inference logic conditionals consequence relations belief revision theory change defeasible reasoning knowledge representation|
|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
John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
Similar books and articles
Isaac Levi (1996). For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference, and Nonmonotonic Reasoning. Cambridge University Press.
Ramón Pino Pérez & Carlos Uzcátegui (2000). On Representation Theorems for Nonmonotonic Consequence Relations. Journal of Symbolic Logic 65 (3):1321-1337.
Michael Morreau (1998). Review of Isaac Levi, For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning. [REVIEW] Journal of Philosophy 95 (10):540-546.
Jürgen Dix & David Makinson (1992). The Relationship Between KLM and MAK Models for Nonmonotonic Inference Operations. Journal of Logic, Language and Information 1 (2):131-140.
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.
Zbigniew Stachniak (1995). Nonmonotonic Theories and Their Axiomatic Varieties. Journal of Logic, Language and Information 4 (4):317-334.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
Alexander Bochman (2000). Belief Contraction as Nonmonotonic Inference. Journal of Symbolic Logic 65 (2):605-626.
Michael Freund & Daniel Lehmann (1994). Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations. Studia Logica 53 (2):161 - 201.
Added to index2009-01-28
Total downloads11 ( #212,975 of 1,725,305 )
Recent downloads (6 months)9 ( #72,298 of 1,725,305 )
How can I increase my downloads?