8122

Фреймы, как модель представления знаний. Управление выводом во фреймовых системах

Доклад

Информатика, кибернетика и программирование

Фреймы, как модель представления знаний. Управление выводом во фреймовых системах. (Конспект) Фрейм (от англ. Frame - рамка, несущая конструкция) - структура для описания стереотипной ситуации, содержащая множество характеристик ситуации...

Русский

2013-02-04

92 KB

12 чел.

Фреймы, как модель представления знаний. Управление выводом во фреймовых системах.

(Конспект)

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

Знания о мире могут быть представлены в виде фрейм-подобных структур. При анализе ситуации люди, как правило, используют свой опыт и адаптируют эти знания применительно к новой ситуации. Например, человек однажды останавливавшийся в гостинице, имеет представление о всех гостиничных номерах. Они содержат кровать, шкаф, ванную и т. д. Детали каждого номера (цвет портьер, расположение и тип выключателей и т. п.) могут отличаться. С фреймом гостиничного номера связана также информация, принимаемая по умолчанию. Например «Если нет простыней - нужно вызвать горничную», «если нужен лед - необходимо посмотреть в холле», и т. п. Не надо иметь знания каждого нового гостиничного номера. Все элементы обобщенного номера организуются в концептуальную структуру, к которой человек обращается, когда останавливается в гостинице.

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

Общий вид фреймовой структуры:

(Имя_фрейма, (Имя_слота_1, Значение_слота_1),

(Имя_слота_2, Значение_слота_2),

… … …

(Имя_слота_N, Значение_слота_N)

)

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

Помимо кровати во фрейме должен быть представлен:

  •  стул: ожидаемая высота — от 20 до 40 см, число ножек — 4, значение по умолчанию — предназначен для сидения.
  •  гостиничный телефон: это вариант обычного телефона, но расчет за переговоры связывается с оплатой гостиничного номера. По умолчанию существует специальный гостиничный коммутатор, и человек может использовать этот телефон для заказа еды в номер, внешних звонков и получения других услуг.

На рис. 11.1  изображен фрейм, представляющий гостиничный номер:

Рис. 11.1 – Фрейм гостиничного номера.

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

Подробная структура фрейма:

(Имя_фрейма, (Имя_слота_1,

Указатель_наследования,

Указатель_типа_данных,

Значение_слота,

Демон

),

… … …

(Имя_слота_N,

Указатель_наследования,

Указатель_типа_данных,

Значение_слота,

Демон

),

)

Имя_фрейма – идентификатор, уникальный в данной фреймовой системе

Имя_слота_X – уникальный идентификатор слота в пределах данного фрейма

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

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

Системы фреймов поддерживают наследование классов. Значения ячеек и используемые по умолчанию значения класса наследуются через иерархию класс/подкласс и класс/член. Например, гостиничный телефон можно реализовать как подкласс обычного телефона, обладающий следующими особенностями: внешние звонки проходят через коммутатор гостиницы (для расчета), и гостиничные услуги можно заказывать по прямому номеру.

Типовые указатели наследования:

Uunique, «Уникальный», указывает, что каждый фрейм может иметь слоты с различными, уникальными значениями.

Фрейм высшего уровня

Фрейм

Слот

Значение

Человек

Масса

50

Фрейм среднего уровня

Фрейм

Слот

Значение

Ребенок

Масса

25

Фрейм низшего уровня

Фрейм

Слот

Значение

Петя

Масса

32

Как видно в примере, каждый слот имеет свое собственное независимое значение.

Ssame, «такой же», - все слоты должны иметь одинаковые значения

Фрейм верхнего уровня

Фрейм

Слот

Значение

Человек

Масса

50

Фрейм среднего уровня

Фрейм

Слот

Значение

Ребенок

Масса

50

Фрейм низшего уровня

Фрейм

Слот

Значение

Петя

Масса

50

Тут все фреймы в иерархии имеют одинаковое значение.

Rrange – значение слотов фрейма должны находится в диапазоне указанных значений слотов фрейма верхнего уровня

Фрейм верхнего уровня

Фрейм

Слот

Значение

Человек

Масса

30 -- 150

Фрейм среднего уровня

Фрейм

Слот

Значение

Ребенок

Масса

10 -- 40

Фрейм верхнего уровня

Фрейм

Слот

Значение

Петя

Масса

32

Значение слота последующего фрейма находится в диапазоне, определенном «родителем»

O override, «Игнорировать» - при отсутствии указания, значение слота верхнего уровня наследуется слотом нижнего уровня, а в случае явного определения нового значения наследование не используется.

1 - Фрейм высшего уровня

Фрейм

Слот

Значение

Человек

Масса

70

2 - Фрейм среднего уровня

Фрейм

Слот

Значение

Ребенок

Масса

50

3 - Фрейм низшего уровня

Фрейм

Слот

Значение

Петя

Масса

50

Во втором фрейме значение слота было переопределено, а в третьем – осталось по умолчанию.  

Указатель_типа_данных: аналог типизации переменных в программировании.

Возможные типы данных:

  •  FRAME – указатель на другой фрейм
  •  INT
  •  REAL
  •  BOOL
  •  TEXT
  •  LIST
  •  TABLE
  •  EXPR

Значение_слота - тип значения должен совпадать с явно указанным.

Демон – процедура, автоматически запускаемая при выполнении некоторого условия.

Демоны запускаются при обращении к соответствующему слоту и выполняют определенные действия со значением слота.

Типичные демоны

IF-NEEDED

Запускается, если в момент обращения к слоту его значение не установлено

IF-ADDED

запускается при записи в слот некоторого значения

IF-REMOVED

запускается при удалении значения слота

Демоны, по сути, являются разновидностями присоединенных процедур – программ, которые используются для определения значения слота. Например, при каждом изменении определенной ячейки в системе можно запускать процедуру контроля соответствия типов или тест непротиворечивости.

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

Присоединенные процедуры запускаются по сообщениям, переданным из другого фрейма.

Демоны и присоединенные процедуры представляют собой процедурные знания в составе фреймов. Остальные знания в данной системе – декларативные.

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


 

А также другие работы, которые могут Вас заинтересовать

36336. Методы измерения температуры 12.61 KB
  Методы измерения температуры. Существует два метода измерения температуры: контактный метод и бесконтактный. Из всего многообразия методов измерения температуры и измерительных средств в металлургии широкое распространение получили термопреобразователи сопротивления термоэлектрические преобразователи и пирометры излучения. Первые две разновидности датчиков используются для контроля температуры охлаждающей воды подогретых газов и воздуха поступающих к горелочным устройствам отходящих продуктов сгорания футеровки агрегатов жидких металлов...
36337. Назначение и правила выполнения структурной схемы комплекса технических средств автоматизации 54.21 KB
  Назначение и правила выполнения структурной схемы комплекса технических средств автоматизации. В самом общем виде структурная схема системы автоматизации представлена на рисунке 9. Система автоматизации состоит из объекта автоматизации и системы управления этим объектом. Благодаря определенному взаимодействию между объектом автоматизации и системой управления система автоматизации в целом обеспечивает требуемый результат функционирования объекта характеризующийся параметрами х1 х2хn Работа комплексного объекта автоматизации...
36338. Поясните понятие устойчивости линейной САУ. Дайте классификацию методов определения устойчивости и поясните их 41.01 KB
  Дайте классификацию методов определения устойчивости и поясните их. Устойчивость СУ по начм условиям по Ляпунову это свво системы без которого она не работоспособна. устойчива то затухают все составляющее свободных движений вызванных любыми ненулми начми условиями.
36340. Функциональная схема САР развернутым способом с изображением технологического оборудования. 37.53 KB
  Развернутый способ как правило применяют для наиболее сложных объектов автоматизации. Упрощенный способ применяют в основном для несложных объектов автоматизации. Изображение приборов и средств автоматизации при этом способе производят непосредственно на изображении технологического оборудования и трубопроводах. Приборы и средства автоматизации осуществляющие сложные функции контроль регулирование сигнализацию и т.
36341. Приведите классификацию, формулировки критериев устойчивости и поясните их 46.57 KB
  Для более сложных случаев разработаны критерии устойчивости т. Алгебраические позволяют судить об устойчивости по коэффициентам Ар. Критерий Гурвица: Для асимптотической устойчивости необходимо чтобы все миноры данной матрицы были положительными.
36342. SCADA-система iFIX 71.9 KB
  Такие системы обеспечивают получение данных в реальном времени как персоналом предприятия так и прикладным программным обеспечением установленным на предприятии. Представление данных в реальном времени является ключевым для более эффективного использования ресурсов и персонала и для большей степени автоматизации . Для сбора данных системе iFIX не требуется уникальное оборудование. Основой программного обеспечения iFIX является база данных процесса.
36344. Как определяется шаг интегрирования по времени при моделировании САУ с помощью ПК 22.59 KB
  Как определяется шаг интегрирования по времени при моделировании САУ с помощью ПК. Применительно к простому интегратору он может быть представлен таким образом: В конечных приращениях то же самое можно записать в виде: где T постоянная интегрирования звена; Xn Yn соответственно вход и выход звена на nм шаге расчета; t величина интервала времени в течение которого входное воздействие считается постоянным. Суммирование интегрирование выходного параметра производится через интервалы времени t=S в связи с чем этот интервал получил...