Труды КНЦ вып.29 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2015(29))

УДК 004.832 А.А. Зуенко Институт информатики и математического моделирования технологических процессов Кольского НЦ РАН ПРЯМОЙ И ОБРАТНЫЙ ВЫВОД В ПРОДУКЦИОННЫХ СИСТЕМАХ С НЕДООПРЕДЕЛЕННЫМИ ПАРАМЕТРАМИ* Аннотация В статье задача вывода в системах продукций с недоопределенными параметрами рассматривается как задача удовлетворения ограничений. Саму систему продукций предлагается записывать в виде специализированной матрицы ограничений, обеспечивающей эффективность обработки и хранения знаний. Разработан метод распространения ограничений, реализующий процедуру прямого вывода. Обратный вывод предлагается сводить к поиску абдуктивных заключений. Ключевые слова: задача удовлетворения ограничений, программирование в ограничениях, система продукций, недоопределенные параметры. А.А. Zuenko FORWARD AND BACKWARD CHAINING INFERENCE IN PRODUCTIONS SYSTEMS WITH SUBDEFINITE PARAMETERS Abstract In the article the problem of inference in productions systems with uncertain parameters is considered as constraint satisfaction problem. Productions systems are proposed to write in the form of specialized constraint matrix that provides the efficiency of processing and storage of knowledge. The constraint propagation method, which implements the procedure of forward inference, is developed. The backward chaining inference is proposed to reduce to search of abductive conclusions. Keywords: constraint satisfaction problem, constraint programming, productions system, subdefinite parameters. Введение Известно, что для описания факторов неопределенности (НЕ-факторы) могут быть использованы различные формы: стохастическая, статистическая, интервальная, нечеткая. Интервальное представление факторов неопре­ деленности отвечает наиболее широкому классу задач, поскольку во многих прикладных задачах часто недостаточно информации для того, чтобы рассматривать факторы как случайные. Ситуация, когда некоторые параметры представлены как интервалы, типична для моделирования многих сложных объектов, например, промышленно-природных систем, где измерения сопряжены с погрешностью, которую требуется учитывать в дальнейших Работа выполнена при финансовой поддержке РФФИ (проекты №№ 13-07-00318-а, 14-07-00205-а, 14-07-00256-а). 75