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

58
(является подграфом), где (G(τ)) 1 ∈ {G(τ)} 1 , а (G(τ)) 2 ∈ {G(τ)} 2 .
Принадлежность одного графа другому определяется с точностью до
обозначений, а точнее – на уровне канонических представлений каждого
орграфа. К примеру, можно положить: {G(τ)} 2 = {(G ∼ (τ)) ++ } 1 .
На практике, зачастую, поступают еще проще, а именно: если граф G(τ)
линейный, то расщепляют только терминальную вершину. Рассмотрим
пример на основе орграфа G(Скорость) ≡ (G(τ)) 1 . Зададим орграф
G(Скорость) ≡ (G(τ)) 2 путем расщепления вершины V2:
v - Скорость:
V5 {Маленькая или Средняя ^a b; Большая ^c}
V4 {Маленькая или Большая ^a c; Средняя ^b}
V3 { Маленькая ^a; Средняя или Большая ^b c}
V2 {Маленькая ^a [0; 3,0]; Средняя ^b (3,0; 7,0]; Большая ^c (7,0; 10,0]}
V1 {[0; 10,0] (s/S1/ t/T1)}.
Граф (G(Скорость)) 2 = {V1 → V2 → V3; V2 → V4; V2 → V5}.
По построению (G(τ)) 1 ∈ (G(τ)) 2 .
Построим орграф G(Скорость) ≡ (G(τ)) 3 , который семантически мощнее
орграфа (G(τ)) 1 , но, вместе с тем, (G(τ)) 1 не является его частью:
v - Скорость:
V2 {Маленькая ^1 2; Средняя ^3; Большая ^4 5}
V1_2 {Очень маленькая ^1 [0; 1,5]; Маленькая ^2 (1,5; 3,0]; Средняя ^3 (3,0;
7,0]; Большая ^4 (7,0; 8,5] ; Очень большая ^5 (8,5; 10,0]}
V1 {[0; 10,0] (s/S1/ t/T1)}.
Граф (G(Скорость)) 3 = {V1 → V1_2 → V2}.
Орграф (G(τ)) 3 отличается от орграфа (G(τ)) 1 только наличием
промежуточной вершины V1_2. Остальные вершины совпадают (по ОВЗ).
Справедливо утверждение.
Предложение 2.8 (о монотонности замыкания). Пусть дано {τ/T} и два
банка тестов {G(τ)} 1 и {G(τ)} 2 , причем {τ/T}∇{G(τ)} 1 , {τ/T}∇{G(τ)} 2 и
{G(τ)} 1 ⊂ {G(τ)} 2 , тогда справедливо соотношение: {τ/T} 1 + ⊆ {τ/T} 2 + .
Суть предложения состоит в том, что развитие структур всех или
отдельных орграфов приводит к росту объема заключений, а,
следовательно, и мощности вычислительного интеллекта в целом.
Обоснованность предложения достаточно очевидна. Единственное, на
что нужно обратить внимание, так это на то, что о характере
конфликтности замыканий речь не идет.
В основе введенных выше понятий «изначальной неконфликтности»
данных, «онтологической согласованности» орграфов и «неконфликтности
(замыкания)» лежит требование невозможности появления двух значений