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

228
‘B’, ‘C’, где A – докритическое описание, B – критическое описание, C –
закритическое описание. На рис. 5.1 приведена иллюстрация того, что
критические описания являются границей между порядком и хаосом
(граница изображена красной – темной – линией).
В
С
Рис. 5.1 – Соотношение описаний разных типов
Приведем общий алгоритм определения критичности произвольного
описания {τ/T}. Для начала построим функцию PostCritical(Ω), которая для
любого описания базы прецедентов определяет, является ли оно
закритичным или нет.
Алгоритм 5.11
Вход: Описание базы прецедентов Ω({τ/T}, Z).
Выход: true, если описание закритическое, иначе – false.
PostCritical(Ω)
begin
for α({τ/T} α , z α ) ∈ Ω do
for χ({τ/T} χ , z χ ) ∈ Ω\α do
if ({τ/T} α = {τ/T} χ ) & (z α ≠ z χ ) then return (true);
return (false)
end.
Функцию PostCritical(Ω) используем в алгоритме определения
критичности произвольного описания {τ/T}.
Для любой вершины T орграфа доменов G(τ) определим множество
вершин, которые являются прямыми потомками T:
{T’} τ/T = {T’| (T → T’) ∈ G(τ)}.
Ясно, что для любой терминальной вершины T * имеет место {T’} τ/T* = ∅.
Искомый алгоритм определения критичности произвольного описания
базы прецедентов приведен ниже.
Алгоритм 5.12
Вход: Описание базы прецедентов Ω({τ/T}, Z).
А