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

51
вершина связана с В2 и В3). Красным цветом изображена базовая вершина
(красным цветом маркируется непрерывный или конструктивнонепрерывный
тип базовой вершины).
Рис. 2.9 – Структурно-завершенный орграф для теста «Возраст»
Все вершины канонического представления могут содержать
интервалы, отражающие двойственность представления. Пример:
v - Скорость:
V5 {a c [0; 3,0] ∪ (7,0; 10,0]; b (3,0; 7,0]};
V4 {a b [0; 7,0]; c (7,0; 10,0]};
V3 {a [0; 3,0]; b c (3,0; 10,0]};
V2 {a [0; 3,0]; b (3,0; 7,0]; c (7,0; 10,0]};
V1 {[0; 10,0]}.
Орграф G(Скорость) ={V1 → V2; V2 → V3; V2 → V4; V2 → V5}.
2.3 Замыкание, верхний и нижний пределы множества данных
Введем в рассмотрение функцию Test, которая произвольному
множеству значений {τ/T} ставит в соответствие множество используемых
тестов {τ}. Можем записать: Test({τ/T}) = {τ}.
Примеры:
Test({ФИО/C Петров И.И.; Пол/C М; Возраст/N 34; АДс/N 145;
АДд/N 87}) = {ФИО; Пол; Возраст; АДс; АДд};
Test({Возраст/ В1 33; Возраст/ В4 [31; 40]}) = {Возраст}.
Введем операцию {τ/T}∇{G(τ)}, означающую, что если τ ∈ Test({τ/T}),
то G(τ) ∈ {G(τ)}. Другими словами, все результаты тестов
интерпретируемы в рамках имеющейся онтологии.
Произвольное множество {τ/T} назовем изначально неконфликтным,
если в рамках любого орграфа G(τ):τ ∈ Test({τ/T}) соответствующее ему