A framework for iterated revision

ABSTRACT We consider in this work the problem of iterated belief revision. We propose a family of belief revision operators called revision with memory operators and we give a logical (both syntactical and semantical) characterization of these operators. They obey what we call the principle of strong primacy of update: when one revises his beliefs by a new evidence, then all possible worlds that satisfy this new evidence become more reliable than those that do not. We show that those operators have a satisfying behaviour concerning the iteration of the revision process. Then we provide four particular operators of this family.

[1]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[2]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[3]  Mark Ryan,et al.  Belief Revision and Ordered Theory Presentations , 1996, Logic, Action, and Information.

[4]  Mark Ryan,et al.  Defaults and revision in structured theories , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[5]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[6]  Daniel Lehmann,et al.  Belief Revision and Rational Inference , 2002, ArXiv.

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

[8]  Odile Papini,et al.  A sequential reversible belief revision method based on polynomials , 1999, AAAI/IAAI.

[9]  Sven Ove Hansson,et al.  Selective Revision , 1999, Stud Logica.

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

[11]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

[12]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

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

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

[15]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[16]  Odile Papini,et al.  Iterated Revision by Epistemic States: Axioms, Semantics and Syntax , 2000, ECAI.

[17]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[18]  Norman Y. Foo,et al.  Changing conditional beliefs unconditionally , 1996 .

[19]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

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

[21]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[22]  Paolo Liberatore,et al.  The Complexity of Iterated Belief Revision , 1997, ICDT.