Информация, которую использует врач при постановке диагноза больному, даже в «идеальном» случае чрезвычайно сложна – она содержит множество разнородных по природе (описательные элементы, заключения, числа) сильно взаимозависимых переменных. Для конкретного больного дело осложняется существенными пробелами, большая часть сведений отсутствует по различным причинам. Врач ставит диагноз и лечит больного по таким сведениям. Формальные модели структур суждений врача, разработанные на основе языка логических симптомов и языка сценариев, позволяют проследить вариан-ты диагностических заключений врача для конкретных случаев и получить простые правила оценки состояния организма и ситуации лечения, полезные врачу в практической работе. В работе описаны оба предложенных формальных языка. Приведены семь примеров практических медицинских задач, в которых использование этих формализмов привело к эффективному медицинскому результату

Ключевые слова: формализация профессионального знания, трехзначная логика, процессы принятия решения, математика в медицинских задачах, моде-ли знания, формальные языки, формальные сценарии.

Математическое моделирование в актуальных проблемах науки и техники

Котов Юрий Борисович,  ИПМ им. М.В. Келдыша РАН