TY - JOUR
T1 - Cheating husbands and other stories
T2 - A case study of knowledge, action, and communication
AU - Moses, Yoram
AU - Dolev, Danny
AU - Halpern, Joseph Y.
PY - 1986/9
Y1 - 1986/9
N2 - The relationship between knowledge and action is a fundamental one: a processor in a computer network (or a robot or a person, for that matter) should base its actions on the knowledge (or information) it has. One of the main uses of communication is passing around information that may eventually be required by the receiver in order to decide upon subsequent actions. Understanding the relationship between knowledge, action, and communication is fundamental to the design of computer network protocols, intelligent robots, etc. By looking at a number of variants of the cheating husbands puzzle, we illustrate the subtle relationship between knowledge, communication, and action in a distributed environment.
AB - The relationship between knowledge and action is a fundamental one: a processor in a computer network (or a robot or a person, for that matter) should base its actions on the knowledge (or information) it has. One of the main uses of communication is passing around information that may eventually be required by the receiver in order to decide upon subsequent actions. Understanding the relationship between knowledge, action, and communication is fundamental to the design of computer network protocols, intelligent robots, etc. By looking at a number of variants of the cheating husbands puzzle, we illustrate the subtle relationship between knowledge, communication, and action in a distributed environment.
KW - Cheating wires
KW - Common knowledge
KW - Distributed protocols
UR - http://www.scopus.com/inward/record.url?scp=0022562250&partnerID=8YFLogxK
U2 - 10.1007/BF01661170
DO - 10.1007/BF01661170
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0022562250
SN - 0178-2770
VL - 1
SP - 167
EP - 176
JO - Distributed Computing
JF - Distributed Computing
IS - 3
ER -