Common knowledge revisited

ABSTRACT

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

References

1. {Aum76} R. J. Aumann. Agreeing to disagree. Annals of Statistics 4(6):1236--1239, 1976.
2. {Bar81} J. Barwise. Scenes and other situations. Journal of Philosophy, 78(7):369--397, 1981.
3. {Bar88} J. Barwise. Three views of common knowledge. In M. Y. Vardi, editor, Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 365--379. Morgan Kaufmann, San Francisco, Calif., 1988.
4. {BD87} A. Brandenburger and E. Dekel. Common knowledge with probability 1. Journal of Mathematical Economics, 16:237--245, 1987.
5. {CM81} H. H. Clark and C. R. Marshall. Definite reference and mutual knowledge. In A. K. Joshi, B. L. Webber, and I. A. Sag, editors, Elements of discourse understanding. Cambridge University Press, Cambridge, U.K., 1981.
6. {DHS86} D. Dolev, J. Y. Halpern, and H. R. Strong. On the possibility and impossibility of achieving clock synchronization. Journal of Computer and System Sciences, 32(2):230--250, 1986.
7. {FH94} R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. Journal of the ACM, 41(2):340--367, 1994.
8. {FHMV95} R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
9. {FI86} M. J. Fischer and N. Immerman. Foundations of knowledge for distributed systems. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pages 171--186. Morgan Kaufmann, San Francisco, Calif., 1986.
10. {Gra78} J. Gray. Notes on database operating systems. In R. Bayer, R. M. Graham, and G. Seegmuller, editors, Operating Systems: An Advanced Course, Lecture Notes in Computer Science, Vol. 66. Springer-Verlag, Berlin/New York, 1978. Also appears as IBM Research Report RJ 2188, 1978.
11. {GS58} G. Gamow and M. Stern. Puzzle Math. Viking Press, New York, 1958.
12. {HM90} J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549--587, 1990. A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984.
13. {HMM85} J. Y. Halpern, N. Megiddo, and A. Munshi. Optimal precision in the presence of uncertainty. Journal of Complexity, 1:170--196, 1985.
14. {HMW90} J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual Byzantine agreement. In Proc. 9th ACM Symp. on Principles of Distributed Computing, pages 333--346, 1990.
15. {HT93} J. Y. Halpern and M. R. Tuttle. Knowledge, probability, and adversaries. Journal of the ACM, 40(4):917--962, 1993.
16. {KPN90} P. Krasucki, R. Parikh, and G. Ndjatou. Probabilistic knowledge and probabilistic common knowledge (preliminary report). In Z. W. Ras, M. Zemankova, and M. L. Emrich, editors, Methodologies for Intelligent Systems, volume 5, pages 1--8. Elsevier Science Publishing Co., Inc., The Hague, 1990.
17. {Kur86} R. Kurki-Suonio. Towards programming with knowledge expressions. In Proc. 13th ACM Symp. on Principles of Programming Languages, pages 140--149, 1986.
18. {Lew69} D. Lewis. Convention, A Philosophical Study. Harvard University Press, Cambridge, Mass., 1969.
19. {MS89} D. Monderer and D. Samet. Approximating common knowledge with common beliefs. Games and Economic Behavior, 1:170--190, 1989.
20. {MSHI79} J. McCarthy, M. Sato, T. Hayashi, and S. Igarishi. On the model theory of knowledge. Technical Report STAN-CS-78-657, Stanford University, 1979.
21. {Nei88} G. Neiger. Knowledge consistency: a useful suspension of disbelief. In M. Y. Vardi, editor, Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge pages 295--308. Morgan Kaufmann, San Francisco, Calif., 1988.
22. {NT93} G. Neiger and S. Toueg. Simulating real-time clocks and common knowledge in distributed systems. Journal of the ACM, 40(2):334--367, 1993.
23. {PT92} P. Panangaden and S. Taylor. Concurrent common knowledge: defining agreement for asynchronous systems. Distributed Computing, 6(2):73--93, 1992.
24. {YC79} Y. Yemini and D. Cohen. Some issues in distributed processes communication. In Proc. of the 1st International Conf. on Distributed Computing Systems, pages 199--203, 1979.