将一阶逻辑转换为子句形式-Java



我正在尝试实现一个函数,该函数接受FOL语句,并以子句形式返回等效语句。任何关于链接的想法,示例,因为我到目前为止还找不到。

尝试从https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011。祝你好运

相关内容

  • 没有找到相关文章

最新更新