A formal model of knowledge, action, and communication in distributed systems: Preliminary report

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1985, Pages 224-236

  Halpern, Joseph Y ^a   Fagin, Ronald ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED SYSTEMS; FORMAL MODEL; KNOWLEDGE BASED; SUBTLE INTERACTION;

KNOWLEDGE BASED SYSTEMS;

EID: 53149114768     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/323596.323617     Document Type: Conference Paper

References (22)

1. [BS] N.D. Belnap and T.B. Steel, The Logic of Questions and Answers, Yale University Press, 1976.
2. [CM] M. Chandy and J. Misra, How processes learn, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985.
3. [DHS] D. Dolev, J.Y. Halpern, and H.R. Strong, On the possibility and impossibility of achieving clock synchronization, Proceedings of the 16th ACM Symposium on the Theory of Computing, 1984, pp. 504-511; IBM Research Report RJ 4218; to appear in JCSS.
4. [Dw] C. Dwork, Bounds on fundamental problems in parallel and distributed computation, Ph.D. thesis, Cornell University, 1984.
5. [DFIL] C. Dwork, M.J. Fischer, N. Immerman, and N.A. Lynch, A theory of protocols, unpublished note, 1984.
6. [FLM] M.J. Fischer, N.A. Lynch, and M. Merritt, Easy impossibility proofs for distributed consensus problems, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985.
7. [Gr] J. Gray, Notes on database operating systems, IBM Research Report 2188, 1978.
8. [GS] J. Groenendijk and M. Stokhof, Studies on the semantics of questions and the pragmatics of answers, Ph.D. Thesis, U. of Amsterdam, 1984.
9. [HM1] J.Y. Halpern and Y.O. Moses, Knowledge and common knowledge in a distributed environment, in Proceedings of the 3rd ACM Conference on Principles of Distributed Computing, 1984, pp. 50-61; IBM Research Report RJ 4421.
10. [HM2] J. Y. Halpern and Y.O. Moses, A guide to the modal logics of knowledge and belief, to appear in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-85), 1985.
11. [Ka] H.W. Kamp, Tense logic and the theory of linear order, Ph.D. thesis, U.C.L.A., 1968.
12. [Lehl] D.J. Lehmann, Knowledge, common knowledge, and related puzzles, in Proceedings of the Third Annual ACM Conference on Principles of Distributed Computing, 1984, pp. 62-67.
13. [Leh2] D.J. Lehmann, private communication.
14. [Lev] H.J. Levesque, A formal treatment of incomplete knowledge bases, Fairchild Technical Report 614, FLAIR Technical Report 3, 1982.
15. [Mo] R.C. Moore, Reasoning about knowledge and action, Artificial Intelligence Center Technical Note 191, SRI International, 1980.
16. [MDH] Y.O. Moses, D. Dolev, and J.Y. Halpern, Cheating husbands and other stories: A case study of knowledge, action, and communication, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985.
17. [PR] R. Parikh and R. Ramanujam, Distributed processing and the logic of knowledge, to appear in the Proceedings of the Workshop on Logics of Programs, 1985.
18. [PSL] M. Pease, R. Shostak, and L. Lamport, Reaching agreement in the presence of faults, JACM 27:2, 1980, pp. 228-234.
19. [RP] S. Rosenschein and F. Pereira, Knowledge and action in situated automata, unpublished manuscript, 1985.
20. [Sa] M. Sato, A study of Kripke-style methods of some modal logics by Gentzen's sequential method, Publications of the Research Institute for Mathematical Sciences, Kyoto University, 13:2, 1977.
21. [Sm] R. Smullyan, What is the Name of This Book?, Prentice-Hall, 1978.
22. [SD] H.R. Strong and D. Dolev, Byzantine agreement, IBM Research Report RJ 3714, 1982.