Consistency preservation and crazy formulas in BMS

Abstract : We provide conditions under which seriality is preserved during an update in the BMS framework. We consider not only whether the entire updated model is serial but also whether its generated submodels are serial. We also introduce the notion of crazy formulas which are formulas such that after being publicly announced at least one of the agents' beliefs become inconsistent.
Type de document :
Communication dans un congrès
Logics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00556148
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 02:33:32
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : lundi 2 décembre 2013 - 08:55:07

Fichier

JELIA2008.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00556148, version 1

Collections

Citation

Guillaume Aucher. Consistency preservation and crazy formulas in BMS. Logics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany. 2008. 〈inria-00556148〉

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

63