Abstract
The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories.
Similar content being viewed by others
References
AlchourrÓn, C., P. GÄrdenfors and D. Makinson (1985), ‘On the logic of theory change: Partial meet functions for contraction and revision’, Journal of Symbolic Logic 50, 510–530.
Boutilier, C. (1993), ‘Revision sequences and nested conditionals’, Proceedings of International Joint Conference on Artificial Intelligence (I.J.C.A.I), pages 513–525.
Darwiche, A., and J. Pearl (1997), ‘On the logic of iterated belief revision’, Artificial Intelligence, pages 1–29.
de Rijke, M. (1994), ‘Meeting some neighbours: A dynamic mdoal logic meets theories of change and knowledge representation’, in J. van Eijk and A. Visser (eds.), Logic and Information Flow, pages 170–196, MIT Press, Cambridge, MA.
GÄrdenfors, P. (1986), ‘Belief revision and the ramsey test for conditionals’, The Philosophical Review 95, 81–93.
Grove, A. (1988), ‘Two modellings for theory change’, Journal of Philosophical Logic 17, 157–170.
Hansson, S.-O. (1993), ‘Changes on disjunctively closed bases’, Journal of Logic, Language and Information, pages 255–284.
Hansson, S.-O. (1994), ‘Taking belief bases seriously’, in D. Prawitz and D. Westerstahl (eds), Logic and Philosophy of Science in Uppsala, pages 13–28, Kluwer Academic Publishers.
Jeffrey, R. (1965), The Logic of Decision, Macgraw-Hill, New York.
Lehmann, D. (1995), ‘Belief revision, revised’, Proceedings of International Joint Conference on Artificial Intelligence (I.J.C.A.I), pages 1534–1540.
Levi, I. (1991), Fixation of Belief and Its Undoing, Cambridge.
Lewis, D. (1973), Counterfactuals, Harvard University Press, Cambridge, Massachusetts.
LindstrÖm, S., and W. Rabinowicz (1991), ‘Epistemic entrechement with incomparabilities and relational belief revision’, in A. Fuhrmann (ed.), The Logic of Theory Change, pages 93–126, Springer-Verlag, Berlin.
Makinson, D. (1987), ‘On the status of the postulate of recovery in the logic of theory change’, Journal of Philosophical Logic 16, 383–394.
Nayak, A. C. (1994), ‘Iterated belief change based on epistemic entrenchment’, Erkenntnis 41, 353–390.
Rott, H. (1991), ‘Two methods of constructing contractions and revisions of knowledge systems’, Journal of Philosophical Logic 20, 149–173.
Rott, H. (1994), ‘Drawing inferences from conditionals’, Report 38, Zentrum Philosophie und Wissenschaftstheorie, Universität Konstanz.
Rott, H. (1995), ‘Just because: Taking belief bases very seriously’, in S.-O. Hansson W. Rabinowicz (eds.), Logic for a Change, pages 106–124, Uppsala Prints and Preprints in Philosophy, Uppsala.
Segerberg, K. (1995a), ‘Belief revision form the point of view of doxastic logic’, Bulletin of the IGPL 3, 535–553.
Segerberg, K. (1995b), ‘Some questions about hypertheories’, in S.-O. Hansson and W. Rabinowicz (eds.), Logic for a Change, Uppsala Prints and Preprints in Philosophy, Uppsala.
Segerberg, K. (1997), ‘Proposal for a theory of belief reviosion along the lines of Lindström and Rabinowicz’ (in press).
Spohn, W. (1988), ‘Ordinal conditional functions: A dynamic theory of epistemic states’, in W. L. Harper and B. Skyrms (eds.), Causation in Decision, Belief Change and Statistics, pages 105–134, Kluwer Academic Publishers.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cantwell, J. Some Logics of Iterated Belief Change. Studia Logica 63, 49–84 (1999). https://doi.org/10.1023/A:1005219504371
Issue Date:
DOI: https://doi.org/10.1023/A:1005219504371