DeepAI AI Chat
Log In Sign Up

When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols

07/13/2018
by   Krzysztof Apt, et al.
0

We provide an in-depth study of the knowledge-theoretic aspects of communication in so-called gossip protocols. Pairs of agents communicate by means of calls in order to spread information---so-called secrets---within the group. Depending on the nature of such calls knowledge spreads in different ways within the group. Systematizing existing literature, we identify 18 different types of communication, and model their epistemic effects through corresponding indistinguishability relations. We then provide a classification of these relations and show its usefulness for an epistemic analysis in presence of different communication types. Finally, we explain how to formalise the assumption that the agents have common knowledge of a distributed epistemic gossip protocol.

READ FULL TEXT

page 1

page 2

page 3

page 4

06/24/2016

Epistemic Protocols for Distributed Gossiping

Gossip protocols aim at arriving, by means of point-to-point or group co...
06/10/2016

Simple epistemic planning: generalised gossiping

The gossip problem, in which information (known as secrets) must be shar...
07/26/2000

Entrenchment Relations: A Uniform Approach to Nonmonotonicity

We show that Gabbay's nonmonotonic consequence relations can be reduced ...
11/28/2020

Profinet vs Profibus

We present a step by step definition of Profinet and Profibus. We introd...
06/24/2016

Resolving Distributed Knowledge

Distributed knowledge is the sum of the knowledge in a group; what someo...
01/25/2023

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knowledge-based programs specify multi-agent protocols with epistemic gu...
01/12/2022

Consensus between Epistemic Agents is Difficult

We introduce an epistemic information measure between two data streams, ...