Логическая модель представления знаний

В рамках логической модели знания представляются в системе логики предикатов первого порядка. Приведенные ниже примеры являются логическими моделями представления фактов (в данном случае - "Петров посещает лекции" и "Петров - студент") с помощью предикатов и носят название атомарной формулы.

ПОСЕЩЕНИЕ (Петров, лекции)

СТУДЕНТ (Петров)

Следующие примеры являются правильно построенными логическими формулами, включающими кванторы существования 3 и общности V. (Зх) [ДЕЛЬФИН(х) v УМНЫЙ(х)]

(Vx) [СЛОН(х) -» ЦВЕТ(х, Серый)]

Эти формулы могут быть интерпретированы так: "некий дельфин наделен умственными способностями" и "все слоны имеют серую окраску".

Логический вывод осуществляется с помощью силлогизма (если из А следует В, а из В следует С, то из А следует С).

Достоинствами логической модели представления знаний являются единственность теоретического обоснования и возможность реализации системы формально точных определений и выводов.

Однако при решении сложных задач попытка представить неформализованные знания эксперта, среди которых преобладают эвристики, в системе строгой логики наталкивается на серьезные препятствия. Это связано с тем, что в отличие от строгой логики, так называемая, "человеческая логика" обладает нечеткой структурой. Поэтому большая часть достижений в области систем с базами знаний до настоящего момента была связана с применением нелогических моделей.