Automated theorem proving for general game playing

Authors:
Stephan Schiffel;Michael Thielscher
Affiliations:
Department of Computer Science, Dresden University of Technology;Department of Computer Science, Dresden University of Technology
Venue:
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Year:
2009

Citing 7
Cited 2

A basis for deductive database systems. II

Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Automatic heuristic construction in a complete general game player

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Heuristic evaluation functions for general game playing

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Fluxplayer: a successful general game player

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Simulation-based approach to general game playing

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

Translating general game descriptions into an action language

Logic programming, knowledge representation, and nonmonotonic reasoning
General game playing in AI research and education

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

A general game player is a system that understands the rules of an unknown game and learns to play this game well without human intervention. To succeed in this endeavor, systems need to be able to extract and prove game-specific knowledge from the mere game rules. We present a practical approach to this challenge with the help of Answer Set Programming. The key idea is to reduce the automated theorem proving task to a simple proof of an induction step and its base case. We prove correctness of this method and report on experiments with an off-the-shelf Answer Set Programming system in combination with a successful general game player.