ECAI-2000 Logo

ECAI-2000 Conference Paper

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

A Conditional Logic for Iterated Belief Revision

Laura Giordano, Valentina Gliozzi, Nicola Olivetti

In this paper we propose a conditional logic IBC for iterated belief revision. We define an iterated belief revision system by strenghtening the postulates proposed by Darwiche and Pearl. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for iterated revision which, together with the (modified) AGM postulates, entail Darwiche and Pearl's ones. The conditional logic IBC has a standard semantics in terms of selection function models and it provides a natural representation of epistemic states. IBC contains conditional axioms, corresponding to the postulates for iterated revision. We prove that Gardenfors' Triviality Result does not apply to IBC. Moreover, we provide a representation result, which establishes a one to one correspondence between iterated belief revision systems and IBC-models.

Keywords: Knowledge Representation, Belief Revision,, Conditional Logic

Citation: Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.28-32.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.