Agent-Time Epistemics and Coordination

  • Ido Ben-Zvi
  • Yoram Moses
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7750)

Abstract

A minor change to the standard epistemic logical language, replacing K i with K i,t where t is an explicit time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We investigate the communication structures that are necessary for such generalized epistemic states to arise, and the inter-agent coordination tasks that require such knowledge. Previous work has established a relation between linear event ordering and nested knowledge, and between simultaneous event occurrences and common knowledge. In the new, extended, formalism, epistemic necessity is decoupled from temporal necessity. Nested knowledge and event ordering are shown to be related even when the nesting order of the operators does not match the temporal order of occurrence. The generalized form of common knowledge does not correspond to simultaneity. Rather, it corresponds to a notion of tight coordination, of which simultaneity is an instance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R., Henzinger, T.: Logics and Models of Real-time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX Workshop 1991. LNCS, vol. 600, pp. 74–106. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  2. 2.
    Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier (2006)Google Scholar
  3. 3.
    Ben-Zvi, I.: Causality, Knowledge and Coordination in Distributed Systems. PhD thesis, Technion, Israel (2011)Google Scholar
  4. 4.
    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
  5. 5.
    Ben-Zvi, I., Moses, Y.: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics 21(3-4), 323–354 (2011)MathSciNetMATHCrossRefGoogle Scholar
  6. 6.
    Chandy, K.M., Misra, J.: How processes learn. Distributed Computing 1(1), 40–52 (1986)MATHCrossRefGoogle Scholar
  7. 7.
    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
  8. 8.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2003)Google Scholar
  9. 9.
    Gonczarowski, Y., Moses, Y.: Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points (in preparation, 2012)Google Scholar
  10. 10.
    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)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time, I: lower bounds. Journal of Computer and System Sciences 38(1), 195–237 (1989)MathSciNetMATHCrossRefGoogle Scholar
  12. 12.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Ido Ben-Zvi
    • 1
  • Yoram Moses
    • 2
  1. 1.Department of Computer ScienceTechnionIsrael
  2. 2.Department of Electrical EngineeringTechnionIsrael

Personalised recommendations