java - 一次論理を句形式に変換 - Java

Question

FOL文を取り、同等のものを節形式で返す関数を実装しようとしています。これまでのところ何も見つからないため、リンク、サンプルのアイデア。

Answer 1

https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.javaからさらに開発してみてください。 r=1011 . 幸運を！