Основные определения. Классификация.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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