Особенности реализации экспертных систем на базе логической модели знаний

Понятие логической модели знаний.Особенности представления знаний.Особенности машинной реализации языка предикатов первого порядка.К достоинствам логической модели относят.К другим недостаткам логической модели относят.Аппарат логического вывода.Формальная теория наз.В основе лог.F - подмножество выражений теории S, называемых формулами теории.R - конечное множество отношений { r1, r2, ... , rn } между формулами, называемыми правилами вывода.