问将子句转换为CNF
EN

Stack Overflow用户

提问于 2010-02-23 10:05:53

回答 1查看 4.3K关注 0票数 1

我想把我的子句转换成合意范式。每次我运行我的程序时，子句都会改变，所以我想我需要在我的程序中内置一个工具来为我做这件事。有没有关于如何实施的建议？？我还找到了一些库，比如：

Orbital library。我是逻辑编程的新手，我从来没有用过它们，所以很难通过它们。我也试着找一个例子来澄清问题，但什么也没有发生。我正在用java语言编写我的程序。请帮帮我。

提前感谢！

发布于 2010-08-24 16:23:50

你能使用其中的一些代码吗？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

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/2315689

复制

相似问题

问将子句转换为CNFEN