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

56
Множество {τ/T} = {s/S1 10; v/V1 5; t/T2 Большое} конфликтно, так
как при замыкании появляется, в частности, значение «t/T2 Среднее», что
приводит к конфликту.
Множество {τ/T} = {s/S1 10; v/V1 5; t/T1 4} конфликтно, так как при
замыкании появляется, в частности, значение «s/S1 20», что приводит к
конфликту.
Банком тестов будем называть произвольное онтологически
согласованное множество орграфов {G(τ)}. Банк тестов является частью
онтологии ПрО.
Пусть фиксирован произвольный банк тестов {G(τ)}.
Замыканием произвольного множества значений {τ/T} над банком
тестов {G(τ)} назовем множество {τ/T} + , содержащее все вычисляемые
значения тестов на основе {G(τ)} и исходного множества {τ/T}.
Множество {τ/T} назовем неконфликтным над банком тестов {G(τ)},
если замыкание {τ/T} + над данными орграфами не содержит конфликтов
значений тестов. В силу того, что банк тестов {G(τ)} онтологически
согласован, реальные данные {τ/T} неконфликтны.
Верхним пределом множества {τ/T} над банком тестов {G(τ)} назовем
множество {τ/T}^, являющееся подмножеством замыкания {τ/T} + и
состоящее из результатов тестов максимального уровня общности
(значения принадлежат доменам, образующим терминальные вершины
графов из {G(τ)}).
Нижним пределом множества {τ/T} над банком тестов {G(τ)} назовем
множество {τ/T} ‾ , являющееся минимальным подмножеством {τ/T} + ,
замыкание которого содержит {τ/T}, т.е. {τ/T} ⊂ ({τ/T} ‾ ) + .
Мы сохранили обозначения для замыкания, верхнего и нижнего
пределов, так как они являются, по сути, обобщениями первых.
Проиллюстрируем отличия определений замыкания и верхнего предела
на следующем примере. Пусть банк тестов содержит орграфы двух тестов.
Тест первый:
Индекс левого предсердия ^иЛП:
D3 {Норма ^N;
Увеличение иЛП ^a b}
D2 {Норма ^N [1,40; 2,10];
Умеренное увеличение иЛП ^a (2,10; 2,50];
Значительное увеличение иЛП ^b (2,50; 5,0] }
D1 {[1,40; 5,0]}.
Граф G(иЛП) = {D1 → D2; D2 → D3},
где D1, D2, D3 – домены; иЛП – условное обозначение теста (признак
условного обозначения – знак ‘^’); N, a, b – условные обозначения