Distributed Computing

, Volume 1, Issue 3, pp 167–176 | Cite as

Cheating husbands and other stories: A case study of knowledge, action, and communication

  • Yoram Moses
  • Danny Dolev
  • Joseph Y. Halpern

Abstract

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 thecheating husbands puzzle, we illustrate the subtle relationship between knowledge, communication, and action in a distributed environment.

Key words

Common knowledge Cheating wires Distributed protocols 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise J (1981) Scenes and other situations. J Philosophy, vol LXXVIII, pp 369–397Google Scholar
  2. El Gamal A, Orlitsky A (1984) Interactive data compression. Proceedings of the 25th Annual Symposium on Foundations of Computer Science, pp 100–108Google Scholar
  3. Fischer MJ, Lynch NA, Paterson MS (1983) Impossibility of distributed consensus with one faulty process. Proceedings of the 2nd ACM Symposium on the Principles of Database SystemsGoogle Scholar
  4. Gardner M (1984) Puzzles from other worlds, VintageGoogle Scholar
  5. Gamow G, Stern M (1958) Forty unfaithful wives, Puzzle Math. The Viking Press, New York, pp 20–23Google Scholar
  6. Halpern JY, Fagin R (1985) A formal model of knowledge, communication, and action in a distributed system: preliminary version. Proceedings of the 4th ACM Symposium on the Principles of Distributed Computing, pp 224–236Google Scholar
  7. Halpern JY, Moses Y (1984/86) Knowledge and common knowledge in a distributed environment. Proceedings of the 3rd ACM Symposium on the Principles of Distributed Computing, pp 50–61. Revised as IBM research report RJ 4421, January 1986Google Scholar
  8. Konolige K (1984) Belief and incompleteness. SRI Artificial Intelligence Note 319, SRI International, Menlo Park, CaliforniaGoogle Scholar

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Yoram Moses
    • 1
    • 2
  • Danny Dolev
    • 2
    • 3
  • Joseph Y. Halpern
    • 2
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA
  2. 2.IBM Almaden Research CenterSan JoseUSA
  3. 3.Computer Science DepartmentThe Hebrew UniversityJerusalemIsrael

Personalised recommendations