Аппарате фреймов (фреймы для представления знаний)

Одна из разновидностей аппарата семантических сетей связана с концепцией фрейма. Фрейм можно рассматривать как фрагмент семантической сети, предназначенный для описания объекта (ситу­ации) предметной области со всей совокупностью присущих ему свойств. В области ИИ термин «фрейм» относится к специальному методу представления общих концепций и ситуаций. Марвин Мин­ский, первый предложивший идею фреймов в 1975 г., описывает его следующим образом: фрейм — это структура данных, представляю­щих стереотипную ситуацию в данной предметной области. К. каж­дому фрейму присоединяется несколько видов информации. Часть ее — о том, как использовать сам фрейм. Часть о том, чего можно ожидать далее. Часть о том, что следует делать, если эти ожидания подтвердятся.

Основная идея фреймового подхода к представлению знаний — более жесткое, чем при подходе, основанном на семантической сети, выделение объектов и ситуаций проблемной среды и их свойств, т. е. все, что касается объекта или ситуации и важно с позиций решаемых задач, не «размывается по сети», а представляется во фрейме.

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

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

Термин «фрейм» предложен для обозначения описания какого-либо объекта или явления, обладающего тем свойством, что удаление из этого описания любой его части приводит к потере свойств, характеризующих объект описания.

Фреймом называется структура для описания стереотипной си­туации, состоящая из характеристик этой ситуации (слотов) и значе­ний этих характеристик (заполнителей слотов).

Слот может содержать не только конкретное значение, но и ссылку (или процедуру) на имя процедуры, позволяющей вычислить его значение по заданному алгоритму, а также одну или несколько продукций (эвристик), с помощью которых это значение можно най­ти. Процедуры слота называются связанными процедурами, т.е. та­кими, которые могут активизироваться при выполнении некоторых условий (в частности, при изменении значений слота).

В слот может входить не одно, а несколько значений. Иногда слот включает компонент, называемый фасетом. Фасет может зада­вать диапазон возможных значений слота или же граничные значе­ния заполнителя слота.

Фрейм чаще всего определяют как структуру данных для представ­ления стереотипных ситуаций. При этом способ группирования мно­жества конкретных ситуаций в стереотипную, как правило, не может быть определен строго. Чаще всего стереотипные ситуации (для дан­ной предметной области) выделяет исследователь, опираясь на опыт и данные наблюдений. Неформальные знания исследователя о предмет­ной области можно рассматривать как систему понятий, определяю­щих представление о конкретных ситуациях. Каждое понятие связыва­ется с конкретной ситуацией, а конкретные ситуации согласуются с соответствующей стереотипной. Если понятия представляют собой не­формальные знания о стереотипной ситуации, то фреймы — это форма­лизованные знания. Таким образом, фреймы соответствуют понятиям, отражающим объекты, явлений; характеристики предметной области. Это дает основание рассматривать фрейм как семантический блок или модуль модели представления знаний. Модель представления знаний строится в виде сети фреймов, т.е. системы определенным образом вза­имосвязанных фреймов. Поэтому в моделях представления знаний на базе фреймов выделяют две части: набор фреймов, образующих библи­отеку внутреннего представления знаний, и механизм их преобразова­ния, связывания и т. д.

В наиболее общем виде фреймом называют структуру представ­ления знаний следующего вида:

{n, (v₁, g₁, p₁), (v₂, g₂, р₂), ... (vn, gn, p,,)},

где n- имя фрейма;

v_i - имя слота;

g_i - значение слота;

P_i - процедура.

Процедура является возможным, но не обязательным элементом слота. Имена фреймов используются как мнемонические элементы для конструирования сети фреймов. В качестве значений слотов могут выступать имена других фреймов, что обеспечивает связи меж­ду фреймами, их «вкладываемость» друг в друга.

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

Совокупность фреймов, моделирующая какую-либо предметную область, представляет собой иерархическую сетевую структуру, в которой фреймы соединяются между собой с помощью родовидовых связей. На верхнем уровне иерархии находится фрейм, содержащий наиболее общую информацию, истинную для всех остальных фрей­мов. Фреймы обладают способностью наследования значения харак­теристик своих родителей, структур, находящихся на более высоком уровне иерархии. Значения характеристик фреймов могут передавать­ся по умолчанию подчиненным фреймам, но если последние содер­жат собственные значения данных характеристик, то в качестве ис­тинных принимаются именно они. Это обстоятельство позволяет довольно легко учитывать во фреймовых системах различного рода исключения.

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

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

Принцип «вкладываемости» фреймов позволяет реализовывать на фреймовых сетях (как и на семантических) процессы наследова­ния свойств.