Пример использования фреймов. Язык rrl

Примером фреймового языка является RLL(RepresentationLanguage,Language) – авторы Грейнер Р.; Ленат Д.;1980.(Greiner R., Lenat D.)

Этот язык является инструментальной средой для создания специализированных языков представления знаний.

Язык содержит базисные примитивы и средства конструирования более сложных структур из простых (специализирование языков). При этом технология конструирования сведется в основном к редактированию предлагаемых форм (заготовок) и последующей их перетрансляции в лист-представления.

Базисной конструкцией является фрейм-подобный RLL- элемент содержащий ряд слотов. Все структуры (декларативные и процедурные) описываются единообразно парами имя слота/значение.

Например:

M6 – 3 ISA(является): K_нему: Расположен_под:	Люк M6 – 2 (Улица А Ориентир – 1)
M6 – 2 ISA(является): От_него: Расположен – под:	Люк M6 – 3 (Улица А Улица 6)
Люк ISA: Generalization: Examples: Description: Prototype: New_Slots:	Set (физический объект,…) (M6-2,M6-3,…) Так описываются все люки Типовой люк (К_нему, От_него, расположен – под)
К_нему ISA: Description: Inverse: … To_compute	Slot Втекающий поток От_него (Lambda (m) one of (Remove(m(…))))

RLL– элементами описываются не только понятия предметной области, но и сами процедуры, слоты и другие компонентыRLL– среды.

Отношения род/вид (обобщения) задаются многосвязными списками. Используется и аппарат присоединенных процедур, задаваемых в описании слота. (To_compute – процедура типа IF - NEEDED)

Правила обработки также являются RLL– элементами, содержащими слотыIFиTHEN. Пример:

Правило # 322 Тип ISA: Description(описание):	Rule(правило) При работе с токсичными материалами применять специальные меры (сообщить пользователю об опасности)
IFЕсли_потенциально –???	(химическая активность высокая?)
IFЕсли_действительно –???	(химическая активность непосредственно около человека)
THENТо сказать пользователю:	Старайся не вдыхать, химическая активность!
THENТо добавить_к_цели:	(список подцелей, системные указания, работа с которыми не превысит
Приоритет: Стоимость: Среднее время выполнения: Частота использования:	Высокий 900 0.1с рассматривалось 985 раз, использовалось 4 раза
Обобщение (Generalization): Specialization (специализация): …	Правило # 899, # 65) Правило 336. …
Автор: Дата_создания:	Джонсон 17: 30 30. 07. 92

Сетевые модели. Представление знаний Основные определения. Классификация.

Первые сетевые модели появились в 60 – е годы (RX– коды, синтагматические цели) – скороходько, 62. Далее – исследования по реляционным, сетевым и иерархическим моделям, переход к семантическим моделям –ER,SHM. Все это – примеры сетевых моделей представления знаний.

В основе сетевых моделей лежит понятие «сущность» – объект произвольной природы (реальный или абстрактный, в том числе явление, процесс, Событие и т. д.)

Первичный объект называется П–сущностью. В сетевой модели он отображается М–сущностью.

Сущности связываются между собой связями, т. е. находятся в определенных отношениях. Соответственно связываются между собой М–сущности.

П–сущность называется денотатом М–сущности, и М–сущность –десигнатом(именем, меткой, идентификатором).

Десигнат сам по себе не разложим на более простые сущности, считается, что над ним определены допустимые операции (процедуры).

Например: с 20 по 25 Иванов был командирован в Москву за счет заказчика.

Сущность: действие: командировка

Сущность: КТО командирован (субъект командировки) – Иванов, десигнат

Сущность: КУДА командирован (место командировки)

Сущность: КТО финансирует (объект выделяющий средства)

Сущность: дата начала командировки

Сущность: дата конца командировки

1. Михаилу в течение интервал времени [t₁,t₂] принадлежат ЖигулиN25 – 15.

2. Михаил есть агент (собственник) в событии B₁.

3. Михаил является элементом (Э) множества ЧЕЛОВЕК.

4. Жигули N25 – 15. является элементом (Э) множества МАШИНЫ.

5. Событие B₁является элементом множества всех событий ВЛАДЕТЬ, которые являются подмножеством (n) множества СИТУАЦИИ.

Э,n– таксономия понятий, пример непересекающихся подмножеств (подмножество различное).

Фреймовый язык представления знаний frl

Разработан в 1974 Робертсом и Гольдштейном, переработан в МЭИ в 1987 Е. Т. Семеновой в FRL/LISP.

FRL–FrameRepresentationLanguageявляется классическим языком фреймового типа, хорошо сочетающимся с языкомLISPсписковых структур.