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

Аннотация

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