Hintikka's World: Scalable Higher-Order Knowledge

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

IJCAI 2019 pp. 6494-6496

doi:10.24963/IJCAI.2019/934 /ijcai/2019/charrier2019ijcai-hintikka/

Abstract

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.

PDF IJCAI Semantic Scholar

Cite

Text

Charrier et al. "Hintikka's World: Scalable Higher-Order Knowledge." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/934

Markdown

[Charrier et al. "Hintikka's World: Scalable Higher-Order Knowledge." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/charrier2019ijcai-hintikka/) doi:10.24963/IJCAI.2019/934

BibTeX

@inproceedings{charrier2019ijcai-hintikka,
  title     = {{Hintikka's World: Scalable Higher-Order Knowledge}},
  author    = {Charrier, Tristan and Gamblin, Sébastien and Niveau, Alexandre and Schwarzentruber, François},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2019},
  pages     = {6494-6496},
  doi       = {10.24963/IJCAI.2019/934},
  url       = {https://mlanthology.org/ijcai/2019/charrier2019ijcai-hintikka/}
}