В статье описывается алгоритм построения модифици-руемых рассуждений на основе логического формализма. Логический формализм используется в задачах уточнения, опровержения выдвигаемыхгипотезв определении вредных веществ в воздушном бассейне атмосферы при получении дополнительных фактов по ходу диагностических исследований. Ключевые слова: экспертная система, логический вывод, база знаний, система поддержки рассуждений, мониторинг, искусственный интеллект.

Приборы и системы. Управление, контроль, диагностика [Текст] : Научно-технический и производственный журнал // Приборы и системы. Управление, контроль, диагностика - М. : Научтехлитиздат. — М. : Научтехлитиздат, 2010.

• УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях
• УДК // Системи та прилади контролю навколишнього середовища. Системи моніторингу/Системы и приборы контроля качества окружающей среды. Системы мониторинга/Systems and control devices of the environment. Monitoring systems