Back to Search
Start Over
A logical modeling of the Yōkai board game.
- Source :
-
AI Communications . 2024, Vol. 37 Issue 3, p265-298. 34p. - Publication Year :
- 2024
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *BOARD games
*GAMEBOARDS
*THEORY of mind
*NP-complete problems
*ARTIFICIAL languages
Subjects
Details
- Language :
- English
- ISSN :
- 09217126
- Volume :
- 37
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- AI Communications
- Publication Type :
- Academic Journal
- Accession number :
- 178180554
- Full Text :
- https://doi.org/10.3233/AIC-230050