Hintikka's World: Agents with Higher-order Knowledge
Hintikka's World: Agents with Higher-order Knowledge
François Schwarzentruber
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Demos. Pages 5859-5861.
https://doi.org/10.24963/ijcai.2018/862
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.
Keywords:
Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving
Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation