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

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

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

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

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

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

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

 

name (O1) INS name (O2)

Если t1 INS t,

t2  INS t,

..........

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

типов t1,t2...tn, причем объект типа t может включать

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

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

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

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

лаборатория

INS INS

INS

 сотрудники помещение оборудование

лаборатории лаборатории лаборатории

рис.9

Свойства этих отношений

1. PART OF и SUP обладают свойством транзитивности:

t1 SUP t2 ; t2 SUP t3

t1 SUP t3

доцент SUP SUP сотрудник

преподаватель

 

рис.10

 доцент SUP преподаватель ; преподаватель SUP сотрудник

доцент SUP сотрудник

Для отношения INS это свойство не выполняется:

2. t1 INS t2 ; t2 INS t3 ; tn-1 INS tn В графе отношения INS нет

неверно, что tn INS t1 циклов

3. t1 SUP t2 ; t2 INS t3

t1 INS t3  

лаборант SUP сотрудник лаборатории ; сотрудник лаборатории INS лаборатория

лаборант INS лаборатория

лаборатория

INS

сотрудник INS


 SUP

лаборант

рис.11

4. name (O) ISA t1 ; t1 SUP t2

name (O) ISA t2

 

 Москва ISA город ; город SUP населенный пункт

Москва ISA населенный пункт

Представление типов объектов

Конечное множество троек вида (t, ni, ti);

где t, ti - типы объектов,

ni - имя атрибута,

(Атрибуты - характеристики объектов или роли, которые они играют в определенных ситуациях) i=1,..., к,

ni¹nj, если i¹j, называется представлением типа t, если в каждый момент времени ni: tобt ® (ti)обt,

(ni - отображ. мн-во объектов типа t на мн-во объектов типа t1)

причем разным объектам О1 и О2 типа t соответствуют разные картежи значений функций ni

{n1t(O1), n2t (O1,..., nkt(O1)}

{n1t(O2), n2t(O2,...,nkt(O2)},

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

В качестве примера рассмотрим объект типа автомобиль:

t ni ti

(автомобиль, марка, марка автомобиля)

(автомобиль, номер, номер автомобиля)

(автомобиль, цвет, цвет автомобиля)

автомобиль(москвич, МКА-21-17, белый)

автомобиль(жигули, МВА-11-25, красный)

Композиционный тип объектов

(ni , ti) COMPONENT OF t

COMPONENT OF означает, что объект типа ti является компонентой объекта типа t.

дата

COMPONENT OF

COMPONENT OF COMPONENT OF

год n1 число n3 месяц n2

год t1  число t3 месяц t2

рис.12

Пример композиционного объекта:

Ситуация "находится" (нах. человек в опред. помещении опред. время)

t находится

n1 участник ситуации

n2 место ситуации

n3 время ситуации

t1  человек

t2 помещение

t3 время

sup sup sup sup дата ситуац. момент сит.

учащиеся

сотрудники аудитория лаборатор. дата момент

ins ins

число

сит.

месяц

сит.

год

сит.

час

ситуации

минута

ситуации

оборудование число месяц год час минута

Шаблонные высказывания

человек . . . находится в помещении . . . во время . . .

сотрудник . . . находится в аудитории . . . в . . . часов . . . минут . . .

. . . число . . . месяц . . . год

В шаблонные высказывания могут быть поставлены имена конкретных объектов.

Минимальное представление

 

Представление {(t, ni, ti)| i=1...k} называют минимальным, если при удалении " из этих троек, оставшееся множество троек перестает быть представлением данного типа объектов.

Пример:

t - аренда

t1 - объект аренды

t2 - арендатор

t3 - арендодатель

t4 - срок аренды

t5 - стоимость аренды

Функциональная зависимость

Предположим, задано представление

{(t, ni, ti)| i=1...k}

X={ti1, ..., tip}

Y={tj1, ..., tjs}

Говорят, что компоненты Y функционально зависят от компонент X, если в любой момент времени t для любых двух объектов О1, О2 Î tобt из равенств: ni1t(O1) = ni1t(O2)

. . .

nipt(O1) = nipt(O2),

 следуют равенства:

nj1t(O1) = nj1t(O2)

. . .

njst(O1) = njst(O2)

Пример: X={t4, t5, t6} Y={t1, t2,t3}

t Лекция
лектор слушатель предмет лекции место день недели время начала

преподаватель

группа предмет аудитория дата

t1 t2 t3 t4 t5 t6

 min представление

 

Операции над типами объектов

Позволяют получать из существующих типов новые типы.

1. Могут быть заданы операции объединения (t1Èt2), пересечения

(t1Çt2), разбиения и др.

Если { ti INS t | i=1,...,k}, то тип È ti состоит из тех и только объектов, которые могут быть элементами объектов типа t.

Если {(ti SUP t)| i=1,...,k}, то равенство t=Èti означает, что список подтипов ti является исчерпывающим для объектов типа t.

 Примера :

объект = человек È помещение È оборудование

человекÇпомещение = человекÇоборудование=

= помещениеÇоборудование = 0


Информация о работе «Представление и использование знаний об объектах»
Раздел: Информатика, программирование
Количество знаков с пробелами: 48226
Количество таблиц: 41
Количество изображений: 6

Похожие работы

Скачать
60151
0
26

... . Комбинированные методы дают дополняющую друг друга информацию, позволяющую произвести правильную идентификации веществ, которые не могут быть опознаны с помощью какого- либо одного метода.[11-12] Глава 3. Примеры применения хроматографии в анализе объектов окружающей среды   Анализ состояния водной среды с помощью метода газовой хроматографии[13-15] Метод газовой хроматографии для анализа ...

Скачать
38168
2
0

... Возможность проведения дифференцированного титрования смесей электролитов, что невозможно при титровании с визуальной индикацией конечной точки титрования.[1–3]   2. Примеры использования кондуктометрии в анализе объектов окружающей среды   Экспресс методы контроля качества сырья, параметров технологических процессов и готовой продукции в сыроделии [4–8] В сыродельной промышленности, ...

Скачать
41306
0
0

... , что только этих страниц статьи уже достаточно для того, чтобы стала ясна потенциальная научная, научно-практическая и научно-организационная польза рассмотренной нами концептуальной основы современных знаний о природе Мирового океана. Каковы же причины, до сих пор препятствующие превращению этой пользы из потенциальной в реальную? Переходя к ответу на этот вопрос, необходимо учесть следующее: ...

Скачать
36318
0
0

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

0 комментариев


Наверх