将子句转换为CNF

时间:2010-02-23 02:05:53

标签: java conjunctive-normal-form

我想将我的子句转换为结合正常形式。每次运行我的程序时都会更改子句,所以我想我需要在程序中内置一个工具来为我执行此操作。有什么建议如何实现这个?我还发现了一些图书馆: Orbital library。我是逻辑编程的新手,我从来没有使用它们,所以很难通过它们。我也试图找到一个例子来清理,但没有任何结果。我正在用java语言构建我的程序。请帮忙......

提前致谢!

1 个答案:

答案 0 :(得分:1)

你能用这些代码吗? http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java

#非成员可以通过HTTP匿名查看只读工作副本。 svn checkout http://aima-java.googlecode.com/svn/trunk/ aima-java-read-only