A Multiagent Semantics for the Game Description Language

Author(s):  
Stephan Schiffel ◽  
Michael Thielscher
Author(s):  
Joao Castro Correia ◽  
Luis Filipe Teofilo ◽  
Henrique Lopes Cardoso ◽  
Luis Paulo Reis

2014 ◽  
Vol 49 ◽  
pp. 171-206 ◽  
Author(s):  
S. Schiffel ◽  
M. Thielscher

A general game player is a system that can play previously unknown games just by being given their rules. For this purpose, the Game Description Language (GDL) has been developed as a high-level knowledge representation formalism to communicate game rules to players. In this paper, we address a fundamental limitation of state-of-the-art methods and systems for General Game Playing, namely, their being confined to deterministic games with complete information about the game state. We develop a simple yet expressive extension of standard GDL that allows for formalising the rules of arbitrary finite, n-player games with randomness and incomplete state knowledge. In the second part of the paper, we address the intricate reasoning challenge for general game-playing systems that comes with the new description language. We develop a full embedding of extended GDL into the Situation Calculus augmented by Scherl and Levesque's knowledge fluent. We formally prove that this provides a sound and complete reasoning method for players' knowledge about game states as well as about the knowledge of the other players.


2009 ◽  
Vol 19 (6) ◽  
pp. 1127-1156 ◽  
Author(s):  
J. Ruan ◽  
W. van der Hoek ◽  
M. Wooldridge

2014 ◽  
Vol 36 (1) ◽  
pp. 171-191
Author(s):  
Simon Wells

Abstract This paper reports preliminary work into the exploitation of argumentation schemes within dialogue games. We identify a property of dialogue games that we call “scheme awareness” that captures the relationship between dialogue game systems and argumentation schemes. Scheme awareness is used to examine the ways in which existing dialogue games utilise argumentation schemes and consequently the degree with which a dialogue game can be used to construct argument structures. The aim is to develop a set of guidelines for dialogue game design, which feed into a set of Dialogue Game Description Language (DGDL) extensions in turn enabling dialogue games to better exploit argumentation schemes.


Sign in / Sign up

Export Citation Format

Share Document