ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

293
может возникать новый элемент со «средним качеством». В нашем случае
таким элементом будет «Серый» или «½». Новые элементы приводят к
появлению новых доменов. Введем в рассмотрение домен D2 = {Черный
^1; Серый ^½; Белый ^0}. Проблема теперь заключается в том, как
организовать обобщающую связь (D2 → D1). Если следовать формализму
главы 2, то возможны два варианта орграфа:
Тест ^T1 {D1 {Черный ^1 ½; Белый ^0} D2 {Черный ^1; Серый ^½; Белый
^0}}; G 1 (Тест) = {D2 → D1};
Тест ^T2 {D1’ {Черный ^1; Белый ^0 ½} D2 {Черный ^1; Серый ^½; Белый
^0}}; G 2 (Тест) = {D2 → D1’}.
В рамках первого варианта имеем:
D2.{Черный; Серый} → D1.{Черный}; D2.{Белый} → D1.{Белый}.
В рамках второго варианта имеем:
D2.{Белый; Серый} → D1’.{Белый}; D2. {Черный} → D1’.{Черный}.
Таким образом, в обоих вариантах орграфа составы доменов одинаковы,
отличаются только обобщающие связи. Орграфы G 1 (Тест) и G 2 (Тест)
будем называть орграфами-близнецами (совпадают элементы доменов, но
различаются связи). Введем в рассмотрение новый тип орграфа доменов:
Тест ^T3 {D1” {Черный ^1 ½; Белый ^0 ½} D2 {Черный ^1; Серый ^½;
Белый ^0}}; G 3 (Тест) = {D2 → D1”}.
В орграфе G 3 (Тест) имеет место суперпозиция обобщающих связей для
элемента «D2.Серый», что выражается в наличии соответствующей ссылки
у каждого элемента домена D1”. Домен D1” и в целом орграф G 3 (Тест)
будем относить к QS-объектам, находящимся в состоянии суперпозиции.
Домен D2 имеет обычный (локализованный) тип. На рис. 6.14 показаны
все три орграфа (стрелки обозначают схему обобщения).
D1
D1’
D1”
D2
D2
D2
G 1 G 2 G 3
Рис. 6.14 – Характер связей обобщения нового элемента
Акцентируем внимание на том, что один QS-орграф G 3 (Тест) заменяет
смесь орграфов G 1 (Тест) и G 2 (Тест). В процессе QS-декогеренции (QSизмерения)
орграф G 3 (Тест) может перейти в любой из орграфов G 1 (Тест),