Studia Logica 51 (1):21-47 (1992)
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)|
|Categories||categorize this paper)|
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Knowledge in Flux. Modelling the Dymanics of Epistemic States.P. Gärdenfors - 1988 - MIT Press.
Belief Revisions and the Ramsey Test for Conditionals.Peter Gärdenfors - 1986 - Philosophical Review 95 (1):81-93.
Citations of this work BETA
No citations found.
Similar books and articles
Variations on the Ramsey Test: More Triviality Results.Peter Gärdenfors - 1987 - Studia Logica 46 (4):319-325.
The Negative Ramsey Test.Peter Gärdenfors, Sten Lindström, Michael Morreau & Wlodek Rabinowicz - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test.Charles B. Cross - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 223--244.
Belief Revision, Epistemic Conditionals and the Ramsey Test.Sten Lindström & Wlodzimierz Rabinowicz - 1992 - Synthese 91 (3):195-237.
Belief-Revision, the Ramsey Test, Monotonicity, and the so-Called Impossibility Results.Neil Tennant - 2008 - Review of Symbolic Logic 1 (4):402-423.
Added to index2009-01-28
Total downloads11 ( #402,602 of 2,169,136 )
Recent downloads (6 months)1 ( #345,573 of 2,169,136 )
How can I increase my downloads?