A Logical Modeling of the Yōkai Board Game - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

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.
Fichier principal
Vignette du fichier
Rapport_technique_Yokai.pdf (627 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02983253 , version 1 (29-10-2020)
hal-02983253 , version 2 (02-12-2020)
hal-02983253 , version 3 (09-04-2021)

Identifiants

  • HAL Id : hal-02983253 , version 3

Citer

Dominique Longin, Emiliano Lorini, Frédéric Maris. A Logical Modeling of the Yōkai Board Game. [Research Report] IRIT - Institut de recherche en informatique de Toulouse. 2020. ⟨hal-02983253v3⟩
210 Consultations
129 Téléchargements

Partager

Gmail Facebook X LinkedIn More