15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  
   

ECAI-2002 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Iterated revision and the axiom of recovery: A unified treatment via epistemic states

Samir Chopra, Aditya Ghose, Thomas Meyer

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against these counterexamples---while agreeing that some of their insight deserves to be preserved---and present alternative recovery like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and makes explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem that connects the semantic conditions that we impose on iterated revision and the additional syntactical properties mentioned. We also show some interesting similarities between our framework and that of Darwiche-Pearl. In particular, we show that the intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2).

Keywords: belief revision, knowledge representation, common Sense Reasoning, philosophical foundations

Citation: Samir Chopra, Aditya Ghose, Thomas Meyer: Iterated revision and the axiom of recovery: A unified treatment via epistemic states. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.541-545.


[prev] [tofc] [next]


ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the UniversitÚ Claude Bernard and INSA, Lyon, on behalf of Association Franšaise pour l'Intelligence Artificielle.