1. 首頁
  2. 問答
  3. 模態認識邏輯的求解器

模態認識邏輯的求解器

2012-07-25 63 views
3

模態認識邏輯（又稱邏輯知識）是否有任何（類似於SMT的）求解器？模態認識邏輯的求解器

我需要First Order（不只是命題）的情況。

來源

2012-07-25 mart

回答

3

您可以嘗試模型檢查器DEMO（動態認知建模）。

來源

2012-08-03 09:53:25

2

下面是一些相關鏈接：

模態邏輯求解：

個描述邏輯推理：

動態認知模型，在帕爾的答覆中提到。

不幸的是所有的人（據我所知）僅在命題（不是第一級）的情況下工作。

來源

2013-02-26 13:42:02 mart

相關問題

 相關問題