Iterated Boolean Games

Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael J.

Iterated Boolean Games

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 932-937.

Abstract

Iterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear Temporal Logic (LTL), a formalism for expressing properties of state sequences. In order to model the strategies that players use in such games, we use a finite state machine model. After introducing and formally defining iterated Boolean games, we investigate the computational complexity of their associated game-theoretic decision problems as well as semantic conditions characterising classes of LTL properties that are preserved by pure strategy Nash equilibria whenever they exist.

Julian Gutierrez, Paul Harrenstein, and Michael J. Wooldridge. 2013. Iterated Boolean Games. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 932–937. https://ijcai.org/proceedings/2013/143

@inproceedings{ijcai2013p143,
  title     = {Iterated Boolean Games},
  author    = {Gutierrez, Julian and Harrenstein, Paul and Wooldridge, Michael J.},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {932--937},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/143},
}

TY  - CPAPER
TI  - Iterated Boolean Games
AU  - Gutierrez, Julian
AU  - Harrenstein, Paul
AU  - Wooldridge, Michael J.
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 932
EP  - 937
UR  - https://ijcai.org/proceedings/2013/143
ER  -