DeepAI AI Chat
Log In Sign Up

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

by   Krzysztof Apt, et al.

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.


page 1

page 2

page 3

page 4


Epistemic Protocols for Distributed Gossiping

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

Simple epistemic planning: generalised gossiping

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

Entrenchment Relations: A Uniform Approach to Nonmonotonicity

We show that Gabbay's nonmonotonic consequence relations can be reduced ...

Profinet vs Profibus

We present a step by step definition of Profinet and Profibus. We introd...

Resolving Distributed Knowledge

Distributed knowledge is the sum of the knowledge in a group; what someo...

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knowledge-based programs specify multi-agent protocols with epistemic gu...

Consensus between Epistemic Agents is Difficult

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