Skip to Main content Skip to Navigation
Reports

A Logical Modeling of the Yōkai Board Game

Dominique Longin 1 Emiliano Lorini 1 Frédéric Maris 2
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02983253
Contributor : Dominique Longin <>
Submitted on : Wednesday, December 2, 2020 - 6:04:03 PM
Last modification on : Tuesday, January 5, 2021 - 3:40:37 AM

File

Rapport_technique_Yokai.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02983253, version 2

Citation

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-02983253v2⟩

Share

Metrics

Record views

54

Files downloads

11