Rhodes, Greece. September 2-8, 2023.
Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization
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.