Основные компоненты систем управления документооборотом. Фрейм: его структура и понятие
слота фрейма
нижнего уровня, но в случае определения нового значения значения слотов
фреймов нижних уровней указываются в качестве значений слотов. О выполняет
одновременно функции указателей U и S. Несмотря на то что в большинстве
систем допускается несколько вариантов указания наследования, существует
немало и таких, где допускается только один вариант. В данном случае можно
считать, что используется указатель О значения по умолчанию.
4) Указание типа данных. Указывается, что слот имеет численное
значение, либо служит указателем другого фрейма (т.е. показывает имя
фрейма). К типам данных относятся FRAME (указатель), INTEGER (целый), REAL
(действительный), BOOL (булев), LISP. (присоединенная процедура), TEXT
(текст), LIST (список), TABLE (таблица), EXPRESSION (выражение) и другие.
5) Значение слота. Пункт ввода значения слота. Значение слота должно
совпадать с указанным типом данных этого слота, кроме того, должно
выполняться условие наследования.
6) Демон. Здесь дается определение демонов типа IF-NEEDED, IF-ADDED, IF-
REMOVED и т. д. Демоном называется процедура, автоматически запускаемая при
выполнении некоторого условия. Демоны запускаются при обращении к
соответствующему слоту. Например, демон IF-NEEDED запускается, если в
момент обращения к слоту его значение не было установлено, IF-ADDED
запускается при подстановке в слот значения, IF-REMOVED запускается при
стирании значения слота. Кроме того, демон является разновидностью
присоединенной процедуры.
7) Присоединенная процедура. В качестве значения слота можно
использовать программу процедурного типа, называемую служебной (servant) (в
языке Лисп) или методом (в языке Смолток). В данном случае присоединенная
процедура запускается по сообщению, переданному из другого фрейма
(поскольку состояние выполнения в этом случае такое же, как и в объектно-
ориентированном языке, то язык фреймового типа называют еще объектно-
ориентированным языком, однако во избежание путаницы с языком типа Смолток,
обычно выделяют название «язык фреймового типа»). Когда мы говорим, что в
моделях представления знаний фреймами объединяются процедурные и
декларативные знания, то считаем демоны и присоединенные процедуры
процедурными знаниями. Кроме того, в языке представления знаний фреймами
отсутствует специальный механизм управления выводом, поэтому пользователь
должен реализовать данный механизм с помощью присоединенной процедуры.
Однако данный язык обладает очень высокой универсальностью, что позволяет
помимо иерархического и сетевого представления знаний с помощью фреймовой
системы эффективно писать любую программу управления выводом с помощью
присоединенной процедуры. В то же время это дополнительная нагрузка для
пользователя. Следовательно, язык представления знаний фреймами можно
назвать языком, ориентированным на специалистов по искусственному
интеллекту, а также языком, ориентированным на сложные прикладные проблемы.
Известны также примеры систем, допускающих применение правил продукций в
качестве типа данных. Это обусловлено, с одной стороны, тем, что
большинство систем, ориентированных на решение сложных проблем, содержит в
качестве составляющей продукционную систему, а с другой стороны — снижением
нагрузки на пользователя. Кроме того, известны примеры систем типа ZERO,
допускающие применение функций Пролога в качестве присоединенной процедуры.
На языке FMS фреймовая модель рассматривается как иерархическая структура
данных с модульным представлением знаний в виде определенных форматов,
называемых фреймами. Каждый фрейм- описывает один концептуальный объект, а
конкретные свойства этого объекта и факта, относящиеся к нему, описываются
в слотах — структурных элементах данного фрейма; поскольку концептуальному
представлению свойственна иерархичность, целостный образ знаний строится в
виде одной фреймовой системы, имеющей иерархическую структуру. В слот можно
подставлять различные данные, специфичной процедурой вывода в этом фрейме
является так называемая присоединенная процедура, используемая и качестве
слота. Хотя и самой FMS-системе отсутствует специальный механизм управления
выводом, благодаря присоединенной процедуре пользователь системы может
реализовать любую модель вывода. Это обстоятельство оборачивается лишней
нагрузкой для пользователя, но тем не менее FMS является универсальным
языком представления знаний — мощным и очень гибким средством для
исследований и разработок.
Механизм управления выводом в FMS-системе организуется следующим образом.
Сначала запускается одна из присоединенных процедур некоторого фрейма,
затем в силу необходимости посредством пересылки сообщений последовательно
запускаются присоединенные процедуры других фреймов и таким образом
осуществляется вывод. Другими словами, база знаний должна быть определена
так, чтобы правильно выполнять вывод. Язык представления знаний, основанных
на фреймовой модели, особенно эффективен для структурного описания сложных
понятий и решения задач, в которых в соответствии с ситуацией желательно
применять различные способы вывода. В то же время на таком языке
затрудняется управление завершенностью и постоянством целостного образа. В
частности, по этой причине существует большая опасность нарушения
присоединенной процедуры. Следует отметить, что фреймовую систему без
механизма присоединенных процедур (а следовательно, и механизма пересылки
сообщений) часто используют как базу данных системы продукций.
Литература:
1. Автоматизированные информационные технологии в экономике. –
М.: ЮНИТИ,2003.
2. Информатика / под ред. Макаровой. – М., 2000.
3. Представление и использование знаний. – М.: Мир, 1989.
4. Семенов М.И. Автоматизированные информационные технологии в
экономике. – М.: Финансы и статистика, 2002.
5. Серпик Г.А. Современные системы управления документальными
средами // Делопроизводство. – 1999. - №1. – С.24.
| |  скачать работу |
Основные компоненты систем управления документооборотом. Фрейм: его структура и понятие |
