On Iterated Revision in the AGM Framework

While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investigate within the AGM framework several postulates embodying some aspects of iterated revision. Our main results are negative: when added to the AGM postulates, our postulates force revision to be maxichoice (whenever the new piece of information is inconsistent with the current beliefs the resulting belief set is maximal). We also compare our results to revision operators with memory and we investigate some postulates proposed in this framework.

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

[2]  Richard Booth,et al.  On the Logic of Iterated Non-prioritised Revision , 2002, WCII.

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

[4]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

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

[6]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

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

[8]  Dan Suciu,et al.  Adding Structure to Unstructured Data , 1997, ICDT.

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

[10]  Sébastien Konieczny,et al.  A framework for iterated revision , 2000, J. Appl. Non Class. Logics.

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

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

[13]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

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

[15]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

[16]  Thomas Andreas Meyer,et al.  Basic Infobase Change , 1999, Stud Logica.

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

[18]  Mary-Anne Williams,et al.  Frontiers in Belief Revision , 2001 .

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

[20]  Sébastien Konieczny,et al.  Some Operators for Iterated Revision , 2001, ECSQARU.

[21]  Odile Papini.  Iterated Revision Operations Stemming from the History of an Agent’s Observations , 2001 .

[22]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[23]  Alan Bundy,et al.  Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95 , 1995 .