< Vk ,qk , pk >, k = 1,n – слот,
Vk - имя слота;
qk –значение слота;
pk – процедура (является необязательным элементом).
1) Имя фрейма. Это идентификатор, присваиваемый фрейму, фрейм должен иметь имя, единственное в данной фреймовой системе (уникальное имя). Каждый фрейм как показано на этом рисунке, состоит из произвольного числа слотов, причем несколько из них обычно определяются самой системой для выполнения специфических функций, а остальные определяются пользователем. В их число входят слот IS-A, показывающий фрейм-родитель данного фрейма, слот указателей дочерних фреймов, который является списком указателей этих фреймов, слот для ввода имени пользователя, даты определения, даты изменения, текста комментария и другие слоты. Каждый слот, в свою очередь, также представлен определенной структурой данных.
Возможно вы искали - Доклад: Телекоммуникационная «начинка» офисных помещений
2) Имя слота. Это идентификатор, присваиваемый слоту; слот должен иметь уникальное имя во фрейме, к которому он принадлежит. Обычно имя слота не несет никакой смысловой нагрузки и является лишь идентификатором данного слота, но в некоторых случаях оно может иметь специфический смысл. К таким именам помимо IS-A (отношение IS-A), DDESEN-DANTS (указатель прямого дочернего фрейма), FI-NEDBY (пользователь, определяющий фрейм), DEFINEDON (дата определения фрейма), MODIFIEDON (дата модификации фрейма), COMMENT (комментарий) и т. п. относятся имена, используемые для представления структурированных объектов, например HASPART, RELATIONS и другие. Эти слоты называются системными и используются при редактировании базы знаний и управлении выводом.
3) Указатели наследования. Эти указатели касаются только фреймовых систем иерархического типа, основанных на отношениях «абстрактное — конкретное», они показывают, какую информацию об атрибутах слотов во фрейме верхнего уровня наследуют слоты с такими же именами во фрейме нижнего уровня. Типичные указатели наследования Unique (U : уникальный), Same (S : такой же), Range (R : установление границ). Override (О:игнорировать) и т. п. U показывает, что каждый фрейм может иметь слоты с различными значениями: S — что все слоты должны иметь одинаковые значения, R—значения слотов фрейма нижнего уровня должны находиться в пределах, указанных значениями слотов фрейма верхнего уровня, О—при отсутствии указания значение слота фрейма верхнего уровня становится значением слота фрейма нижнего уровня, но в случае определения нового значения значения слотов фреймов нижних уровней указываются в качестве значений слотов. О выполняет одновременно функции указателей 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-системе организуется следующим образом. Сначала запускается одна из присоединенных процедур некоторого фрейма, затем в силу необходимости посредством пересылки сообщений последовательно запускаются присоединенные процедуры других фреймов и таким образом осуществляется вывод. Другими словами, база знаний должна быть определена так, чтобы правильно выполнять вывод. Язык представления знаний, основанных на фреймовой модели, особенно эффективен для структурного описания сложных понятий и решения задач, в которых в соответствии с ситуацией желательно применять различные способы вывода. В то же время на таком языке затрудняется управление завершенностью и постоянством целостного образа. В частности, по этой причине существует большая опасность нарушения присоединенной процедуры. Следует отметить, что фреймовую систему без механизма присоединенных процедур (а следовательно, и механизма пересылки сообщений) часто используют как базу данных системы продукций.
Список литературы
Автоматизированные информационные технологии в экономике. – М.: ЮНИТИ,2003.
Информатика / под ред. Макаровой. – М., 2000.
Очень интересно - Реферат: Развитие представлений об информации
Представление и использование знаний. – М.: Мир, 1989.
Семенов М.И. Автоматизированные информационные технологии в экономике. – М.: Финансы и статистика, 2002.
Серпик Г.А. Современные системы управления документальными средами // Делопроизводство. – 1999. - №1. – С.24.