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

230
набросок.
Выражение (5.53) полностью совпадает с выражением (5.51). Это
говорит о совпадении финальных описаний базы прецедентов с финитными
набросками орграфа набросков.
Состав экстремального пограничного слоя набросков в раках орграфа
Gs(Ω 0 ) определяет следующее утверждение.
Предложение 5.32. В орграфе набросков Gs(Ω 0 ) по внутреннему
критерию «конфликтность» экстремальный пограничный слой набросков
состоит из критических описаний.
На рис. 5.2 приведен орграф Gs(Ω 0 ) для примера «Диагностика». В
качестве Ω 0 выступает базовое описание «T1 – B1». Серым цветом
выделены критические описания.
T1 – B1
T2 – B1
T1 – B2
T3 – B1
T2 – B2
T1 – B3
T3 – B2
T2 – B3
T3 – B3
Рис. 5.2 – Орграф Gs(Ω 0 ) для примера «»Диагностика»
Общее количество критических описаний непросто рассчитать, но в
ряде случаев можно сделать определенные оценки. Так, например, если
финитный набросок не содержит конфликтов, то такой набросок
принадлежит к числу критических описаний (по определению), а значит и к
экстремальному пограничному слою набросков.
Следствие 5.5. Если все финальные описания не содержат конфликтов,
то все они принадлежат экстремальному пограничному слою набросков, а
мощность экстремального пограничного слоя набросков определяется
выражением (5.53).
Пусть {τ/T} * – критическое описание. Из определения критического
описания следует, что не существует моделей знаний для описаний базы
прецедентов Ω({τ/T}’, Z), где {τ/T}’ ≥ {τ/T} * , т.е. для закритических
описаний. В рамках любого закритического описания существуют
артефакты. Для всех уникальных наборов заключений {z/Z} β , где β –