Multiagent belief revision
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).