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

105
{S = ({τ/T} → z), υ = υ(S)} - Формальные синдромы;
{R = ({τ/T} → z/Z), p(R) ≥ p*} - Предвестники;
{Gs(P)}
- Орграфы набросков}.
С помощью системопаттернов {f/µ: {J a a/A} → {J b b/B}} и Банка тестов
описываются такие макроструктуры, как «Банк математических моделей»,
«Многоцелевой банк знаний», «Среда радикалов», «Функциональная
система», «Модель ПрО» и другие (см. главу 7).
В работе [134] приведена информационная структура концепта
«Развернутое заключение», который может быть применим к широкому
классу ситуаций действительности, в частности, клинических ситуаций.
Набор свойств данного концепта выглядит следующим образом:
СВОЙСТВА(d/D: РАЗВЕРНУТОЕ ЗАКЛЮЧЕНИЕ) = {
{τ: СВОЙСТВА(τ)}
- Банк тестов;
F({a/A})
- Формула заключения;
d/D ⇔ {Р({τ/T}) = Истина} - Онтологические соглашения;
Ω({τ/T},Z)={α({τ/T}, z/Z)} - База прецедентов;
{S = ({τ/T} → z), υ = υ(S)} - Формальные синдромы;
{R = ({τ/T} → z/Z), p(R) ≥ p*} - Предвестники;
{Gs(d/D)}
- Орграфы набросков;
{{τ/T} k → J d d/D}
- Этиология;
{f/µ: {τ/T} n → {J τ τ/T} m } - Патогенез («Физика явлений»);
{d/D → J k {τ/T} k ; d/D → {J τ τ/T}} - Результаты тестов;
{τ/T}→{d/D | d/D → ◊{a/A}&{a/A}∇{τ/T}}- Дифференциальный диагноз;
{d/D ∧ {τ/T} p → {J d' d’/D’}}
- Обострения, осложнения;
{d/D ∧ {τ/T} p → {r/R}}
- Схемы управления},
где {a/A}∇{τ/T} означает совместимость тестов {a/A} и {τ/T}. Примеры
формул заключения были рассмотрены выше.
Таким образом, свойства любой информационной структуры полностью
определяются элементарными тестами и системопаттернами.
3.4 Наброски ситуаций, образов
Обозначим через α s произвольный набросок ситуации действительности
или образа α. Причем α ∈ {α s }. Объем информации, содержащийся в
наброске α s , обозначим |α s |. Выполняется соотношение: ∀α s ≠ α, |α s | < |α|.
Другими словами, наброски отличаются друг от друга степенью
детализации описания образа/ситуации α.
Пусть {F} – фиксированное множество сжимающих отображений
(системопаттернов) таких, что любой набросок α s получается из α в