Studia Logica 51 (1):21 - 47 (1992)
|Abstract||We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Sven Ove Hansson (2009). Replacement—a Sheffer Stroke for Belief Change. Journal of Philosophical Logic 38 (2):127 - 149.
Oliver Schulte (1999). Minimal Belief Change and the Pareto Principle. Synthese 118 (3):329-361.
Peter Gärdenfors (1987). Variations on the Ramsey Test: More Triviality Results. Studia Logica 46 (4):319-325.
Richard Bradley (2007). A Defence of the Ramsey Test. Mind 116 (461):1-21.
Peter Gärdenfors, Sten Lindström, Michael Morreau & Wlodek Rabinowicz (1991). The Negative Ramsey Test. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.
John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
Charles B. Cross (1990). Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test. In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer.
Sten Lindström & Wlodzimierz Rabinowicz (1992). Belief Revision, Epistemic Conditionals and the Ramsey Test. Synthese 91 (3):195 - 237.
Neil Tennant (2008). Belief-Revision, the Ramsey Test, Monotonicity, and the so-Called Impossibility Results. Review of Symbolic Logic 1 (4):402-423.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #277,212 of 556,837 )
Recent downloads (6 months)0
How can I increase my downloads?