Reasoning about Gossip

Erscheinungsjahr 2027
ISBN: 978-1-009-55705-4
Verlag: Cambridge University Press

Buch, Englisch, Band 64, 289 Seiten

Reihe: Cambridge Tracts in Theoretical Computer Science

This guidebook, the first of its kind, summarizes the state of the art in the field of epistemic gossip protocols. Gossip protocols are peer-to-peer communication protocols intended to maximize information dissemination while respecting network or transmission constraints. This comprehensive reference begins by presenting classical results on gossip protocols from networks and combinatorics from the 1970s and progresses through results in distributed computing up to the work on epistemic distributed gossip protocols of the past decade. In epistemic gossip protocols, agents make information-based choices to speed up information dissemination and allow smarter and more involved forms of distributed communication. Topics covered include various call semantics, reachability of secret distributions, dynamic gossip where secrets and numbers are exchanged, optimality, protocol knowledge, and higher-order epistemic goals. Featuring numerous exercises, this book from a lead researcher is an ideal resource for graduate students and researchers in logic, computer science, artificial intelligence, and cognitive science.

Autoren/Hrsg.

van Ditmarsch, Hans

Inhaltsverzeichnis

Preface; List of Symbols; List of Symbols; 1. Introduction; 2. Call; 3. Gossip protocol; 4. Reachability; 5. Dynamic gossip; 6. Optimality; 7. Epistemic logic; 8. Known gossip protocols; 9. Epistemic goals; 10. Update; 11. Axiomatization; 12. Outlook; References; Index.

Über Autor(innen)

van Ditmarsch, Hans
Hans van Ditmarsch is Senior Researcher at CNRS, France. His previous books include Dynamic Epistemic Logic (2007) and One Hundred Prisoners and a Light Bulb (2015). Dynamic Epistemic Logic has seen over 2,000 citations on Google Scholar. He has spent many years collaborating with researchers and students across the globe on gossip protocols, and taught multiple graduate courses at summer schools, such as ESSLLI 2022 in Galway, Ireland.