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.

Año de publicación:

2000

Keywords:

• Belief revision
• Iterated Belief revision

Fuente:

scopus