A Logical Modeling of the Yōkai Board Game - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Article Dans Une Revue AI Communications Année : 2023

A Logical Modeling of the Yōkai Board Game

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

Dates et versions

hal-04304902 , version 1 (24-11-2023)

Licence

Paternité

Identifiants

Citer

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris. A Logical Modeling of the Yōkai Board Game. AI Communications, inPress, pp.1-32. ⟨10.3233/AIC-230050⟩. ⟨hal-04304902⟩
191 Consultations
60 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More