Hintikka's World: Scalable Higher-order Knowledge

Tristan Charrier (1) , Sébastien Gamblin (2) , Alexandre Niveau (2) , François Schwarzentruber (3)

1 UR - Université de Rennes
2 Equipe MAD - Laboratoire GREYC - UMR6072
3 ENS Rennes - École normale supérieure - Rennes

Hintikka's World is a graphical and pedagogical tool that shows how artificial agents can reason about higher-order knowledge. In this demonstration paper, we present the implementation of symbolic models in Hintikka's World. They enable the tool to scale, by helping it to face the state explosion, which makes it possible to provide examples featuring real card games, such as Hanabi.

Domaines: Intelligence artificielle [cs.AI]; Arithmétique des ordinateurs; Complexité [cs.CC]; Informatique et langage [cs.CL]; Algorithme et structure de données [cs.DS]; Théorie et langage formel [cs.FL]

Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber. Hintikka's World: Scalable Higher-order Knowledge. 2019, pp.6494-6496. ⟨hal-03664506⟩