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

• Возможность параллельного исполнения действий. Если параллельность допустима, то каков коэффициент параллелизма, т.е. какое максимальное количество действий может исполняться одновременно. Правда, с коэффициентом параллелизма, отличным от бесконечности, задача ставится редко. Все вышесказанное позволяет утверждать, что применение методов программирования в ограничениях в задачах интеллектуального планирования позволит решать подобные задачи более эффективно за счет повышения эффективности процедур вывода на ограничениях. В рамках технологии программирования в ограничениях имеются предпосылки унификации совместной обработки числовых и нечисловых ограничений. Технология программирования в ограничениях позволяет организовать процедуры вывода с недоопределенными параметрами, что дает возможность моделировать и аспекты неопределенности, и недетерминированность действий исполнителя, ограниченную конечным перечнем возможных альтернатив. Далее в настоящей работе рассматриваются применение методов программирования в ограничениях в задачах классического планирования, составления расписаний, попытки их развития и сопоставление с методами искусственного интеллекта. Методы классического планирования и попытки их развития Значительная часть работ по интеллектуальному планированию, выполненных за последние 30 лет, слабо укладывается в парадигму, которую можно назвать классическим планированием. Тем не менее, чтобы понять современные тенденции в интеллектуальном планировании, остановимся на особенностях классического планирования более подробно. В классическом планировании результатом процесса поиска является достижение заданного набора целей, обычно выражаемых в виде набора положительных и отрицательных литералов исчисления высказываний. Начальное состояние мира, называемое начальными условиями, также выражается как набор литералов. Возможные действия характеризуются с помощью так называемых STRIPS-операторов (STRIPS (Stanford Research Institute Problem Solver) - это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном в 1971. В последующем слово STRIPS стало также использоваться для обозначения формального языка, описывающего входные данные этого планировщика). STRIPS-оператор представляет собой параметризованный шаблон, содержащий набор предварительных условий, которые должны быть истинными прежде, чем действие может быть выполнено, а также содержит набор изменений или эффектов, которые произойдут в мире в результате выполнения действия. В языке представления классических планировщиков STRIPS [2] применяются описания действий в терминах их предусловий и результатов, а также описания начальных и целевых состояний в виде конъюнкций положительных литералов. В языке ADL (ADL - Action Description Language - язык описания действий) [3] некоторые ограничения языка STRIPS ослаблены и допускается использование дизъюнкции, отрицания и кванторов. 24