Abstract
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).
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
