Q

FOL模型的一致性檢查

2017-03-17 33 views -1 likes

-1

我正在開發一階邏輯模型。我想證明它是一致的。可能嗎？有沒有我可以用來做這件事的免費工具？FOL模型的一致性檢查

或者這是不可能的，因爲哥德爾定理？

此致敬禮。

2017-03-17 Juan

+0

這可能是更好的問題在數學StackExchange組，因爲它不需要做編程。 – MattClarke

A

回答

0

是的，可以檢查模型的一致性。有幾個免費的開源工具，這個功能在那裏，如Protégé

2017-04-13 23:04:43 playful

+0

Protégé僅處理FOL的有限片段。查看我對這個問題的回答以獲取更多詳細信息 –

相關問題