SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE

Stephan Schiffel, Michael Thielscher

2009

Abstract

The Game Description Language (GDL) has been developed for the purpose of formalizing game rules. It serves as the input language for general game players, which are systems that learn to play previously unknown games without human intervention. In this paper, we show that GDL can be readily used as a specification language for a large class of multiagent environments. The resulting specifications are declarative, compact, and easy to understand and maintain. At the same time they can be fully automatically understood and used by autonomous agents who intend to participate in these environments. Our main result is a formal characterization of the class of multiagent environments that can be described in GDL.

References

  1. Apt, K., Blair, H. A., and Walker, A. (1987). Towards a theory of declarative knowledge. In Minker, J., editor, Foundations of Deductive Databases and Logic Programming, chapter 2, pages 89-148. Morgan Kaufmann.
  2. Clark, K. (1978). Negation as failure. In Gallaire, H. and Minker, J., editors, Logic and Data Bases, pages 293- 322. Plenum Press.
  3. Clune, J. (2007). Heuristic evaluation functions for general game playing. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 1134- 1139, Vancouver. AAAI Press.
  4. Finnsson, H. and Björnsson, Y. (2008). Simulation-based approach to general game playing. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 259-264, Chicago. AAAI Press. 3It is worth noting that this does not contradict the finite derivability property of valid GDL specifications, which just implies that all local reasoning problems are decidable.
  5. More specifically, given a particular state it is decidable whether an action is possible, and given a joint action it is also decidable what properties hold in the updated state, etc. On the other hand, GDL is expressive enough to describe any Turing machine as a “game” using clauses like Genesereth, M., Love, N., and Pell, B. (2006). General game playing. AI Magazine, 26(2):73-84.
  6. Kuhlmann, G., Dresner, K., and Stone, P. (2006). Automatic heuristic construction in a complete general game player. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 1457- 1462, Boston. AAAI Press.
  7. Lloyd, J. (1987). Foundations of Logic Programming. Series Symbolic Computation. Springer, second, extended edition.
  8. Lloyd, J. and Topor, R. (1986). A basis for deductive database systems II. Journal of Logic Programming, 3(1):55-67.
  9. Love, N., Hinrichs, T., Haley, D., Schkufza, E., and Genesereth, M. (2006). General Game Playing: Game Description Language Specification. Technical Report LG-2006-01, Stanford Logic Group, Computer Science Department, Stanford University, 353 Serra Mall, Stanford, CA 94305. Available at: games.stanford.edu.
  10. McDermott, D. (2000). The 1998 AI planning systems competition. AI Magazine, 21(2):35-55.
  11. Schiffel, S. and Thielscher, M. (2007). Fluxplayer: A successful general game player. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 1191-1196, Vancouver. AAAI Press.
  12. van der Hoek, W., Ruan, J., and Wooldridge, M. (2007). Strategy logics and the game description language. In Proceedings of the Workshop on Logic, Rationality and Interaction, Bejing, China.
  13. van Gelder, A. (1989). The Alternating Fixpoint of Logic Programs with Negation. In Proceedings of the 8th Symposium on Principles of Database Systems, pages 1-10. ACM SIGACT-SIGMOD.
Download


Paper Citation


in Harvard Style

Schiffel S. and Thielscher M. (2009). SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 21-28. DOI: 10.5220/0001560200210028


in Bibtex Style

@conference{icaart09,
author={Stephan Schiffel and Michael Thielscher},
title={SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2009},
pages={21-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001560200210028},
isbn={978-989-8111-66-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE
SN - 978-989-8111-66-1
AU - Schiffel S.
AU - Thielscher M.
PY - 2009
SP - 21
EP - 28
DO - 10.5220/0001560200210028


in Harvard Style

Schiffel S. and Thielscher M. (2009). SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE.In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 21-28. DOI: 10.5220/0001560200210028


in Bibtex Style

@conference{icaart09,
author={Stephan Schiffel and Michael Thielscher},
title={SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2009},
pages={21-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001560200210028},
isbn={978-989-8111-66-1},
}


in EndNote Style

TY - CONF

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE
SN - 978-989-8111-66-1
AU - Schiffel S.
AU - Thielscher M.
PY - 2009
SP - 21
EP - 28
DO - 10.5220/0001560200210028