Реферат: Представление и использование знаний об объектах

В силу свойства универсальности, описать средства построения концептуальной

схемы - это значитописать возможные состояния абстрактной предметной области,

которая предназначена для моделирования структуры и динамики произвольных ПО.

Понятия:

1. Тип объекта - должен иметь уникальное имя и все объекты предметной

областимогут быть отнесены к одному или нескольким типам.

t0 - тип объекта;

t0t - множество объектов типа t в момент времени t;

Эти множества могут пересекаться, если объект имеет несколько типов.

Тип объекта может сообщаться системе при первом упоминании этого объекта.

Тип объекта может определяться системой на основании свойств объекта с

помощьюклассифицирующих процедур.

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

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

некоторойструктурой. Структура на множестве типов задается множеством отношений

и операций, определенными на множестве типов.

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

Для некоторого момента времени 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

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