TY - GEN
T1 - Evaluating answer set clause learning for General Game Playing
AU - Cerexhe, Timothy
AU - Sabuncu, Orkunt
AU - Thielscher, Michael
PY - 2013
Y1 - 2013
N2 - ![CDATA[In games with imperfect information, the 'information set' is a collection of all possible game histories that are consistent with, or explain, a player's observations. Current game playing systems rely on these best guesses of the true, partially-observable game as the foundation of their decision making, yet finding these information sets is expensive. We apply reactive Answer Set Programming (ASP) to the problem of sampling information sets in the field of General Game Playing. Furthermore, we use this domain as a test bed for evaluating the effectiveness of oClingo, a reactive answer set solver, in avoiding redundant search by keeping learnt clauses during incremental solving.]]
AB - ![CDATA[In games with imperfect information, the 'information set' is a collection of all possible game histories that are consistent with, or explain, a player's observations. Current game playing systems rely on these best guesses of the true, partially-observable game as the foundation of their decision making, yet finding these information sets is expensive. We apply reactive Answer Set Programming (ASP) to the problem of sampling information sets in the field of General Game Playing. Furthermore, we use this domain as a test bed for evaluating the effectiveness of oClingo, a reactive answer set solver, in avoiding redundant search by keeping learnt clauses during incremental solving.]]
UR - http://handle.uws.edu.au:8081/1959.7/551192
UR - http://lpnmr2013.udc.es/
U2 - 10.1007/978-3-642-40564-8_22
DO - 10.1007/978-3-642-40564-8_22
M3 - Conference Paper
SN - 9783642405631
SP - 219
EP - 232
BT - Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013), Corunna, Spain, 15-19 September 2013
PB - Springer
T2 - International Conference on Logic Programming and Nonmonotonic Reasoning
Y2 - 15 September 2013
ER -