Экспертные системы

гическая модель;
Модель, основанная на использовании правил (продукционная модель);
Модель, основанная на использовании фреймов;
Модель семантической сети.
Однако во всех разработанных в прошлом системах с базами знаний помимо этих моделей использовались специальные для конкретного случая средства, поэтому представление знаний получалось сложным. Тем не менее, классификация моделей оставалась неизменной. Язык, используемый для разработки систем, спроектированных на основе этих моделей, называется языком представления знаний 4.

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

В основе логических моделей представления знаний лежит понятие формальной системы в виде четверки:

M ,

где T - множество базовых символов теории M (например, буквы алфавита);
P - множество синтаксических правил, посредством которых из базовых символов строятся формулы;
A - множество построенных формул, состоящих из аксиом;
F - правила вывода, определяющие множество отношений между правильно построенными формулами.
В логическом подходе знания представляются посредством формул, которые строятся из предикатов, логических связок, кванторов и т. п. одни логические подходы ограничиваются классической логикой первого порядка, тогда как в других используется модальная логика, нечеткая логика, логика высших порядков и т. п.
Среди многих достоинств логического подхода необходимо отметить: стирание противопоставления между выводом и вычислением, что позволяет эффективно использовать метазнания; наличие четкой семантики и правил ввода.
Серьезной проблемой в логическом подходе является отсутствие структуры, так как данные представляются в виде совокупности линейных формул. К недостаткам логических моделей можно отнести