Q

FOL模型的一致性检查

2017-03-17 150 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的有限片段。查看我对这个问题的回答以获取更多详细信息 –

相关问题