Fiche du document
- handle: 10670/1.t8dwtx
- hal: hal-01175921
- doi: 10.1016/j.jmateco.2015.05.004
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jmateco.2015.05.004
Mots-clés
belief belief revision epistemic logics gameSujets proches
Structures Edifices HallsCiter ce document
Antoine Billot et al., « Multiagent belief revision », HAL-SHS : économie et finance, ID : 10.1016/j.jmateco.2015.05.004
Métriques
Partage / Export
Résumé
An original epistemic framework is proposed for the modeling of beliefs and messages within a multiagent belief setting. This framework enables public, private and secret messages as well, even when the latter contains errors. A revising rule—i.e. the product rule—is introduced in pure epistemic terms in order to be applied to all structures and message. Since any syntactic structure can be expressed through various semantic ones, an equivalence principle is given by use of the semantic notion of bisimilarity. Thereafter, a robustness result proves that, for a given prior structure, bisimilar messages yield bisimilar posterior structures (Theorem 1). In syntax, the beliefs revised thanks to the product rule are then shown to be unique (Theorem 2). Finally, an equivalence theorem is established between the product rule and the Belief-Message Inference axiom (Theorem 3).