{"type":"ScholarlyArticle","title":"Converging on Common Knowledge","authors":[{"name":"Dominik Klein","slug":"dominik-klein","given":"Dominik","family":"Klein","affiliation":"University of Bamberg and University of Bayreuth"},{"name":"Rasmus Kræmmer Rendsvig","slug":"rasmus-kr-mmer-rendsvig","given":"Rasmus Kræmmer","family":"Rendsvig","affiliation":"Center for Information and Bubble Studies , University of Copenhagen"}],"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*.","doi":"10.24963/ijcai.2019/241","url":"https://ijcai.org/proceedings/2019/241","pdf":"https://ijcai.org/proceedings/2019/0241.pdf","markdown":"https://ijcai.org/proceedings/2019/241.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/241","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":241,"pages":{"first":1741,"last":1748},"keywords":["Agent-based and Multi-agent Systems: Agent Theories and Models","Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation","Agent-based and Multi-agent Systems: Agent Communication"],"videos":[],"references":[{"position":1,"raw":"[Akkoyunlu et al., 1975] Eralp Abdurrahim Akkoyunlu, Kattamuri Ekanadham, and R. V. Huber. Some Constraints and Tradeoffs in the Design of Network Communications. In SOSP '75 Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pages 67-74, 1975.","title":"Some Constraints and Tradeoffs in the Design of Network Communications","authors":"Eralp Abdurrahim Akkoyunlu, Kattamuri Ekanadham, R V Huber","year":"1975","venue":"SOSP '75 Proceedings of the Fifth ACM Symposium on Operating Systems Principles","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Aucher et al., 2012] Guillaume Aucher, Bastien Maubert, and François Schwarzentruber. Generalized DEL- Sequents. In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, Logics in Artificial Intelligence, volume 7519 of Lecture Notes in Computer Science, pages 54-66. Springer, 2012.","title":"Generalized DEL-Sequents","authors":"Guillaume Aucher, Bastien Maubert, François Schwarzentruber","year":"2012","venue":"Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Aumann and Brandenburger, 2016] Robert J. Aumann and Adam Brandenburger. Epistemic Conditions for Nash Equilibrium. In Horacio Arlo-Costa, Vincent F. Hendricks, and Johan van Benthem, editors, Readings in Formal Epis- temology, chapter 41. Springer, 2016. [Baltag and Moss, 2004]","title":"Epistemic Conditions for Nash Equilibrium","authors":"Robert J Aumann, Adam Brandenburger","year":"2004","venue":"Readings in Formal Epistemology","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Alexandru Baltag and Lawrence S. Moss. Logics for Epistemic Programs. Synthese, 139(2):165-224, 2004.","title":"Logics for Epistemic Programs","authors":"Alexandru Baltag, Lawrence S Moss","year":"2004","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baltag and Renne, 2016] Alexandru Baltag and Bryan Renne. Dynamic Epistemic Logic. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, 2016.","title":"Dynamic Epistemic Logic","authors":"Alexandru Baltag, Bryan Renne","year":"2016","venue":"The Stanford Encyclopedia of Philosophy","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baltag et al., 1998] Alexandru Baltag, Lawrence S. Moss, and Sławomir Solecki. The Logic of Public Announce- ments, Common Knowledge, and Private Suspicions (ex- tended abstract). In TARK '98: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pages 43-56.","title":"The Logic of Public Announcements, Common Knowledge, and Private Suspicions (extended abstract)","authors":"Alexandru Baltag, Lawrence S Moss, Sławomir Solecki","year":null,"venue":"TARK '98: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baltag et al., 2019] Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, and Sonja Smets. A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2):205- 244, 2019.","title":"A Topological Approach to Full Belief","authors":"Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets","year":"2019","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[van Benthem, 2011] Johan van Benthem. Logical Dynam- ics of Information and Interaction. Cambridge University Press, 2011.","title":"Logical Dynamics of Information and Interaction","authors":"Van Benthem","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Dimitri, 2003] Nicola Dimitri. Coordination in an Email Game Without \"Almost Common Knowledge\". Journal of Logic, Language and Information, 12(1):1-11, 2003.","title":"Coordination in an Email Game Without \"Almost Common Knowledge","authors":"Nicola Dimitri","year":"2003","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[van Ditmarsch et al., 2008] Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008.","title":"Dynamic Epistemic Logic","authors":"Van Ditmarsch","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Edelstein, 1962] Michael Edelstein. On Fixed and Periodic Points under Contractive Mappings. Journal of the London Mathematical Society, 37:74-79, 1962.","title":"On Fixed and Periodic Points under Contractive Mappings","authors":"Michael Edelstein","year":"1962","venue":"Journal of the London Mathematical Society","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Fagin et al., 1995] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. The MIT Press, 1995.","title":"Reasoning About Knowledge","authors":"Ronald Fagin, Joseph Y Halpern, Yoram Moses, Moshe Y Vardi","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Frič, 1997] Roman Frič. History of Sequential Convergence Spaces. In Charles E. Aull and Robert Lowen, editors, Handbook of the History of General Topology, volume 1, pages 343-355. Springer, 1997.","title":"Roman Frič. History of Sequential Convergence Spaces","authors":"Frič","year":"1997","venue":"Handbook of the History of General Topology","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gray, 1978] Jim Gray. Notes on Data Base Operating Sys- tems. In Rudolf Bayer, Robert M. Graham, and Gerhard Seegmüller, editors, Operating Systems, volume 60 of Lec- ture Notes in Computer Science, pages 393-481. Springer, 1978.","title":"Notes on Data Base Operating Systems","authors":"Jim Gray","year":"1978","venue":"Operating Systems","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Halpern and Moses, 1990] Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Dis- tributed Environment. Journal of the ACM, 37:549-587, 1990.","title":"Knowledge and Common Knowledge in a Distributed Environment","authors":"Joseph Y Halpern, Yoram Moses","year":"1990","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Herzig et al., 2015] Andreas Herzig, Emiliano Lorini, and Faustine Maffre. A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. In Wiebe van der Hoek, Wesley H. Holliday, and Wen-fang Wang, editors, Logic, Rationality, and Interaction, volume 9394 of Lecture Notes in Computer Science, pages 156- 168. Springer, 2015.","title":"A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation","authors":"Andreas Herzig, Emiliano Lorini, Faustine Maffre","year":"2015","venue":"Logic, Rationality, and Interaction","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Klein and Rendsvig, 2017] Dominik Klein and Rasmus K. Rendsvig. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. In Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, editors, Logic, Ratio- nality, and Interaction, volume 10455 of Lecture Notes in Computer Science, pages 108-122. Springer, 2017.","title":"Convergence, Continuity and Recurrence in Dynamic Epistemic Logic","authors":"Dominik Klein, K Rasmus, Rendsvig","year":"2017","venue":"Logic, Rationality, and Interaction","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Klein and Rendsvig, 2018] Dominik Klein and Rasmus K. Rendsvig. Metrics for Formal Structures, with an Appli- cation to Kripke Models and their Dynamics. In Logical Dynamics and Dynamical Systems, pages 177-207. Lund University Press, 2018.","title":"Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics","authors":"Dominik Klein, K Rasmus, Rendsvig","year":"2018","venue":"Logical Dynamics and Dynamical Systems","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lewis, 1969] David Lewis. Convention: A Philosophical Study. Harvard Univiersity Press, 1969.","title":"Convention: A Philosophical Study","authors":"David Lewis","year":"1969","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Morris and Shin, 1997] Stephen Morris and Hyun Song Shin. Approximate Common Knowledge and Co- ordination: Recent Lessons from Game Theory. Journal of Logic, Language and Information, 6(2):171-190, 1997.","title":"Approximate Common Knowledge and Coordination: Recent Lessons from Game Theory","authors":"Shin ; Morris, Stephen Morris, Hyun Song Shin","year":"1997","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Rubinstein, 1989] Ariel Rubinstein. The Electronic Mail Game: Strategic Behavior under \"Almost Common Knowledge\". American Economic Review, 79:385-391, 1989.","title":"Ariel Rubinstein. The Electronic Mail Game: Strategic Behavior under \"Almost Common Knowledge","authors":"Rubinstein","year":"1989","venue":"American Economic Review","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Vanderschraaf and Sillari, 2014] Peter Vanderschraaf and Giacomo Sillari. Common Knowledge. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, 2014.","title":"Peter Vanderschraaf and Giacomo Sillari. Common Knowledge","authors":"Sillari Vanderschraaf","year":"2014","venue":"The Stanford Encyclopedia of Philosophy","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Yemini and Cohen, 1979] Yechiam Yemini and Danny Co- hen. Some Issues in Distributed Processes Communica- tion. In Proc. of the 1st International Conference on Dis- tributed Computing Systems, pages 199-203, 1979.","title":"Yechiam Yemini and Danny Cohen. Some Issues in Distributed Processes Communication","authors":"Cohen Yemini","year":"1979","venue":"Proc. of the 1st International Conference on Distributed Computing Systems","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}