1

節を結合的な通常の形式に変換したいと思います。プログラムを実行するたびに句が変更されるので、これを行うにはプログラムにツールを組み込む必要があると思います。これを実装する方法について何か提案はありますか?
Orbitallibraryのようなライブラリも見つかりました。私は論理プログラミングに不慣れで、それらを使ったことがないので、それらを通り抜けるのは非常に困難です。私も物事を片付けるための例を見つけようとしましたが、何も思い浮かびませんでした。私は自分のプログラムをJava言語で構築しています。助けてください...

前もって感謝します!

4

1 に答える 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 に答える