Формальные логические модели
Традиционно
в представлении знаний выделяют
формальные логические модели,
основанные на классическом исчислении
предикатов I порядка, когда предметная
область или задача описывается в виде
набора аксиом. Мы же опустим описание
этих моделей по следующим причинам.
Исчисление предикатов I порядка в
промышленных экспертных системах
практически не используется. Эта
логическая модель применима в основном
в исследовательских "игрушечных"
системах, так как предъявляет очень
высокие требования и ограничения к
предметной области.
В промышленных
же экспертных системах используются
различные ее модификации и расширения,
изложение которых выходит за рамки
данного учебного курса лекций.