Common knowledge revisited

Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi

doi:10.1016/S0168-0072(98)00033-5

Common knowledge revisited

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

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) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination.

Original language	English
Pages (from-to)	89-105
Number of pages	17
Journal	Annals of Pure and Applied Logic
Volume	96
Issue number	1-3
DOIs	https://doi.org/10.1016/S0168-0072(98)00033-5
State	Published - 1 Mar 1999

Keywords

Agreement
Common knowledge
Coordination

ASJC Scopus subject areas

Logic

Access to Document

10.1016/S0168-0072(98)00033-5

Cite this

@article{459e19b2c9bf4f1881097f85cc91da0a,

title = "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) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination.",

keywords = "Agreement, Common knowledge, Coordination",

author = "Ronald Fagin and Halpern, {Joseph Y.} and Yoram Moses and Vardi, {Moshe Y.}",

note = "Funding Information: * Corresponding author. Fax: 1 408 927 3030: e-mail: [email protected]. {\textquoteleft}UK: http://www.almaden.ibm.com/cs/people/fagin/. {\textquoteleft}This research was done while this author was al the IBM Almaden Research Center. Work supported in part by the Air Force Office of Scientific Research (AFSC), under Contract F49620-91 -C-0080. e-mail: halpernQcs.cornell.edu.;URL: http://www.cs.cornell.edu/home/halpern. {\textquoteright} Part of this research was performed while this author was on sabbatical at Oxford. His worh was supported in part by a Helen and Milton A. Kimmelman career development chair at the Weizmann Institute. E-mail: mosesQee.technion.ac.il;URL:http://www.ee.technion.ac.il/-moses. {\textquoteleft}This research was done while this author was at the IBM Almaden Research ({\textquoteleft}enter. c-mail: [email protected]. URL: http://www.cs.rice.edu/{\textquoteleft}vardi. i This material appeared in a preliminary form in the 1996 Conference on Theoretical Aspects of Rationahry and Knowledge. It is based on our recently published book [9].",

year = "1999",

month = mar,

day = "1",

doi = "10.1016/S0168-0072(98)00033-5",

language = "אנגלית",

volume = "96",

pages = "89--105",

number = "1-3",

}

TY - JOUR

T1 - Common knowledge revisited

AU - Fagin, Ronald

AU - Halpern, Joseph Y.

AU - Moses, Yoram

AU - Vardi, Moshe Y.

N1 - Funding Information: * Corresponding author. Fax: 1 408 927 3030: e-mail: [email protected]. ‘UK: http://www.almaden.ibm.com/cs/people/fagin/. ‘This research was done while this author was al the IBM Almaden Research Center. Work supported in part by the Air Force Office of Scientific Research (AFSC), under Contract F49620-91 -C-0080. e-mail: halpernQcs.cornell.edu.;URL: http://www.cs.cornell.edu/home/halpern. ’ Part of this research was performed while this author was on sabbatical at Oxford. His worh was supported in part by a Helen and Milton A. Kimmelman career development chair at the Weizmann Institute. E-mail: mosesQee.technion.ac.il;URL:http://www.ee.technion.ac.il/-moses. ‘This research was done while this author was at the IBM Almaden Research (‘enter. c-mail: [email protected]. URL: http://www.cs.rice.edu/‘vardi. i This material appeared in a preliminary form in the 1996 Conference on Theoretical Aspects of Rationahry and Knowledge. It is based on our recently published book [9].

PY - 1999/3/1

Y1 - 1999/3/1

N2 - 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.

AB - 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.

KW - Agreement

KW - Common knowledge

KW - Coordination

UR - http://www.scopus.com/inward/record.url?scp=0033095444&partnerID=8YFLogxK

U2 - 10.1016/S0168-0072(98)00033-5

DO - 10.1016/S0168-0072(98)00033-5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0033095444

SN - 0168-0072

VL - 96

SP - 89

EP - 105

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1-3

ER -

Common knowledge revisited

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this