ECAI 2004 Conference Paper

Game-Theoretic Agent Programming in Golog

Alberto Finzi, Thomas Lukasiewicz

We present the robot programming language GTGolog, which integrates explicit agent programming in Golog with game-theoretic multi-agent planning in Markov games. It is a generalization of DTGolog to a multi-agent setting, where we have two competing single agents or two competing teams of agents. The language allows for specifying a control program for a single agent or a team of agents in a high-level logical language. The control program is then completed by an interpreter in an optimal way against another single agent or another team of agents, by viewing it as a Markov game, and computing a Nash strategy. We illustrate the usefulness of this approach along a robotic soccer example.

Keywords: Cognitive Robotics, Reasoning about Actions and Change, Reasoning under Uncertainty, Multi-Agent Systems, Game Playing

Citation: Alberto Finzi, Thomas Lukasiewicz: Game-Theoretic Agent Programming in Golog. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.18-22.

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).