The Epistemic Logic Behind the Game Description Language

Authors

  • Ji Ruan The University of New South Wales
  • Michael Thielscher The University of New South Wales

DOI:

https://doi.org/10.1609/aaai.v25i1.7943

Abstract

A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords. In its latest version GDL allows to describe nondeterministic games with any number of players who may have imperfect, asymmetric information. We analyse the epistemic structure and expressiveness of this language in terms of epistemic modal logic and present two main results:

  1. The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model;
  2. (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multi-agent epistemic model.

Downloads

Published

2011-08-04

How to Cite

Ruan, J., & Thielscher, M. (2011). The Epistemic Logic Behind the Game Description Language. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 840-845. https://doi.org/10.1609/aaai.v25i1.7943

Issue

Vol. 25 No. 1 (2011): Twenty-Fifth AAAI Conference on Artificial Intelligence

Section

Multidisciplinary Topics