Логическая, продукционная модель знаний.

[remedius]

Доброго времени суток!
Если кто имел дела с данными моделями представления знаний, расскажите пожалуйста, чем они отличаются с точки зрения программирования? Написала Логическую модель, так подставила константы: работает на продукцонной модели.
Спасибо

[Finch]

remedius, Можеш ли для непосвященных в великие тайны великих каменщиков,  объяснить, что это такое и с чем это едят?

[remedius]

ну это типо относится к предмету Экспертных Систем.
 Грубо говоря: Логическая модель это когда у тебя на входе набор правил типа F(a,b)=F(a,k)&F(k,b) + список фактов типа F(A,B). И цель типа F(A,C). Нужно определить достижима ли цель. А Продукционная модель это типа cgbcjr выражениq ЕСЛИ A ТО B+ опять же набор фактов : A и цель: B?