Hintikka’s World shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them. It contains many classical AI examples. It is a tribute to Jaakko Hintikka. This tool can be used for: learning modal logic, model checking and satisfiability problem; learning models of dynamic epistemic logic; having fun with epistemic puzzles.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Bolander, Thomas; Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, François: DEL-based epistemic planning: decidability and complexity (2020)
- Zanuttini, Bruno; Lang, Jérôme; Saffidine, Abdallah; Schwarzentruber, François: Knowledge-based programs as succinct policies for partially observable domains (2020)