Solving the Inferential Frame Problem in the General Game Description Language
Abstract
The Game Description Language GDL is the standard input language for general game-playing systems. While players can gain a lot of traction by an efficient inference algorithm for GDL, state-of-the-art reasoners suffer from a variant of a classical KR problem, the inferential frame problem. We present a method by which general game players can transform any given game description into a representation that solves this problem. Our experimental results demonstrate that with the help of automatically generated domain knowledge, a significant speedup can thus be obtained for the majority of the game descriptions from the AAAI competition.
Cite
Text
Dávila et al. "Solving the Inferential Frame Problem in the General Game Description Language." AAAI Conference on Artificial Intelligence, 2014. doi:10.1609/AAAI.V28I1.8791Markdown
[Dávila et al. "Solving the Inferential Frame Problem in the General Game Description Language." AAAI Conference on Artificial Intelligence, 2014.](https://mlanthology.org/aaai/2014/davila2014aaai-solving/) doi:10.1609/AAAI.V28I1.8791BibTeX
@inproceedings{davila2014aaai-solving,
title = {{Solving the Inferential Frame Problem in the General Game Description Language}},
author = {Dávila, Javier Romero and Saffidine, Abdallah and Thielscher, Michael},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2014},
pages = {515-521},
doi = {10.1609/AAAI.V28I1.8791},
url = {https://mlanthology.org/aaai/2014/davila2014aaai-solving/}
}