我想将我的从句转换为合取范式。每次我运行我的程序时，条款都会改变，所以我想我需要在我的程序中内置一个工具来为我做这件事。有什么建议如何实施吗？我还发现了一些图书馆，例如：
Orbital library。我是逻辑编程的新手，我从未使用过它们，所以很难通过它们。我也试图找到一个例子来澄清事情，但没有任何结果。我正在用 java 语言构建我的程序。请帮忙...
提前致谢！
问问题
4314 次
1 回答
1
你可以使用其中的一些代码吗？ http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java
# 非成员可以通过 HTTP 匿名签出只读工作副本。svn结帐http://aima-java.googlecode.com/svn/trunk/aima-java-read-only
于 2010-08-24T08:23:50.070 回答