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

УДК 004.832 DOI: 10.25702/KSC.2307-5252.2018.10.21-35 А.А. Зуенко1, О.В. Фридман 1 1Институт информатики и математического моделирования ФИЦКНЦРАН ПРИМЕНЕНИЕ МЕТОДОВ ПРОГРАММИРОВАНИЯ В ОГРАНИЧЕНИЯХ В ЗАДАЧАХ ИНТЕЛЛЕКТУАЛЬНОГО ПЛАНИРОВАНИЯ* Аннотация В статье рассмотрены особенности существующих подходов к решению задач интеллектуального планирования с применением методов программирования в ограничениях. Проведен анализ современных методов решения задач классического планирования, составления расписаний, интеллектуального планирования. Ключевые слова: программирование в ограничениях, планирование, составление расписаний, интеллектуальное планирование A.A. Zuenko, O.V. Fridman APPLICATION OF CONSTRAINT PROGRAMMING METHODS IN INTELLECTUAL PLANNING PROBLEMS Abstract The article discusses the features of existing approaches to solving problems of intelligent planning using constraint programming techniques. The analysis of modern methods for solving problems of classical planning, scheduling, intelligent planning has been carried out. Keywords: constraint programming, planning, scheduling, intelligent planning Введение Использование подходов и методов искусственного интеллекта (ИИ) позволяет решать многие прикладные задачи, такие как задачи теории расписаний, задачи проектирования экспертных систем и систем поддержки принятия решений, доказательство теорем, задачи тестирования электронных схем, обработки изображений. Теория удовлетворения ограничений предлагает удобный аппарат и простую формальную схему для представления и решения комбинаторных задач искусственного интеллекта. Целью решения задачи удовлетворения ограничений является нахождение значений переменных, удовлетворяющих определенным ограничениям. Процесс рассуждений на ограничениях сводится к поэтапному усечению изначально заданных областей определения переменных. Любой метод удовлетворения ограничений должен проектироваться особым образом и состоять из двух основных частей: части, реализующей поиск, и части, реализующей вывод на ограничениях. Как правило, под выводом на ограничениях понимается процесс сокращения размерности пространства поиска, *Работа выполнена при финансовой поддержке РФФИ (проекты№№ 16-07-00377a, 18-07-00615а). 21