Common knowledge revisited
计算机科学中的逻辑
2007-05-23 v1 分布式、并行与集群计算
摘要
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) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination.
引用
@article{arxiv.cs/9809003,
title = {Common knowledge revisited},
author = {R. Fagin and J. Y. Halpern and Y. Moses and M. Vardi},
journal= {arXiv preprint arXiv:cs/9809003},
year = {2007}
}
备注
A previous version appeared in TARK (Theoretical Aspects of Rationality and Knowledge), 1996. This version will appear in Annals of Pure and Applied Logic. The material in this paper is basically taken from Chapter 11 of our book Reasoning About Knowledge (MIT Press, 1995)