How Our Beliefs Contribute to Interpret Actions

摘要

In update logic the interpretation of an action is often assumed to be independent from the agents' beliefs about the situation (see [BMS04] or [Auc05]). In this paper we deal with this type of phenomenon. We also deal with actions that change facts of the situation. We use probability to model the notion of belief and our probabilistic update mechanism satisfies the AGM postulates of belief revision.