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

111
сверху прецедента из таблицы 3.1 − Gs(α 4 ). Индексы сверху значений
тестов показывают домен.
1 2 2
1 1 1
a 1 b 1 c 1
z=1
1 1 2 1 2 1 2 1 1
1 2 2 2 1 2 2 2 1
2 2 2
Рис. 3.2 – Схема орграфа набросков
Gs(Ω)
a 1 b 1 b 2 a 1 b 2 c 1 a 2 b 1 c 1
a 1 b 2 b 2 a 2 b 1 b 2 a 2 b 2 c 1
a 2 b 2 b 2
Рис. 3.3 – Орграф набросков
прецедента Gs(α 4 )
В данном примере орграф набросков любого прецедента, как и Gs(Ω),
содержит 8 набросков: |Gs(α)| = Π {τ} |G(τ)| = 2⋅2⋅2 = 8. Финитный набросок
всего один: |{α*}| = Π {τ} V τ ,= 1⋅1⋅1 = 1. Слоев набросков четыре: 0 -3.
Соответственно K=3.
Два закрашенных наброска на рис. 3.3 являются критическими
набросками, относящимися к пограничному слою M X (α 4 ), где α 4 – 4-й
прецедент в базе прецедентов Ω. Они являются уникальными для
прецедента α 4 = (t1/1a; t2/1b; t3/1/c; z1), но любое их обобщение
приведет к совпадению по тестам с другими прецедентами из Ω.
На рис. 3.4 цветом выделены экстремальные пограничные слои
набросков M Z (Ω) и M Z1 (Ω) (соответствуют символам «В» в таблице 3.3).
Здесь Ω выступает в качестве образа.
1 1 1
Z
1 1 1
Z1
1 1 2 1 2 1 2 1 1
1 2 2 2 1 2 2 2 1
1 1 2 1 2 1 2 1 1
1 2 2 2 1 2 2 2 1
2 2 2
2 2 2
а) M Z (Ω) б) M Z1 (Ω)
Рис. 3.4 – Экстремальные пограничные слои набросков
Таким образом, орграф набросков разрешает диалектическое
противоречие «Единое – многое». Рассмотрение орграфов набросков