Интеллектуальные информационные системы. Дубровин А.Д. - 80 стр.

булевы, тексты, списки, табличные и т.п.) или указывают имя фрейма, в котором есть одноименный слот, тип
данных которого следует заимствовать. Значение слота должно соответствовать указанному типу данных или
условию наследования.
           Специфичен по своему назначению слот, называемый «демон». Он представляет собой процедуру,
которая должна выполняться автоматически при обращении к данному слоту. Например, при идентификации
какого-либо объекта значение одного из слотов может быть не определено, но есть ссылка на соответствующий
слот-демон. Демон типа IF-NEEDED задает процедуру вычисления отсутствующего значения или отыскания
этого значения в слотах других фреймов. Демон типа IF-ADDED запускается при изменении значения слота, а
демон типа IF-REMOVED предназначен для удаления значения слота.
           В качестве значения слота, определяющего его роль, иногда используется специальная процедура,
называемая присоединяемой. Она запускается в соответствии с предписанием, которое может быть получено
даже из другого фрейма. В связи с этой особенностью присоединенной процедуры ее можно рассматривать как
процедуру управления выводом. Это обстоятельство говорит о возможности использовать фреймы в
продукционных моделях.
           Обычно при фреймовой структуре представления декларативная компонента БЗ состоит из двух
частей: базовые знания о концептуальных объектах и отношениях между ними, помещаемые во фреймах-
прототипах (фреймах-образцах или базовых фреймах), и текущие знания о реальных объектах, помещаемые во
фреймах-экземплярах.
           Демоны, процедуры наследования и присоединенные процедуры в совокупности образуют
процедурную компоненту БЗ, созданной на основе фреймовой модели ПЗ. Таким образом, фреймовая структура
ПЗ представляет декларативные и процедурные знания, не разделяя их. Операции, входящие в состав процедур
наследования, демонов и присоединенных процедур, позволяют реализовать любой из известных механизмов
логического решения.
           При введении в БЗ нового понятия для него создается фрейм-прототип и, если необходимо – шаблон
фрейма-экземпляра. Фрейму-прототипу присваивается имя, называются все его слоты и некоторые из них
заполняются значениями, свойственными понятию-концепту. Если в БЗ необходимо ввести данные о конкретных
экземплярах, то заполняются фреймы- экземпляры, в которых будут указаны только свойственные конкретным
экземплярам значения слотов, общие для понятия-концепта свойства – наследуются. Сложные понятия
представляются иерархической системой фреймов, а простые - одним фреймом.
           Фреймовая структура хорошо соответствует представлению всего многообразия отношений,
возможных между объектами реального мира. Фрейм эффективно моделирует фрагмент сетевой структуры,
состоящей из простых и сложных объектов, представленных узлами (вершинами), и дуг, соединяющих вершины
и отображающих бинарные отношения между объектами. Если в качестве значения слота будет выступать имя
другого фрейма, то образуется сеть фреймов. Эту сеть можно рассматривать как семантическую сеть с блочной
структурой, позволяющей реализовать альтернативные интерпретации предметных областей (представление ПО
в разных прагматических аспектах). Фреймы такой сети, соединяя процедурные и декларативные знания,
обеспечат любое преобразование информации как внутри фрейма, так и в ег связях с другими фреймами.
Наличие бинарных отношений разного характера делают такую сеть достаточно мощной в семантическом
отношении.
           На рис. 3.3.1 приведен пример фрагмента иерархической структуры БЗ, основанной на фреймовом
представлении информации. Фрагмент представлен четырьмя фреймами, три из которых наследует какие-то
свойства других («вышестоящих») фреймов, представляющих модели понятий более высоких уровней иерархии.
Эти три фрейма имеют слоты, значения которых наследуются из других слотов (слоты «Ако»), и слоты,
поименованные символами С1, … , С5. При этом, очевидно, что в разных фреймах эти символы означают разные
признаки понятий, соответствующих тому или иному фрейму. Например, для фрейма «Прозаическое
литературное произведение» признаки С1, С2 и С3 означают возможные разновидности прозаического
литературного произведения («роман», «повесть», «рассказ»), а для фрейма «Война и мир» - соответственно
признаки «автор», «год написания» и «год издания».




                                                                                                     84