When Are Two Gossips the Same?

20 pages•Published: October 23, 2018

Krzysztof Apt, Davide Grossi and Wiebe Van-Der-Hoek

Abstract

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.

Keyphrases: epistemic logic, gossip protocols, knowledge based protocols

In: Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors). LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 57, pages 36-55.

Links:	https://easychair.org/publications/paper/3Sxf
	https://doi.org/10.29007/ww65

BibTeX entry

@inproceedings{LPAR-22:When_Are_Two_Gossips,
  author    = {Krzysztof Apt and Davide Grossi and Wiebe Van-Der-Hoek},
  title     = {When Are Two Gossips the Same?},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3Sxf},
  doi       = {10.29007/ww65},
  pages     = {36-55},
  year      = {2018}}

Download PDF Open PDF in browser