Интеллектуальные информационные системы. Макаренко С.И. - 73 стр.

    В нашем примере, наверное, основными для фрейма «взятие» можно
считать слоты с именами «субъект» и «объект».
    Фреймы, в которых обозначены все основные слоты (они каким-либо
образом помечаются в описании фрейма), называются фреймами-
экземплярами, или экзофреймами.
    Поскольку в состав фрейма могут входить слоты с именами действий,
фреймы годятся для представления как декларативных, так и процедурных
знаний.
    Чтобы представить семантическую сеть в виде совокупности
фреймов, надо уметь представлять отношения между вершинами сети. Для
этого также используются слоты фреймов. Эти слоты могут иметь имена
вида «Связь Y», где Y — имя того отношения (его тип), которое
устанавливает данный фрейм-вершина с другим фреймом-вершиной.
    В качестве значения слота может выступать новый фрейм, что позволяет
на множестве фреймов осуществлять иерархическую классификацию. Это
очень удобное свойство фреймов, так как человеческие знания, как правило,
упорядочены по общности.

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

    Основу продукционной модели составляют системы продукций.
Каждая продукция в наиболее общем виде записывается как стандартное
выражение следующего вида:

         «Имя продукции»:      Идентификатор правила;
                               Область применимости (имя сферы);
                               Условие применимости ядра;
                               Ядро: если А, то В;
                               Постусловие.
    Основная часть продукции — ее ядро имеет вид:
                             «Если А, то В»,
где А – посылка правила, В – заключение правила, имеющие разные значения.
    Остальные      элементы,        образующие      продукцию,      носят
вспомогательный характер.
    В наиболее простом виде продукция может состоять только из имени
(например, ее порядкового номера в системе продукций) и ядра.
     Наиболее часто используемая форма интерпретации продукции –
логическая, при которой A является множеством элементарных условий,
связанных логическими связками «И», «ИЛИ» и «НЕТ», B – множеством
элементарных заключений. При этом правило считается сработавшим


                                    72