2

我最近在一门 AI 课程中学习了 KRL（知识表​​示语言），发现描述逻辑是语义 Web 的正式知识表示语言家族，这很有趣。此外，在描述逻辑中，表示知识比在一阶谓词逻辑中更简单易懂。

有谁知道可用于处理描述逻辑或一阶逻辑的 Java 库？

4

2 回答 2

4

至少两个OWL 推理器 Pellet和HermiT是用 Java 编写的。

咆哮

您只能用 DL 或一般逻辑来表示某种特定类型的知识——主要是定义和术语知识。

但是你不能合理地代表现实世界的状态。逻辑无法应对不确定性，如果你只在模型中引入一个缺陷，它们就会彻底失败，这对于更大的模型来说是不可避免的。

当我了解一阶逻辑时，我还发现它们很有趣。但现实世界不能用逻辑建模，除非在最基本的层面（自然法则）......

于 2012-11-24T10:29:03.197 回答
1

你可以在这里找到一个专门为此而构建的库：

LogicJava.wordpress.com

该代码在 github 上是开源的，并且该库没有任何依赖 - 只需导入其 Jar

于 2013-02-16T16:07:26.410 回答