A Temporal Proof System for General Game Playing

被引：0

作者：

Thielscher, Michael ^{[1
]}

Voigt, Sebastian ^{[2
]}

机构：

[1] Univ New South Wales, Sch Comp Sci & Engn, Kensington, NSW, Australia

[2] Tech Univ Dresden, Dept Comp Sci, Dresden, Germany

来源：

PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10) | 2010年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：1000 / 1005

页数：6

共 50 条

[21] Coevolving strategies for general game playing
Reisinger, Joseph
Bahceci, Erkin
Karpov, Igor
Miikkulainen, Risto
2007 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND GAMES, 2007, : 320 - 327
[22] The International General Game Playing Competition
Genesereth, Michael
Bjoernsson, Yngvi
AI MAGAZINE, 2013, 34 (02) : 107 - 111
[23] Automated Negotiations for General Game Playing
de Jonge, Dave
Zhang, Dongmo
AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 371 - 379
[24] EnHiC: An Enforced Hill Climbing Based System for General Game Playing
Babadi, Amin
Omoomi, Behnaz
Kendall, Graham
2015 IEEE CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND GAMES (CIG), 2015, : 193 - 199
[25] Self-Adaptation of Playing Strategies in General Game Playing
Swiechowski, Maciej
Mandziuk, Jacek
IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, 2014, 6 (04) : 367 - 381
[26] Game State Evaluation Heuristics in General Video Game Playing
Santos, Bruno S.
Bernardino, Heder S.
2018 17TH BRAZILIAN SYMPOSIUM ON COMPUTER GAMES AND DIGITAL ENTERTAINMENT (SBGAMES 2018), 2018, : 147 - 156
[27] Embedding a Card Game Language into a General Game Playing Language
Kowalski, Jakub
STAIRS 2014, 2014, 264 : 161 - 170
[28] Evaluating Generalisation in General Video Game Playing
Balla, Martin
Lucas, Simon M.
Perez-Liebana, Diego
2020 IEEE CONFERENCE ON GAMES (IEEE COG 2020), 2020, : 423 - 430
[29] Heuristic Evaluation Functions for General Game Playing
Clune, James E.
KUNSTLICHE INTELLIGENZ, 2011, 25 (01): : 73 - 74
[30] Toward General Mathematical Game Playing Agents
Ashlock, Daniel
Kim, Eun-Youn
Perez-Lebana, Diego
PROCEEDINGS OF THE 2018 IEEE CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND GAMES (CIG'18), 2018, : 110 - 116

← 1 2 3 4 5 →