Конвертировать пункты в CNF

Question

Я хочу преобразовать мои предложения в нормальную конъюнктивную форму. Пункты меняются каждый раз, когда я запускаю свою программу, поэтому я думаю, что мне нужно встроить инструмент в мою программу, чтобы сделать это для меня. Есть ли какие-либо предложения, как это реализовать? Я также нашел несколько библиотек, таких как:
Орбитальная библиотека. Я новичок в логическом программировании, и я никогда не использовал их так, довольно трудно пройти через них. Я также пытался найти пример, чтобы прояснить ситуацию, но ничего не вышло. Я строю свою программу на языке Java. Пожалуйста помоги...

Заранее спасибо!

Answer 1

Вы можете использовать часть этого кода? http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java

# Лица, не являющиеся членами, могут анонимно проверять рабочую копию только для чтения по HTTP. svn checkout http://aima-java.googlecode.com/svn/trunk/ aima-java-только для чтения