A Logic for Reasoning About Game Strategies
Abstract
This paper introduces a modal logic for reasoning about game strategies. The logic is based on a variant of the well-known game description language for describing game rules and further extends it with two modalities for reasoning about actions and strategies. We develop an axiomatic system and prove its soundness and completeness with respect to a specific semantics based on the state transition model of games. Interestingly, the completeness proof makes use of forgetting techniques that have been widely used in the KR&R literature. We demonstrate how general game-playing systems can apply the logic to develop game strategies.
Cite
Text
Zhang and Thielscher. "A Logic for Reasoning About Game Strategies." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9416Markdown
[Zhang and Thielscher. "A Logic for Reasoning About Game Strategies." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/zhang2015aaai-logic/) doi:10.1609/AAAI.V29I1.9416BibTeX
@inproceedings{zhang2015aaai-logic,
title = {{A Logic for Reasoning About Game Strategies}},
author = {Zhang, Dongmo and Thielscher, Michael},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2015},
pages = {1671-1677},
doi = {10.1609/AAAI.V29I1.9416},
url = {https://mlanthology.org/aaai/2015/zhang2015aaai-logic/}
}