Common Knowledge Revisited

Abstract We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to this paradox: 1. (1) modeling the world with a coarser granularity, and 2. (2) relaxing the requirements for coordination.

[1]  Stephen Morris,et al.  Approximate Common Knowledge and Co-ordination: Recent Lessons from Game Theory , 1997, J. Log. Lang. Inf..

[2]  David Lewis.  Convention: A Philosophical Study , 1986 .

[3]  Neil Immerman,et al.  Foundations of Knowledge for Distributed Systems , 1986, TARK.

[4]  Zvika Neeman,et al.  Common Beliefs and the Existence of Speculative Trade , 1996 .

[5]  Rohit Parikh,et al.  Probabilistic knowledge and probabilistic common knowledge , 1991 .

[6]  D. Monderer,et al.  Approximating common knowledge with common beliefs , 1989 .

[7]  Joseph Y. Halpern,et al.  A characterization of eventual Byzantine agreement , 1990, PODC '90.

[8]  Ronald Fagin,et al.  Modelling Knowledge and Action in Distributed Systems , 1988, Concurrency.

[9]  Adam Brandenburger,et al.  Common knowledge with probability 1 , 1987 .

[10]  Joseph Y. Halpern,et al.  Optimal precision in the presence of uncertainty , 1985, J. Complex..

[11]  Ronald Fagin,et al.  A formal model of knowledge, action, and communication in distributed systems: preliminary report , 1985, PODC '85.

[12]  Gil Neiger.  Knowledge Consistency: A Useful Suspension of Disbelief , 1988, TARK.

[13]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[14]  Gil Neiger,et al.  Simulating synchronized clocks and common knowledge in distributed systems , 1993, JACM.

[15]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[16]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[17]  A. Rubinstein.  The Electronic Mail Game: Strategic Behavior Under "Almost Common Knowledge" , 1989 .

[18]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[19]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[20]  J. McCarthy,et al.  On the model theory of knowledge , 1978 .

[21]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[22]  Territoire Urbain,et al.  Convention , 1955, Hidden Nature.

[23]  B. Webber,et al.  Elements of Discourse Understanding , 1983 .

[24]  Yoram Moses,et al.  Knowledge in a distributed environment , 1986 .

[25]  Danny Dolev,et al.  On the possibility and impossibility of achieving clock synchronization , 1984, STOC '84.

[26]  J. Barwise,et al.  Scenes and other Situations , 1981 .

[27]  K. Jon Barwise,et al.  Three Views of Common Knowledge , 1988, TARK.

[28]  Zbigniew W. Ras,et al.  Methodologies for Intelligent Systems , 1991, Lecture Notes in Computer Science.

[29]  Zvika Neeman.  Approximating Agreeing to Disagree Results with Commonp-Beliefs , 1996 .

[30]  Reino Kurki-Suonio.  Towards programming with knowledge expressions , 1986, POPL '86.

[31]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.