Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving

Abstract : Nonmonotonic reasoning is about drawing conclusions in the absence of (complete) information. Hence, whenever new information arrives, one may have to withdraw previously drawn conclusions. In fact, Answer Set Programming is nowadays regarded as the computational embodiment of nonmonotonic reasoning. However, traditional answer set solvers do not account for changing information. Rather they are designed as one-shot solvers that take a logic program and compute its stable models, basta! When new information arrives the program is extended and the solving process is started from scratch once more. Hence the dynamics giving rise to nonmonotonicity is not reflected by such solvers and left to the user. This shortcoming is addressed by multi-shot solvers that embrace the dynamicity of nonmonotonic reasoning by allowing a reactive procedure to loop on solving while acquiring changes in the problem specification. In this paper, we provide a hands-on introduction to multi-shot solving with clingo 4 by modeling the popular board game of Ricochet Robots. Our particular focus lies on capturing the underlying turn based playing through the procedural-declarative interplay offered by the Python-ASP integration of clingo 4. From a technical perspective, we provide semantic underpinnings for multi-shot solving with clingo 4 by means of a simple stateful semantics along with operations reflecting clingo 4 functionalities.
Type de document :
Chapitre d'ouvrage
T. Eiter and H. Strass and M. Truszczynski and S. Woltran. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, 9060, Springer, pp.17-32, 2015, lnai, 〈10.1007/978-3-319-14726-0_2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01187007
Contributeur : René Quiniou <>
Soumis le : mardi 25 août 2015 - 18:26:08
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Lien texte intégral

Identifiants

Citation

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub. Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving. T. Eiter and H. Strass and M. Truszczynski and S. Woltran. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, 9060, Springer, pp.17-32, 2015, lnai, 〈10.1007/978-3-319-14726-0_2〉. 〈hal-01187007〉

Partager

Métriques

Consultations de la notice

465