Belief revision revisited
2005 (English)In: Advances in Artificial Intelligence: Proceedings of the 4th Mexican International Conference on Artificial Intelligence (MICAI), Springer, 2005, Vol. 3789, 31-40Conference paper (Refereed)
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.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3789
National CategoryEngineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-48124DOI: 10.1007/11579427_4OAI: oai:DiVA.org:liu-48124DiVA: diva2:269020