7) Присоединенная процедура. В качестве значения слота можно использовать программу процедурного типа, называемую служебной (servant) (в языке Лисп) или методом (в языке Смолток). В данном случае присоединенная процедура запускается по сообщению, переданному из другого фрейма (поскольку состояние выполнения в этом случае такое же, как и в объектно-ориентированном языке, то язык фреймового типа называют еще объектно-ориентированным языком, однако во избежание путаницы с языком типа Смолток, обычно выделяют название «язык фреймового типа»). Когда мы говорим, что в моделях представления знаний фреймами объединяются процедурные и декларативные знания, то считаем демоны и присоединенные процедуры процедурными знаниями. Кроме того, в языке представления знаний фреймами отсутствует специальный механизм управления выводом, поэтому пользователь должен реализовать данный механизм с помощью присоединенной процедуры. Однако данный язык обладает очень высокой универсальностью, что позволяет помимо иерархического и сетевого представления знаний с помощью фреймовой системы эффективно писать любую программу управления выводом с помощью присоединенной процедуры. В то же время это дополнительная нагрузка для пользователя. Следовательно, язык представления знаний фреймами можно назвать языком, ориентированным на специалистов по искусственному интеллекту, а также языком, ориентированным на сложные прикладные проблемы. Известны также примеры систем, допускающих применение правил продукций в качестве типа данных. Это обусловлено, с одной стороны, тем, что большинство систем, ориентированных на решение сложных проблем, содержит в качестве составляющей продукционную систему, а с другой стороны — снижением нагрузки на пользователя. Кроме того, известны примеры систем типа ZERO, допускающие применение функций Пролога в качестве присоединенной процедуры.
На языке FMS фреймовая модель рассматривается как иерархическая структура данных с модульным представлением знаний в виде определенных форматов, называемых фреймами. Каждый фрейм- описывает один концептуальный объект, а конкретные свойства этого объекта и факта, относящиеся к нему, описываются в слотах — структурных элементах данного фрейма; поскольку концептуальному представлению свойственна иерархичность, целостный образ знаний строится в виде одной фреймовой системы, имеющей иерархическую структуру. В слот можно подставлять различные данные, специфичной процедурой вывода в этом фрейме является так называемая присоединенная процедура, используемая и качестве слота. Хотя и самой FMS-системе отсутствует специальный механизм управления выводом, благодаря присоединенной процедуре пользователь системы может реализовать любую модель вывода. Это обстоятельство оборачивается лишней нагрузкой для пользователя, но тем не менее FMS является универсальным языком представления знаний — мощным и очень гибким средством для исследований и разработок.
Механизм управления выводом в FMS-системе организуется следующим образом. Сначала запускается одна из присоединенных процедур некоторого фрейма, затем в силу необходимости посредством пересылки сообщений последовательно запускаются присоединенные процедуры других фреймов и таким образом осуществляется вывод. Другими словами, база знаний должна быть определена так, чтобы правильно выполнять вывод. Язык представления знаний, основанных на фреймовой модели, особенно эффективен для структурного описания сложных понятий и решения задач, в которых в соответствии с ситуацией желательно применять различные способы вывода. В то же время на таком языке затрудняется управление завершенностью и постоянством целостного образа. В частности, по этой причине существует большая опасность нарушения присоединенной процедуры. Следует отметить, что фреймовую систему без механизма присоединенных процедур (а следовательно, и механизма пересылки сообщений) часто используют как базу данных системы продукций.
Список литературы
Автоматизированные информационные технологии в экономике. – М.: ЮНИТИ,2003.
Информатика / под ред. Макаровой. – М., 2000.
Представление и использование знаний. – М.: Мир, 1989.
Семенов М.И. Автоматизированные информационные технологии в экономике. – М.: Финансы и статистика, 2002.
Серпик Г.А. Современные системы управления документальными средами // Делопроизводство. – 1999. - №1. – С.24.