Abstract
We introduce and formally study games in which the goals of players relate to the epistemic states of players in the game. For example, one player might have a goal that another player knows a certain proposition, while another player might have as a goal that a certain player does not know some proposition. The formal model we use to study epistemic games is a variation of the increasingly popular Boolean games model in which each player controls a number of Boolean variables, but has limited ability to see the truth values of the overall set of formulae that hold in the game. Each player in an epistemic Boolean game has a goal, defined as a formula of modal epistemic logic. Using such a language for goals allows us to explicitly and compactly represent desirable epistemic states. After motivating and formally defining epistemic Boolean games as a concise representation of epistemic Kripke structures, we investigate their complexity and study their properties.
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
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (1995)
Harrenstein, P., van der Hoek, W., Meyer, J.J., Witteveen, C.: Boolean games. In: van Benthem, J. (ed.) Proc. TARK VIII, pp. 287–298 (2001)
Bonzon, E., Lagasquie, M., Lang, J., Zanuttini, B.: Boolean games revisited. In: Proc. ECAI 2006 (2006)
Dunne, P.E., Kraus, S., van der Hoek, W., Wooldridge, M.: Cooperative boolean games. In: Proc. AAMAS 2008 (2008)
Endriss, U., Kraus, S., Lang, J., Wooldridge, M.: Designing incentives for boolean games. In: Proc. AAMAS 2011 (2011)
van der Hoek, W., Troquard, N., Wooldridge, M.: Knowledge and control. In: Proc. AAMAS 2011 (2011)
van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artiifcial Intelligence 164, 81–119 (2005)
Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press (1994)
van Eijck, J., Sietsma, F., Wang, Y.: Composing Models. Journal of Applied Non-Classical Logic 21(3-4), 397–425 (2011)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1994)
Chalkiadakis, G., Elkind, E., Wooldridge, M.: Computational Aspects of Cooperative Game Theory. Morgan-Claypool (2011)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
Lomuscio, A.: Knowledge Sharing among Ideal Agents. PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK (1999)
Ågotnes, T., Harrenstein, P., van der Hoek, W., Wooldridge, M.: Veri able equi- libria in boolean games. In: Proc. IJCAI 2013 (2013)
van Otterloo, S., van der Hoek, W., Wooldridge, M.: Knowledge condition games. Journal of Logic, Language, and Information 15, 425–452 (2006)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)
van der Hoek, W., Wooldridge, M.: Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Studia Logica 75, 125–157 (2003)
Ågotnes, T., van Ditmarsch, H.: What will they say? – public announcement games. Synthese 179, 57–85 (2011)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)
Grant, J., Kraus, S., Wooldridge, M., Zuckerman, I.: Manipulating boolean games through communication. In: Proc. IJCAI 2011 (2011)
Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15, 7–48 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ågotnes, T., Harrenstein, P., van der Hoek, W., Wooldridge, M. (2013). Boolean Games with Epistemic Goals. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)