Some Logics of Iterated Belief Change

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.

[1]  H. Kyburg.  The Fixation of Belief and Its Undoing , 1994 .

[2]  Hans Rott,et al.  Two methods of constructing contractions and revisions of knowledge systems , 1991, J. Philos. Log..

[3]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[4]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[5]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[6]  Sven Ove Hansson,et al.  Taking Belief Bases Seriously , 1994 .

[7]  Krister Segerberg,et al.  Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz , 1997, Fundam. Informaticae.

[8]  Hans Rott,et al.  Drawing Inferences from Conditionals , 1997 .

[9]  Daniel Lehmann,et al.  Belief Revision, Revised , 1995, IJCAI.

[10]  Krister Segerberg.  Some questions about hypertheories. , 1995 .

[11]  Wlodzimierz Rabinowicz,et al.  Epistemic entrenchment with incomparabilities and relational belief revision , 1989, The Logic of Theory Change.

[12]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[13]  D. F. Kerridge,et al.  The Logic of Decision , 1967 .

[14]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[15]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[16]  P. Gärdenfors.  Belief Revisions and the Ramsey Test for Conditionals , 1986 .

[17]  Abhaya C. Nayak,et al.  Iterated belief change based on epistemic entrenchment , 1994 .

[18]  Sven Ove Hansson,et al.  Changes of disjunctively closed bases , 1993, J. Log. Lang. Inf..

[19]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.