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