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.

Additional Metadata
Series EPiC Series in Computing
Apt, K.R, Grossi, D, & van der Hoek, W. (2018). When Are Two Gossips the Same?. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 36–55).