Курсовая работа: Представление и использование знаний об объектах
t0 - тип объекта;
t0 t - множество объектов типа t в момент времени t;
Эти множества могут пересекаться, если объект имеет несколько типов.
Тип объекта может сообщаться системе при первом упоминании этого объекта.
Тип объекта может определяться системой на основании свойств объекта с помощью классифицирующих процедур.
Тип объекта может быть автоматически изменен при изменении состояния объекта.
2. Концептуальная схема предметной области - множество типов, снабженное некоторой структурой. Структура на множестве типов задается множеством отношений и операций, определенными на множестве типов.
Обозначим j конечные множества объектов предметной области.
Для некоторого момента времени t можно выделить множество объектов типа (t1 )ob t и (t2 )ob t , имеющих определенные соотношения, например:
(t1 )ob t Ì (t2 )ob t
(t1 )ob t Ç (t2 )ob t = 0
Если такие соотношения являются устойчивыми (не меняются во времени), то эти свойства состояния семантической предметной области.
Соотношения:
1. Родовидовое отношение SUP
t1 sup t2 - t1 является подтипом t2 ((вид) является подтипом (род))
Это соотношение задается между типами объектов. Оно верно, если
" t (t1 )ob t £ (t2 )ob t
Эти отношения принято задавать графически. Типы объектов представляются вершинами, а отношения между ними - ребрами.
Например:
sup Помещение sup
Учебное Служебное
помещение помещение
sup 
sup sup sup
аудитория лаборатория помещение помещение
кафедры деканата
рис.5