Представление и использование знаний об объектах — страница 5

  • Просмотров 2814
  • Скачиваний 191
  • Размер файла 38
    Кб

конечные множества объектов предметной области. Для некоторого момента времени t можно выделить множество объектов типа (t1)obt и (t2)obt, имеющих определенные соотношения, например: (t1)obt Ì (t2)obt (t1)obt Ç (t2)obt = 0 Если такие соотношения являются устойчивыми (не меняются во времени), то эти свойства состояния семантической предметной области. Соотношения: 1. Родовидовое отношение SUP t1 sup t2 - t1 является подтипом t2 ((вид) является подтипом

(род)) Это соотношение задается между типами объектов. Оно верно, если " t (t1)obt £ (t2)obt Эти отношения принято задавать графически. Типы объектов представляются вершинами, а отношения между ними - ребрами. Например: sup Помещение sup Учебное Служебное помещение помещение sup sup sup sup аудитория лаборатория помещение помещение кафедры деканата рис.5 Следующая диаграмма описывает набор базовых типов объектов для любой концептуальной

модели (См. рис. 6). Объект sup sup Неопределенный Определенный объект sup объект sup Материальный Нематериальный объект объект PART OF PART OF месяц PART OF сутки PART OF PART OF минута PART OF секунда рис. 7 Модель пространства строится на конкретном множестве, так же, как и времени, но по отношению к части окрестности. (См. рис.8) пространство sup sup страна континент PART OF PART OF город деревня рис.8 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, если