IRIT

Laurent Perrussel - Professor

Contact

KR-18 Tutorial: From Game Description Language to Game Description Logics

This tutorial will give an overview of Game Description Logics, a family of logics based on the General Description Language (GDL) used for representing games in General Game Playing. We introduce different variants of GDL and illustrate them through numerous examples of game representations. The attendee will learn how to represent and reason about games, and the basics of GDL for building specialized extensions for epistemic and strategic reasoning.

Co-written with Guifei Jiang (Nankai University) and Dongmo Zhang (Western Sydney University)

Presenter's details

Outline

  • General Game Playing
  • Representing a game: Game Description Language
  • Possible Player Implementation
  • Reasoning-based player
  • Epistemic reasoning
  • Strategic reasoning
  • Going further
Laurent Perrussel - June 2018