Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives

Abstract

We propose a framework for integrating belief revision with action narratives whose observations about properties of the world might be inaccurate. We define the notion of an acceptable revision of a narrative as a sequence of revision-candidate formulas which is used in revising the observations and creates a consistent narrative. We propose a more preferred relation among revisions and prove that this relation is transitive and irreflexive. We also define a notion of most preferred models of a narrative when likelihood of action occurrences are available and discuss an alternative characterization that takes into consideration preferences over revisions. We show that the more preferred relation among models is also transitive and irreflexive. We conclude the paper with a discussion on the related work.