ICE-TCS seminar: Stephan Schiffel
Date: Friday, October 4th, 2pm
Location: M1.08, Reykjavík University, Menntavegur 1
Speaker: Stephan Schiffel (Reykjavik University)
Title: Efficient Reasoning about Games
General Game Playing (GGP) is concerned with the development of programs that are able to play previously unknown games well. The game rules are communicated to the general game players in a logic-based language called GDL (Game Description Language). Every general game player needs to be able to interpret this game descriptions in GDL in order to compute legal moves and effects of moves in the game.
The variety of open-source GDL reasoners available to newcomers to GGP lowers the technical barrier of entering the field. This variety, however, also makes it more complicated to decide on a fitting reasoner for a given GGP project, considering the project's objectives, ambitions, and technical constraints.
This talk gives an overview of available GDL reasoners, discusses their main pros and cons, and most importantly quantifies their relative reasoning performance, showing several orders of magnitude difference in some cases.
Understanding why certain reasoners work better in some games but worse in others is and important first step for the development of more efficient approaches to reasoning about games.