标签： java artificial-intelligence first-order-logic
我正在尝试实现一个接受FOL语句的函数，并以子句形式返回一个等效的函数。任何关于链接的想法，到目前为止我找不到任何样本。
答案 0 :(得分：0)
尝试从https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011进一步发展。祝你好运！