辛提卡的世界

Hintikka的世界展示了智能人工智能体对高阶知识的推理(a知道b知道…)。它可以通过点击这些代理来探索他们的心理状态。它包含了许多经典的人工智能例子。这是对Jaakko Hintikka的敬意。该工具可用于:学习模态逻辑、模型检验和可满足性问题;动态认知逻辑学习模型;玩认知难题的乐趣。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换