31. Модели знаний.

Модели знаний - продукционная, фреймовая и модель семантических сетей - обладают практически равными возможностями представления знаний, использующих отношения

"есть-нек" и "есть-часть". Дополнительно каждая модель знаний содержит средства усиления этой "базовой" конфигурации:

• продукционная модель позволяет легко расширять и усложнять множество правил вывода;

• фреймовая модель позволяет усилить вычислительные аспекты обработки знаний за счет расширения множества присоединенных процедур;

• модель семантических сетей позволяет расширять список отношений между вершинами и дугами сети, приближая выразительные возможности сети к уровню естественного языка.

32. Продукционная модель знаний.

Продукционная модель, состоит из трех основных компонентов:

• набора правил, представляющего собой в продукционной системе базу знаний;

• рабочей памяти, в которой хранятся исходные факты и результаты выводов, полученных из этих фактов;

• механизма логического вывода, использующего правила в соответствии с содержимым рабочей памяти и формирующего новые факты.

Каждое правило содержит условную и заключительную части. В условной части правила находится одиночный факт либо несколько фактов (условий), соединенных логической

операцией "И". В заключительной части правило находятся факты, которые необходимо дополнительно сформировать в рабочей памяти, если условная часть правила является истинной. Представление знаний в виде набора правил имеет следующие преимущества:

• простота создания и понимания отдельных правил;

• простота механизма логического вывода.

К недостаткам этого способа организации базы знаний относятся неясность взаимных отношений правил и отличие от человеческой структуры знаний.

33.Фреймовая модель.

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

• имя атрибута может в ряде случаев занимать в фрейме позицию значения,

• значением атрибута может служить имя другого фрейма или имя программно реализованной процедуры.

Фреймовые системы обеспечивают ряд преимуществ по сравнению с продукционной моделью представления знаний:

• знания организованы на основе концептуальных объектов;

• допускается комбинация представления декларативных (как устроен объект) и процедурных (как взаимодействует объект) знаний;

• иерархия фреймов вполне соответствует классификации понятий, привычной для восприятия человеком;

• система фреймов легко расширяется и модифицируется.

Трудности применения фреймовой модели знаний в основном связаны с программированием присоединенных процедур.