Hintikka's World: Scalable Higher-order Knowledge

Hintikka's World: Scalable Higher-order Knowledge

Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

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.
Keywords:
AI: Multiagent Systems
AI: Knowledge Representation and Reasoning
Applications: Education and training