Knowledge and Action in Semi-public Environments

  • Wiebe van der Hoek
  • Petar Iliev
  • Michael Wooldridge
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)

Abstract

We introduce and study the notion of a Public Environment: a system in which a publicly known program is executed in an environment that is partially observable to agents in the system. Although agents do not directly have access to all variables in the system, they may come to know the values of unobserved variables because they know how the program is manipulating these variables. We develop a logic for reasoning about Public Environments, and an axiomatization of the logic.

Keywords

Common Knowledge Sequential Composition Program Variable Kripke Model Boolean Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baltag, A., Moss, L.S., Solecki, S.: The logic of common knowledge, public announcements, and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56 (1998)Google Scholar
  2. 2.
    Brafman, R., Halpern, J.Y., Shoham, Y.: On the knowledge requirements of tasks. Artificial Intelligence 98, 317–349 (1998)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Chaum, D.: The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology 1(1), 65–75 (1988)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    van Ditmarsch, H.: The russian cards problem. Studia Logica 75, 31–62 (2003)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignments. In: AAMAS 2005, pp. 141–148 (2005)Google Scholar
  6. 6.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)MATHGoogle Scholar
  7. 7.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distributed Computing 10(4), 199–225 (1997)CrossRefGoogle Scholar
  8. 8.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)MATHGoogle Scholar
  9. 9.
    Sietsma, F.: Model checking for dynamic epistemic logic with factual change. Tech. rep., UvA and CWI, Amsterdam (2007), http://homepages.cwi.nl/~sietsma/papers/mcdelfc.pdf

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Wiebe van der Hoek
    • 1
  • Petar Iliev
    • 1
  • Michael Wooldridge
    • 1
  1. 1.University of LiverpoolUnited Kingdom

Personalised recommendations