我最近在一门人工智能课程中学习了KRL（知识表示语言），发现描述逻辑是语义网的形式化知识表示语言家族，这很有趣。此外，在描述逻辑中，表示知识比在一阶谓词逻辑中更简单、更易于处理。
有谁知道可用于处理描述逻辑或一阶逻辑的 Java 库？
至少两个OWL推理者Pellet和HermiT是用Java编写的。
咆哮
您只能用 DL 或一般逻辑来表示某种特定类型的知识——主要是定义和术语知识。
但是你不能合理地代表现实世界的状态。逻辑无法应对不确定性，如果你只在模型中引入一个缺陷，它们就会完全失败，这对于更大的模型将不可避免地发生。
当我了解一阶逻辑时，我也发现它们很有趣。但是现实世界不能用逻辑建模，除非在最基本的层面上（自然法则）......
你可以在这里找到一个专门为此构建的库：
LogicJava.wordpress.com
代码在 github 上是开源的，库没有任何缺点 - 只需导入它的 Jar