Introduction
Distributed and multi-agent systems come in many forms, serving various purposes and spanning a large variety of properties. They include networked processors communicating via message-passing, shared-memory systems in which processes interact by reading from and writing to shared variables, and even systems of robots that coordinate their actions by viewing each others’ actions and locations, and perform no explicit communication actions. While distinct systems may differ completely in their detailed structure and operation, fundamental to all distributed systems is the fact that decisions are performed based on a local, partial, view of the the state of the system. Proper coordination among different sites of such a system requires information flow among them, to ensure that decisions are taken based on appropriate knowledge. Reasoning about when elements of the system do or do not know relevant facts is therefore a central aspect of the design and construction of distributed systems and distributed protocols.
The title follows that of an inspiring RSA Animate talk on Language as a Window into Human Nature by Steven Pinker viewable on YouTube.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ben-Zvi, I., Moses, Y.: Beyond Lamport’s Happened-Before: On the Role of Time Bounds in Synchronous Systems. In: Lynch, N.A., Shvartsman, A.A. (eds.) DISC 2010. LNCS, vol. 6343, pp. 421–436. Springer, Heidelberg (2010)
Chandy, K.M., Misra, J.: How processes learn. Distributed Computing 1(1), 40–52 (1986)
Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation 88(2), 156–186 (1990)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Common knowledge revisited. In: Shoham, Y. (ed.) Proc. Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 283–298. Morgan Kaufmann, San Francisco (1996)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2003)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990); A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing (1984)
Krasucki, P.J., Ramanujam, R.: Knowledge and the ordering of events in distributed systems (extended abstract). In: Proc. Theoretical Aspects of Reasoning About Knowledge, pp. 267–283. Morgan Kaufmann (1994)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)
Moses, Y.: Reasoning about knowledge and belief. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 15, pp. 621–648. Elsevier B.V. (2008)
Parikh, R., Krasucki, P.: Levels of knowledge in distributed computing. Sādhanā 17(1), 167–191 (1992)
Parikh, R., Ramanujam, R.: Distributed Processes and the Logic of Knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 256–268. Springer, Heidelberg (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moses, Y. (2012). Knowledge as a Window into Distributed Coordination. In: Ramanujam, R., Ramaswamy, S. (eds) Distributed Computing and Internet Technology. ICDCIT 2012. Lecture Notes in Computer Science, vol 7154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28073-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-28073-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28072-6
Online ISBN: 978-3-642-28073-3
eBook Packages: Computer ScienceComputer Science (R0)