Cheating husbands and other stories: A case study of knowledge, action, and communication
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 wordsCommon knowledge Cheating wires Distributed protocols
Unable to display preview. Download preview PDF.
- Barwise J (1981) Scenes and other situations. J Philosophy, vol LXXVIII, pp 369–397Google Scholar
- El Gamal A, Orlitsky A (1984) Interactive data compression. Proceedings of the 25th Annual Symposium on Foundations of Computer Science, pp 100–108Google Scholar
- 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
- Gardner M (1984) Puzzles from other worlds, VintageGoogle Scholar
- Gamow G, Stern M (1958) Forty unfaithful wives, Puzzle Math. The Viking Press, New York, pp 20–23Google Scholar
- 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
- 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
- Konolige K (1984) Belief and incompleteness. SRI Artificial Intelligence Note 319, SRI International, Menlo Park, CaliforniaGoogle Scholar