Iteration of Iterated Belief Revision
Résumé
The behavior of Iterated Belief Revision operators with respect to iteration has been characterized by a set of four postulates proposed by Darwiche and Pearl. These postulates give constraints on a single iteration step, and this is not enough to forbid some pathological operators. In this paper, we propose a generalization of these postulates to solve this issue and we study its implications. One surprising consequence is that, for TPO-representable operators (i.e., for operators defined as transitions on total pre-orders on interpretations), there are very few operators that satisfy this generalization.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|