Представление и использование знаний об объектах (стр. 3 из 9)

Тип объекта может быть автоматически изменен при изменении состояния объекта.

2. Концептуальная схема предметной области - множество типов, снабженное некоторой структурой. Структура на множестве типов задается множеством отношений и операций, определенными на множестве типов.

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

Для некоторого момента времени t можно выделить множество объектов типа (t₁)_ob^t и (t₂)_ob^t, имеющих определенные соотношения, например:

(t₁)_ob^t Ì (t₂)_ob^t

(t₁)_ob^t Ç (t₂)_ob^t= 0

Если такие соотношения являются устойчивыми (не меняются во времени), то эти свойства состояния семантической предметной области.

Соотношения:

1. Родовидовое отношение SUP

t₁ sup t₂ - t₁ является подтипом t₂ ((вид) является подтипом (род))

Это соотношение задается между типами объектов. Оно верно, если

" t (t₁)_ob^t £ (t₂)_ob^t

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

Например:

sup Помещение sup

Учебное Служебное

помещение помещение

sup

sup sup sup

аудитория лаборатория помещение помещение

кафедры деканата

рис.5

Следующая диаграмма описывает набор базовых типов объектов для любой концептуальной модели (См. рис. 6).

Объект

sup sup

Неопределенный Определенный

объект sup объект

sup

Материальный Нематериальный

объект объект

sup sup sup sup sup

имя время понятие ситуация пространство

sup sup

статическая динамическая

sup sup

пост. сит. сост.

sup sup

рис.6 уст. сост. врем. сост.

Тип объекта является общим для всех предметных областей.

2. Отношение частичного порядка PART OF. Модель времени строится на основании конечного множества типов временных интервалов, на которых определено отношение PART OF.

t_iPART OF t_j

явл. частью

Каждый интервал типа t_i является частью одназначно определенного интервала t_j.

Время

sup sup

год неделя

PART OF PART OF

месяц

PART OF

сутки

PART OF

час

PART OF

минута

PART OF

секунда

рис. 7

Модель пространства строится на конкретном множестве, так же, как и времени, но по отношению к части окрестности.

(См. рис.8)

пространство

sup sup

страна континент

PART OF PART OF

область регион

PART OF PART OF

населенный

пункт

PART OF PART OF

город деревня

рис.8

3. Отношение принадлежности ISA

Иванов А.И. ISA студент

связывает имя объекта с его типом

4. Отношение INSTANCE OF (INS)

Иванов INS АИ-1-93

отношение может быть задано как на

множестве имен, так и типов

name (O₁) INS name (O₂)

Если t₁INS t,

t₂ INS t,

..........

t_n INS t, то объект типа t может состоять из объектов

типов t₁,t₂...t_n, причем объект типа t может включать

несколько объектов данных типов.

Это отношение (INS) применяется для множества дискретных объектов,

PART OF - непрерывных.

студент INS группа студентов