Я пытаюсь реализовать функцию, которая принимает предложение FOL и возвращает эквивалентное в форме предложения. Любая идея для ссылок, образцов, поскольку я пока не могу их найти.
Преобразование логики первого порядка в форму предложения — Java
Ответы (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 . Удачи!
person
Ioan Vizitiu
schedule
09.12.2013
