Invariant Projections in Games

13 pages•Published: September 29, 2016

Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal and Michael Genesereth

Abstract

Identification of implicit structures in dynamic systems is a fundamental problem in Artificial Intelligence. In this paper, we focus on General Game Playing where games are modeled as finite state machines. We define a new property of game states called invariant projections which strongly corresponds to humans' intuition of game boards and may be applied in General Game Playing to support powerful heuristics, and to automate the design of game visualizations. We prove that the computation of invariant projections is Pi_{2}^{P}-complete in the size of the game description. We also show that invariant projections form a lattice, and the lattice ordering may be used to reduce the time to compute invariant projections potentially by a factor that is exponential in the schema size of game states. To enable competitive general game players to efficiently identify boards, we propose a sound (but incomplete) heuristic for computing invariant projections and evaluate its performance.

Keyphrases: dynamic systems, game description language, game structures, general game playing, invariant projections

In: Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence, vol 41, pages 227-239.

Links:	https://easychair.org/publications/paper/JL8k
	https://doi.org/10.29007/z5zn

BibTeX entry

@inproceedings{GCAI2016:Invariant_Projections_Games,
  author    = {Abhijeet Mohapatra and Bertrand Decoster and Sudhir Agarwal and Michael Genesereth},
  title     = {Invariant Projections in Games},
  booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
  editor    = {Christoph Benzmüller and Geoff Sutcliffe and Raul Rojas},
  series    = {EPiC Series in Computing},
  volume    = {41},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/JL8k},
  doi       = {10.29007/z5zn},
  pages     = {227-239},
  year      = {2016}}

Download PDF Open PDF in browser