How our beliefs contribute to interpret actions
Résumé
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 phe- nomenon. 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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...