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

52
подмножество {τ/T} неконфликтно, т.е. в результате всех обобщений не
возникает конфликта ни в одном из доменов орграфа G(τ).
В рамках орграфа G(Возраст) множество {Возраст/ В1 33; Возраст/ В5
молодой} изначально конфликтно, так как при обобщении значения
«Возраст/ В1 33» появляется значение «Возраст/ В5 средних лет», что
приводит к конфликту.
Любой орграф G(τ) может содержать онтологические соглашения. Для
иллюстрации таких соглашений рассмотрим равномерное и прямолинейное
движение. Пусть заданы орграфы трех тестов «Скорости», «Пути» и
«Времени»:
v - Скорость:
V2 {Маленькая ^a [0; 3,0]; Средняя ^b (3,0; 7,0]; Большая ^c (7,0; 10,0]}
V1 {[0; 10,0] (s/S1/ t/T1)}.
Граф G(Скорость) = {V1 → V2}.
s - Путь:
S2 {Маленький ^a [0;15,0]; Средний ^b (15,0; 40,0]; Большой ^c (40,0;50,0]}
S1 {[0; 50,0] (v/V1 * t/T1)}.
Граф G(Путь) = {S1 → S2}.
t - Время:
T2 {Маленькое ^a [0; 1,5]; Среднее ^b (1,5; 3,5]; Большое ^c (3,5; 5,0]}
T1 {[0; 5,0] (s/S1/ v/V1)}.
Граф G(Время) = {T1 → T2}.
Условные обозначения и числовые интервалы в доменах V2, S2, T2 задают
однозначные правила перехода от базовых доменов. Запись «s/S1/ v/V1»
означает операцию деления, а запись «v/V1* t/T1» – операцию умножения.
Все орграфы данного примера содержат онтологические соглашения в
базовом домене, позволяющие вычислить значения любого теста, зная
результаты двух других. Онтологические соглашения в общем случае
могут быть представлены в виде системопаттернов. Пример:
f/µ f : s/S1, t/T1 → v/V1; h/µ h : v/V1, t/T1 → s/S1; g/µ g : s/S1, v/V1 → t/T1,
где µ f ; µ h ; µ g – механизмы реализации системопаттернов.
Произвольную совокупность орграфов {G(τ)} назовем онтологически
согласованной (в контексте конкретной задачи или предметной области),
если при любых реальных изначально неконфликтных исходных данных
{τ/T}∇{G(τ)}, описанных в терминах базовых доменов, в результате
применения всех онтологических соглашений, не выходящих за рамки
{G(τ)}, не возникает конфликта значений тестов (в рамках одного домена
не появляются разные значения теста и не нарушаются ОВЗ). Реальность
данных означает, что они удовлетворяют соотношениям модели