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

53
фундаментальных знаний (модели метазнаний). Подробнее о моделях
знаний речь пойдет в главах 3 и 7.
Как легко убедиться множество {G(Скорость), G(Путь), G(Время)}
онтологически согласовано (в контексте равномерного и прямолинейного
движения). Любые реальные данные, например – {s/S1 10; v/V1 5;
t/T1 2}, не приводят к конфликтам. Согласованными являются также ОВЗ
всех тестов.
Введем в рассмотрение орграф G(Время_2) = {T1 → T2} следующим
образом:
t - Время_2:
T2 {Маленькое ^a [0; 3]; Среднее ^b (3; 7]; Большое ^c (7; 10]}
T1 {[0; 10,0] (s/S1/ v/V1)}.
Множество {G’(Скорость), G(Путь), G(Время_2)} онтологически
несогласованно. Действительно, исходные изначально неконфликтные
данные {v/V1 10; t/T1 10} приводят к нарушению ОВЗ базового домена
теста «Путь».
Любой отдельный орграф является онтологически согласованным по
определению. Доказательство онтологической согласованности множества
орграфов {G(τ |[{a/A}] | [{p/P}] | [Σ τ ])} может оказаться нетривиальной
задачей.
Если {G(τ)} онтологически согласовано, то множество структурнозавершенных
графов {(G ∼ (τ)) + | G(τ) ∈ {G(τ)}}, как правило, также
онтологически согласовано.
Множество стволов орграфов {G ∼ (τ) | G(τ) ∈{G(τ)}} всегда
онтологически согласовано, если согласовано множество {G(τ)}.
Действительно, пусть {τ/T} – произвольное множество начальных данных,
о которых идет речь в определении онтологической согласованности, а
{τ/T}’ – множество всех результирующих данных, которые получены с
помощью всех онтологических соглашений на множестве графов {G(τ)}.
Множество {τ/T}’ не содержит конфликтов по условию, следовательно,
любое его подмножество также не содержит конфликтов. Это и доказывает
онтологическую согласованность {G ∼ (τ) | G(τ) ∈ {G(τ)}}.
В дальнейшем по умолчанию будем считать {G(τ)} онтологически
согласованным. Отметим, что онтологическую согласованность множества
орграфов доменов тестов может нарушить конфликтная база знаний,
принимающая участие в вычислении значений тестов.
Замыканием произвольного множества значений {τ/T} над орграфами
{G(τ) | τ ∈ Test({τ/T})} назовем множество {τ/T} + , содержащее все
вычисляемые значения тестов на основе орграфов и исходного множества
{τ/T}.