將子句轉換爲CNF

Question

我想將我的子句轉換爲合相範式。每次運行我的程序時都會更改子句，所以我想我需要在我的程序中內置一個工具來爲我執行此操作。有沒有任何建議如何實施？我還發現一些圖書館，如：
Orbital library。我是邏輯編程的新手，我從來沒有使用過它們，它很難通過它們。我也試圖找到一個例子來澄清事情，但沒有出現。我正在用java語言編寫我的程序。請幫忙...

在此先感謝！

Answer 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