Converging on Common Knowledge

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Common knowledge, as is well known, is not attainable in finite time by unreliable communication, thus hindering perfect coordination. Focusing on the coordinated attack problem modeled using dynamic epistemic logic, this paper discusses unreliable communication protocols from a topological perspective and asks "If the generals may communicate indefinitely, will they then *converge* to a state of common knowledge?" We answer by making precise and showing the following: *common knowledge is attainable if, and only if, we do not care about common knowledge*.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Eight International Joint Conference on Artificial Interlligence (IJCAI-19)
EditorsSarit Kraus
Number of pages8
Publication dateJul 2019
Pages1741--1748
ISBN (Electronic)978-0-9992411-4-1
DOIs
Publication statusPublished - Jul 2019

ID: 231711550