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

88
представляет трудностей переписать свойства в XML формате, но тогда
описание потеряет свою наглядность для пользователя. На процедурном
уровне орграфы доменов также могут быть представлены с помощью
лексических деревьев (см. главу 4).
Комментарий 2: Пр_N – некоторые правила из базы умений БЗ ИС.
Структура правил одинакова: Вход; Выход; Описание назначения; Тело
правила. Правила представляют собой механизмы µ реализации
системопаттернов вида f/µ: {J a a/A} → {J b b/B}. Подобные правила могут
входить и в соглашения орграфа доменов G(τ).
Очень важно, чтобы механизмы реализации включали все доступные
способы определения значений тестов. Пусть, например, в механизме
присутствует расчетная схема Температура тела/Т1 → Лихорадка. Это
означает следующее: если в системе каким-либо образом определен
результат теста Температура тела/Т1, то с помощью автоматизмов среды
будут определены результаты всех связанных тестов, в частности,
Лихорадка /{Есть; Нет}, Температура тела /Т2,Т3 и т.д. Использование
свойства транзитивности при построении замыкания (каскада правил
преобразования) позволяет избавиться от необходимости перечислять для
каждого домена все возможные механизмы.
Пример теста с доменом «Текст» (произвольный текстовый блок):
Тест: Заболевание, протекающее с рвотой в сочетании с сухим и (или)
обложенным языком/Текст
Механизмы реализации:
1. АДД «Рвота в сочетании с сухим и (или) обложенным языком»
2. Лексическое дерево {Рвота_в_сочет_-с_сух_яз}.
3. {Головная боль/{Есть; Нет}; Начало и течение болезни /{Острое;
Хроническое}; Понос /{Есть; Нет}; Напряжение брюшной стенки
/{Есть; Нет}; Боль при пальпации живота /{В эпигастрии;
диффузная}} → Тест (Пр_1205) .
4. Консультация гастроэнтеролога.
Свойство «Рекомендации по {τ}» позволяет реализовать сколь угодно
сложные алгоритмы управления (диагностические, прогностические,
лечебные). Пример описания данного свойства для произвольного теста τ
со значениями {τ 1 ,…, τ n }:
Если τ 1 [∧ {τ’} 1 ], то рекомендуется выполнить {τ} 1 ;
…
Если τ n [∧ {τ’} n ], то рекомендуется выполнить {τ} n .
В приведенной схеме {τ’} означают результаты либо ранее проведенных
тестов, либо тестов, входящих в одну батарею (агрегат) с данным тестом.