Private announcement and belief expansion: an internal perspective

Abstract : AGM belief revision theory and the BMS framework of dynamic epistemic logic both deal with the formalization of belief change, the former in a single agent setting and the latter in a multiagent setting. In this paper we study the relation between these two formalisms. To be fair, we restrict our attention to the AGM operation of expansion since the original BMS framework does not allow for belief revision. Likewise, because AGM theory follows the internal approach, instead of the original BMS framework we define and deal with its internal version. This allows us to show that the AGM operation of expansion can naturally be viewed in the multi-agent setting of the BMS framework as the operation of private announcement, which goes against the claims of [16]. In parallel, we also provide conditions under which seriality of accessibility relations is preserved during an update, in the BMS framework as well as its internal version: it is a preliminary step towards the introduction of revision mechanisms into these frameworks.
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2012
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00856474
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 02:53:58
Dernière modification le : mardi 15 septembre 2015 - 08:45:06
Document(s) archivé(s) le : mardi 3 décembre 2013 - 11:20:30

Fichier

Journal_of_Logic_and_Computati...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00856474, version 1

Collections

Citation

Guillaume Aucher. Private announcement and belief expansion: an internal perspective. Journal of Logic and Computation, Oxford University Press (OUP), 2012. 〈hal-00856474〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

134