Вывод о фреймах:

Некоторые экспертные системы, основанные и построенные на основе фреймов. Для оценки информации, содержащихся в них используют множество правил. По сути дела, можно сказать что нет различия между правилами, используемых в экспертных системах и экспертных системах, основанных на фреймах. Во втором случае правила часто используют предложения сопоставляемые с образцами. Эти представления содержат переменные, которые используют для нахождения сопоставимых условий между всеми фреймами экземплярами.

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

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

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

В соответствии с этим подходом и стоится весь вывод. Понимание ситуации для системы означает поиск в перечне накопленных структур, таких которая наилучшим образом описывала бы заданную ситуацию.

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

Если ситуация не совпадает, не адекватна с тем, что представляет фрейм, то идем дальше. Таким образом, во фреймовых системах можно выделить три основных процесса:

1-создание экземпляра фрейма (заполнение слотов информацией описывающей отражающей специфику ситуации. Это информация нередко хранится в процедурной форме.)

2-активация фрейма. Если фрейм подходит для описания данной ситуации, то он активируется. Если содержание фрейма отличается значительно, то ищется новый фрейм. Фрейм, который был первоначально рассмотрен, может содержать указатели на фреймы, содержащие подходящую информацию («соседи»).Т.е. какие то данные могут быть использованы для поиска новых кандидатов (фреймов).

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

Семантические сети (сс)

СС- это важная схема представления знаний. Автор Куиллиан, 60-е годы. Этот автор СС определил для представления семантических связей между концепциями слотов.

СС- ориентированный граф, с помеченными вершинами дугами в которых вершины соответствуют конкретным объектам, а дуги отражают имеющихся между ними отношения.

Отношения в СС:

1-лигвистические, которые включают отношения типа: объект, условие, цель, форма, размер, характеризация глаголов (род, время, залог, число);

2-логические (дизъюнкция, конъюнкция)

3-квантовые

4-теонретико-множественные

Формальное представление сс

Если имеется некоторое множество атрибутов А={Ai, i=1,n} и конечное множество отношений R={Rj, j=1,m}, то под интенсионалом отношений INT(Rj)={….{Ai, DOM Ai}…} понимают домен Ai (это множество значений атрибутов Ai соответствующего значения Rj). INT СС описывает предметную область на уровне обобщения.

Под экстенсионалом отношения EXT(Rj)={F1,….Fp}, где Fk- это фактические отношения Rj заданного в виде пар атрибут-значение. EXT CC конкретизирует сеть наполняя ее фактическими данными.

Пример:

Интенсионал INT Агент----------- Действие----Объем------------ Место----------Инструмент

Экстенсионал: Поставщик Отгрузил Продукцию Со склада 2 Автотранспортом

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

Минимальный состав отношений в СС- это элемент класса, атрибутивные связи

Пример: иметь свойство. Память ЭВМ имеет свойство – объем. и значение свойства (пример: иметь цвет,желтый, вкус-кислый).

Недостатком этой модели является сложность вывода в СС.

Процедурой поиска знаний в СС является поиск по образцам.

Образец - представляет собой либо полностью определенный объект значений, либо содержат свободные переменные. Информационная потребность, определяющая цель и состояние запроса, описывается базой знаний, которая называется сетью запроса. БЗ стоится по тем же правилам и отображает те же объекты и отношения, которые представлены в системе знаний.

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

!!! Операция сопоставления обязательно опирается на установление изоморфизма графа и сводится к следующему: для СС задается набор допустимых образований, приводящий эту СС и ее фрагмент в логически эквивалентную ей сеть.

Операция сопоставления выявляет все фрагменты исходной или эквивалентной сети, изоморфной сети запросов. Набору допустимых преобразований СС дополняют сети новыми связями, основанными на транзитивности допустимых отношений и на свойстве наследования.