Abstract
Using Gärdenfors's notion of epistemic entrenchment, we develop the semantics of a logic which accounts for the following points. It explains why we may generally infer If ⌍A then B if all we know is A∨B while must not generally infer If ⌍A then B if all we know is {A∨B,A}. More generally, it explains the nonmonotonic nature of the consequence relation governing languages which contain conditionals, and it explains how we can deduce conditionals from premise sets without conditionals. Depending on the language at hand, our logic provides different ways of keeping the Ramsey test and getting round the Gärdenfors triviality theorem. We indicate that consistent additions of new items of belief are not to be performed by transitions to logical expansions.
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, Carlos, Peter Gärdenfors and David Makinson: 1985, “On the Logic of Theory Change: Partial Meet Contraction Functions and Their Associated Revision Functions”, Journal of Symbolic Logic 50, 510–530.
Alchourrón, Carlos, and David Makinson: 1985, “On the Logic of Theory Change: Safe Contraction”, Studia Logica 44, 405–422.
Alchourrón, Carlos, and David Makinson: 1985, “Maps Between Some Different Kinds of Contraction Function: The Finite Case”, Studia Logica 45, 187–198.
Gärdenfors, Peter: 1986, “Belief Revisions and the Ramsey Test for Conditionals”, Philosophical Review 95, 81–93.
Gärdenfors, Peter: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, Mass.
Gärdenfors, Peter, and David Makinson: 1988, “Revisions of Knowledge Systems Using Epistemic Entrenchment', in M. Vardi(ed.), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, 83–95.
Grove, Adam: 1988, “Two Modellings for Theory Change”, Journal of Philosophical Logic 17, 157–170.
Hansson, Sven O.: 1989, “New Operators for Theory Change”, Theoria 55, 114–136.
Lewis, David: 1973, Counterfactuals, Harvard UP, Cambridge, Mass.
Lindström, Sten, and Wlodzimierz Rabinowicz: 1990, “Epistemic Entrenchment with Incomparabilities and Relational Belief Revision”, this volume.
Makinson, David: 1989, “General Theory of Cumulative Inference', in M. Reinfrank a.o. (eds.), Non-Monotonic Reasoning — Proceedings of the 2nd International Workshop 1988, Springer, Berlin, 1–18.
Makinson, David: 1990, “General Patterns in Nonmonotonic Reasoning”, in D.M. Gabbay a.o. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. II: Non-Monotonic and Uncertain Reasoning, Oxford UP, Oxford, to appear.
Martin, John N.: 1984, “Epistemic Semantics for Classical and Intuitionistic Logic, Notre Dame Journal of Formal Logic 25, 105–116.
Morreau, Michael: 1990, “Epistemic Semantics for Counterfactuals”, in H. Kamp (ed.), Conditionals, Defaults and Belief Revision, DYANA Deliverable R2.5.A, ESPRIT Basic Research Action BR3175, Edinburgh, 1–27.
Rott, Hans: 1989a, “Conditionals and Theory Change: Revisions, Expansions, and Additions”, Synthese 81, 91–113.
Rott, Hans: 1989b, “Two Methods of Constructing Contractions and Revisions of Knowledge Systems”, Journal of Philosophical Logic, to appear.
Rott, Hans: 1989c, “On the Logic of Theory Change: More Maps Between Different Kinds of Contraction Function”, to appear.
Rott, Hans: 1990, “Updates, Conditionals and Non-monotonicity: Introductory Comments on Veltman and Morreau”, in H. Kamp (ed.), Conditionals, Defaults and Belief Revision, DYANA Deliverable R2.5.A, ESPRIT Basic Research Action BR3175, Edinburgh, 65–78.
Shoham, Yoav: 1987, “Nonmonotonic Logics: Meaning and Utility”, Proceedings 10th IJCAI-87, 388–393.
Shoham, Yoav: 1988, Reasoning about Change — Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge, Mass.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rott, H. (1991). A nonmonotonic conditional logic for belief revision. In: Fuhrmann, A., Morreau, M. (eds) The Logic of Theory Change. Lecture Notes in Computer Science, vol 465. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018420
Download citation
DOI: https://doi.org/10.1007/BFb0018420
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53567-6
Online ISBN: 978-3-540-46817-2
eBook Packages: Springer Book Archive