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

274
концептов приведены в главе 3), то для проведения дифференциальной
диагностики можно применять методы обобщенного формального анализа
понятий. В результате выполнения этапа выделяется та проблема, степень
вероятности которой оказывается наибольшей исходя из выявляемых
условно-специфических признаков. В случае обнаружения специфических
признаков (например, формальных синдромов), суждения о вероятности
той или иной проблемы достигают достоверного уровня. Выделение
проблемы Pr * является финитным наброском в орграфе набросков.
На восьмом этапе формируется развернутое заключение о состоянии
сложной системы. Общая схема развернутого заключения содержится в
отраслевом стандарте описания проблемы Pr * .
Результирующий орграф набросков, формируемых в процессе
диагностического познания, можно представить следующим образом:
{τ/T} ⇒ {Si} ⇒ {Si} * ⇒ {Pr} ⇒ {Pr} * . (6.7)
Орграф набросков вида (6.7) можно рассматривать в качестве
концептуальной схемы, которая универсальна по отношению к ряду
предметных областей.
Построим формальную модель процесса диагностического познания,
которая объединяла бы в себе синдромный и алгоритмический принцип
диагностики, а также механизм обоснования диагноза (частная
диагностика) [134]. Все компоненты модели должны принадлежать
Многоцелевому банку знаний. Сама модель (логическая схема) также
помещается в банк знаний (БкЗ). Введем следующие обозначения:
s – симптом (факт, тест τ/T), SM – все симптомы из БкЗ;
Ps(s) – предикат, устанавливающий факт наличия или отсутствия
симптома s у изучаемой системы (∀s, Ps(s) = f ∨ t);
Sp – все симптомы (тесты τ/T), обнаруженные у системы;
Si – (предметный) синдром, SN – все синдромы из БкЗ;
P(Si, Sp) – предикат, устанавливающий факт наличия или отсутствия
синдрома Si (∀Si, P(Si, Sp) = f ∨ t). Для реализации предиката P
используется онтология (6.2);
{Pr} – дифференциальный комплекс заключений, на выходе алгоритма
– результирующий комплекс заключений;
{АДД(Si) | Si ∈ SN} – древовидные алгоритмы дифференциальной
диагностики из БкЗ (с алгоритмом работает интеллектуальный агент,
например, врач), на выходе алгоритма формируется {Pr};
{ЧД(Pr) | Pr ∈ БкЗ} – предикаты, отражающие результаты работы
частных диагностических алгоритмов из БкЗ (∀Pr, ЧД(Pr) = f ∨ t).
Формальная модель процесса диагностического познания: