On the logic of iterated belief revision
Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we propose a new belief revision operator, together with a method of its calculation. Our formalization differs from most of the traditional approaches in two respects. Firstly, we formally distinguish between defeasible observations and indefeasible knowledge about the considered world. In particular, our operator is differently specified depending on whether an input formula is an observation or a piece of knowledge. Secondly, we assume that a new observation, but not a new piece of knowledge, describes exactly what a reasoning agent knows at the moment about the aspect of the world the observation concerns.