liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Belief revision revisited
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
2005 (English)In: Advances in Artificial Intelligence: Proceedings of the 4th Mexican International Conference on Artificial Intelligence (MICAI), Springer , 2005, Vol. 3789, 31-40 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer , 2005. Vol. 3789, 31-40 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3789
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-48124DOI: 10.1007/11579427_4OAI: diva2:269020
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2011-02-27

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Lukaszewicz, Witold
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 70 hits
ReferencesLink to record
Permanent link

Direct link