4

模态认知逻辑（又名知识逻辑）是否有任何（类似 SMT 的）求解器？

我需要一阶（不仅仅是命题）案例。

4

2 回答 2

3

您可以尝试模型检查器 DEMO（动态认知模型）。

于 2012-08-03T09:53:25.050 回答
2

以下是一些相关链接：

模态逻辑求解器：

描述逻辑推理器：

动态认知建模，在 Pal 的回答中提到。

不幸的是，所有这些（AFAIK）都只能在命题（不是一阶）情况下工作。

于 2013-02-26T13:42:02.390 回答