Knowledge as a Window into Distributed Coordination

  • Yoram Moses
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7154)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Chandy, K.M., Misra, J.: How processes learn. Distributed Computing 1(1), 40–52 (1986)CrossRefMATHGoogle Scholar
  3. 3.
    Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation 88(2), 156–186 (1990)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2003)MATHGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)CrossRefMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Parikh, R., Krasucki, P.: Levels of knowledge in distributed computing. Sādhanā 17(1), 167–191 (1992)MATHGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Yoram Moses
    • 1
  1. 1.Department of Electrical EngineeringTechnion—Israel Institute of EngineeringIsrael

Personalised recommendations