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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Madalińska-Bugaj, E., & Łukaszewicz, W. (2005). Belief revision revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3789 LNAI, pp. 31–40). Springer Verlag. https://doi.org/10.1007/11579427_4
Mendeley helps you to discover research relevant for your work.