Try developing further from https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011 . Good luck!
Convert First Order Logic to Clause Form - Java
-
30-08-2022 - |
Domanda
I am trying to implement a function that takes FOL sentence and returns an equivalent one in clause form. Any idea for links,samples as I can't find any so far.
Nessuna soluzione corretta
Altri suggerimenti
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow