Speaker: Malvin Gattinger (ILLC, Amsterdam)
Date and Time: Thursday, December 7th 2017, 16:00-17:30
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Call Me When You’re Sober: Strengthening Dynamic Gossip Protocols.
Abstract. Dynamic Gossip is a generalization of the classic telephone problem: Suppose you and your friends each know a secret. Whenever you make a phone call you tell each other all secrets you know. Moreover, at the beginning you might not know all phone numbers but you also learn new numbers from others, changing the reachability graph.
Recent work focused on simple protocols like “Learn New Secrets” and has characterized their success conditions and execution length. These protocols sometimes fail because they ignore information available to the agents which would allow better coordination. Therefore, we study in which ways epistemic protocols for dynamic gossip can be strengthened, using epistemic logic as a simple protocol language with a new operator for protocol-dependent knowledge. This talk will give an introduction to the Dynamic Gossip problem and then present some new ideas on epistemic strengthenings of protocols.
Joint work with Hans van Ditmarsch, Louwe B. Kuijer and Pere Pardo.