A Logical Modeling of the Yōkai Board Game
Un modélisation logique du jeu de plateau Yōkai
Résumé
We present an epistemic language for representing an artificial player's beliefs and actions in the context of the Yōkai board game. Yōkai is a cooperative game which requires a combination of Theory of Mind (ToM), temporal and spatial reasoning to be played effectively by an artificial agent. We show that the language properly accounts for these three dimensions and that its satisfiability problem is NP-complete. This opens up the possibility of exploiting SAT techniques for automating reasoning of an artificial player in the context of the Yōkai board-game. We present the language as well as the initial beliefs and axioms of construction of the next epistemic state of the artificial player.
Nous présentons un langage épistémique pour représenter les croyances et les actions d'un joueur artificiel dans le contexte du jeu de plateau Yōkai. Yōkai est un jeu coopératif qui nécessite une combinaison de théorie de l'esprit (ToM), de raisonnement temporel et spatial pour être joué efficacement par un agent artificiel. Nous montrons que le langage rend bien compte de ces trois dimensions et que son problème de satisfiabilité est NP-complet. Cela ouvre la possibilité d'exploiter les techniques SAT pour automatiser le raisonnement d'un joueur artificiel dans le cadre du jeu de société Yōkai. Nous présentons le langage ainsi que les croyances initiales et les axiomes de construction de l'état épistémique suivant du joueur artificiel.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|