ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ УДК 519.673: 004.9 doi:10.15217/issn1684-8853.2015.1.29 МЕТОД УПРАВЛЕНИЯ ПРЯМЫМ ЛОГИЧЕСКИМ ВЫВОДОМ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ С ДИСКРЕТНЫМИ ДОМЕНАМИ ПЕРЕМЕННЫХ А. Я. <...> Фридмана, доктор техн. наук, профессор Б. А. Куликб, доктор физ.-мат. наук, ведущий научный сотрудник В. Г. Курбановб, канд. физ.-мат. наук, старший научный сотрудник аИнститут информатики и математического моделирования технологических процессов Кольского научного центра РАН, Апатиты, РФ бИнститут проблем машиноведения РАН, Санкт-Петербург, РФ Введение: в гибких дискретных системах (экспертных, информационно-аналитических и др.) существует проблема остановки процесса вычислений, т. е. выявления шага обработки, после которого необходимо изменить режим работы системы (например, выдать сигнал ошибки или изменить направление логического вывода). <...> В настоящей работе предлагается применить для этого универсальные эвристические индикаторы хода вывода, которые можно конкретизировать для реальных типов данных. <...> Такие индикаторы позволяют оценить успешность продвижения к цели вывода и принять решение о его прекращении или продолжении. <...> Результаты: предложен метод управления ходом прямого логического вывода в гибких дискретных интеллектуальных системах, основанный на эвристических теоретико-множественных индикаторах хода вывода, которые анализируют текущие подмножества возможных, истинных и ложных значений переменных и прекращают цепочку вывода в случае ее неперспективности (невозможности сузить уже полученный диапазон возможных значений целевой переменной) или возникновения конфликта, например получения пустого множества возможных значений. <...> Разработанный метод управления выводом использует интегральные оценки успешности процедур вывода по критериям «здравого смысла», к которым можно отнести коэффициенты уверенности, расчет мер доверия и недоверия (шансов) к гипотезам c учетом использованных и еще не <...>