Hintikka's World: Agents with Higher-Order Knowledge

IJCAI 2018 pp. 5859-5861

doi:10.24963/IJCAI.2018/862 /ijcai/2018/schwarzentruber2018ijcai-hintikka/

Abstract

In this demonstration paper, we present a pedagogical tool called Hintikka's world for showing how artificial agents can reason about higher-order knowledge (an agent knows that another agent knows that...). The system provides famous AI examples such as Muddy children and Russian cards. The system also allows to implement user's own examples via the description of a Kripke model or via its generation by the generic tableau method prover MetTeL2.

PDF IJCAI Semantic Scholar

Cite

Text

Schwarzentruber. "Hintikka's World: Agents with Higher-Order Knowledge." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/862

Markdown

[Schwarzentruber. "Hintikka's World: Agents with Higher-Order Knowledge." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/schwarzentruber2018ijcai-hintikka/) doi:10.24963/IJCAI.2018/862

BibTeX

@inproceedings{schwarzentruber2018ijcai-hintikka,
  title     = {{Hintikka's World: Agents with Higher-Order Knowledge}},
  author    = {Schwarzentruber, François},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {5859-5861},
  doi       = {10.24963/IJCAI.2018/862},
  url       = {https://mlanthology.org/ijcai/2018/schwarzentruber2018ijcai-hintikka/}
}