56 исчисление предикатов первого порядка. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в
виде формул дает возможность представить декларативные знания, а правила вывода — процедурные знания.
2. Продукционная модель (модель правил
)- это модель, основанная на правилах, которая позволяет представить знания в виде предложений типа
«Если (условие),
то(действие)». Знания представлены совокупностью правил
«если-то».
Различают два противоположных типа продукционной модели: а) с
прямыми выводами – для решения задач диагностического характера; б) с обратными выводами – для решения задач проектирования и прогнозирования.
3. Сетевые модели
: а)
Семантическая сеть– это модель, в
которой структура знаний предметной области формализуется в виде ориентированного графа с помеченными вершинами и дугами. Вершины графа обозначают
понятия различных категорий: объекты, события, свойства, операции, а дуги – отношения между ними. б)
Фреймовая модель – это модель, в которой структура знаний предметной области формализуется в
виде совокупности взаимосвязанных фреймов, описывающих объекты, а свойства этих объектов и факты, относящиеся к ним, описываются в структурных элементах фрейма.
