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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Twenty-fourth AAAI Conference on Artificial Intelligence and the Twenty-second Innovative Applications of Artificial Intelligence Conference, 11-15 July, 2010, Atlanta, Georgia, USA |
| Publisher | AAAI Press |
| Pages | 1000-1005 |
| Number of pages | 6 |
| ISBN (Print) | 9781577354659 |
| Publication status | Published - 2010 |
| Event | AAAI Conference on Artificial Intelligence - Duration: 22 Jul 2012 → … |
Conference
| Conference | AAAI Conference on Artificial Intelligence |
|---|---|
| Period | 22/07/12 → … |