Converging on Common Knowledge
Abstract
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*.
Cite
Text
Klein and Rendsvig. "Converging on Common Knowledge." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/241Markdown
[Klein and Rendsvig. "Converging on Common Knowledge." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/klein2019ijcai-converging/) doi:10.24963/IJCAI.2019/241BibTeX
@inproceedings{klein2019ijcai-converging,
title = {{Converging on Common Knowledge}},
author = {Klein, Dominik and Rendsvig, Rasmus Kræmmer},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1741-1748},
doi = {10.24963/IJCAI.2019/241},
url = {https://mlanthology.org/ijcai/2019/klein2019ijcai-converging/}
}