A Temporal Proof System for General Game Playing
Abstract
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in General Game Playing is to endow a player with the ability to extract and prove game-specific knowledge from the mere game rules. We define a formal language to express temporally extended — yet local — properties of games. We also develop a provably correct proof theory for this language using the paradigm of Answer Set Programming, and we report on experiments with a practical implementation of this proof system in combination with a successful general game player.
Cite
Text
Thielscher and Voigt. "A Temporal Proof System for General Game Playing." AAAI Conference on Artificial Intelligence, 2010. doi:10.1609/AAAI.V24I1.7646Markdown
[Thielscher and Voigt. "A Temporal Proof System for General Game Playing." AAAI Conference on Artificial Intelligence, 2010.](https://mlanthology.org/aaai/2010/thielscher2010aaai-temporal/) doi:10.1609/AAAI.V24I1.7646BibTeX
@inproceedings{thielscher2010aaai-temporal,
title = {{A Temporal Proof System for General Game Playing}},
author = {Thielscher, Michael and Voigt, Sebastian},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2010},
pages = {1000-1005},
doi = {10.1609/AAAI.V24I1.7646},
url = {https://mlanthology.org/aaai/2010/thielscher2010aaai-temporal/}
}