A Logic for Reasoning About Game Strategies
Authors: Dongmo Zhang, Michael Thielscher
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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 speciļ¬c semantics based on the state transition model of games. |
| Researcher Affiliation | Academia | Dongmo Zhang The University of Western Sydney Australia d.zhang@uws.edu.au Michael Thielscher The University of New South Wales Australia mit@cse.unsw.edu.au |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any concrete access information (e.g., repository link, explicit statement of code release) for open-source code. |
| Open Datasets | No | This is a theoretical paper that does not involve the use of datasets for training or evaluation. |
| Dataset Splits | No | This is a theoretical paper and does not discuss training/validation/test dataset splits. |
| Hardware Specification | No | This is a theoretical paper and does not report on experiments that would require hardware specifications. |
| Software Dependencies | No | This is a theoretical paper and does not list specific software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper and does not describe experimental setup details such as hyperparameters. |