Translating General Game Descriptions into an Action Language

The game description language (GDL), which is the basis for the grand AI challenge of general game playing, can be viewed as yet another action language. However, due to its unique way of addressing the frame problem, GDL turned out to be surprisingly difficult to relate to any of the classical acti...

Full description

Saved in:
Bibliographic Details
Published inLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning pp. 300 - 314
Main Author Thielscher, Michael
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2011
SeriesLecture Notes in Computer Science
Subjects
Action Language
Causal Theory
Game Development
Logic Program
Logic Programming
Online AccessGet full text
ISBN3642208312
9783642208317
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-20832-4_19

Cover

More Information
Summary:The game description language (GDL), which is the basis for the grand AI challenge of general game playing, can be viewed as yet another action language. However, due to its unique way of addressing the frame problem, GDL turned out to be surprisingly difficult to relate to any of the classical action formalisms. In this paper, we present the first complete embedding of GDL into an existing member, known as, $\cal C\!$ +, of the family of action languages. Our provably correct translation paves the way for applying known results from reasoning about actions, including competitive implementations such as the Causal Calculator, to the new and ambitious challenge of general game playing.
Bibliography:Original Abstract: The game description language (GDL), which is the basis for the grand AI challenge of general game playing, can be viewed as yet another action language. However, due to its unique way of addressing the frame problem, GDL turned out to be surprisingly difficult to relate to any of the classical action formalisms. In this paper, we present the first complete embedding of GDL into an existing member, known as, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\cal C\!$\end{document}+, of the family of action languages. Our provably correct translation paves the way for applying known results from reasoning about actions, including competitive implementations such as the Causal Calculator, to the new and ambitious challenge of general game playing.
ISBN:3642208312
9783642208317
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-20832-4_19