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