Стратегии планирования решений часть 4

моделировании плана образуется новый более детальный план.
Личный пiдплан для каждого узла будет правильным, но нет гарантии, что будет правильным план вцiлому, через возможные взаимодействия между новыми подробными шагами. Например, расширение, входящих в план на рис. 6, в при уточненнi плана на рис. 6, б, делают общий план некорректным, так как они предусматривают покраска лестницы-старому покраска потолка.
Для того, чтобы зобезпечиты корректность нового более подробного плана, стратегия NOAH использует множество PF-операторов корректности. Эти операторы осуществляют глобальный пересмотр плана i накладывают дополнительные ограничения для ликвидации противоречий.
алгоритмы осуществляет стратегию NOAH, состоит из следующих шагов:
1. Моделирование более детального плана в семантические сети, что приводит к новому более подробного плана.
2. Применение PF-операторов корректности новому плану, осуществляющих необходимое переупорядкування i исключения избыточных ST-операторов.
3. Переход к шагу 1.
Процесс планирования продолжается до тех пор, пока уже не находятся никакие новые детали.
Среди PF-операторов корректности выделяются такие операторы: устранение конфликтов; использование существующих объектов; устранение избыточных предшественников.
https://rhinoplastika.ru/

Оператор устранения конфликтов использует стратегический прием «ориентация на незыблемые пiдцiлi». Процедура, реализует оператор рассматривает списки дополнений i исключений каждого узла в конъюктивный ветвях плана. Если действие в одном конъюктивный пiдпланi изымает выражение, который является предшественником для пiдцiлi во втором конъюктивный пiдпланi, возникает конфликт. Например, план покраски на рис. 6, в содержит конфликт, так как действие «ПОКРАСИТЬ лестнице» изымает выражение «покрасить потолок», который находится в списке дополнений узла «ПРИНЯТЬ лестнице», предшественника узла «покрасить потолок». Конфликт обозначается знаком «+» над предыдущей действием или знаком «-» над шагом, который его нарушает. Конфликт может быть разрешен путем введения ограничения, чтобы пiдцiль, которая относится под сомнение («покрасить потолок»), достигалась-старому выполнения нарушая шага («ПОКРАСИТЬ лестница») (рис. 6, г).
Подобный конфликт встречается, если действие в одной коньюктивнiй ветке изымает выражение, который является предшественником для наступной пiдцiлi. В этом случае предыдущая действие должно быть выполнено вновь после вилучающiи действия.
Процедура, реализует оператор использования существующих объектов, выясняет, когда неконкретный объект может быть отождествлен с некоторым уже упоминавшимся в плане конкретным объектом, i осуществляет это отождествление. Этот оператор позволяет удалить узлы типа JOINT из разных частей плана, что приводит к переупорядкування или частичной лiнеаризацiи.
Процедура, реализует оператор изъятия избыточных ST-операторов, распознает избыточность плана (например, такую, как действие «ВОЗЬМИ красок» (см. рис. 6, г)) i изымает избыточных предшественников, чтобы сохранить память i предотвратить дополнительного планирования на более детальных уровнях.
Развитие стратегии NOAH применимо к системе из двух кооперирующих планувальникiв (процессоров) был описан в [8]. В соответствии с этой стратегией конъюктивный ЦЕЛЬ распределяется между процессорами i, каждый из которых реализует стратегию NOAH. Пiдпланы, генерирующий процессор, вiдображуються в семантические сетке процессора i наоборот, в виде узлов типа PHANTOM с соответствующими списками изъятий i дополнений за счет ST-операторов типа SEND i RECEIVE. Достоинством этой стратегии является распараллеливание процесса планирования, недостатком — необходимость частых информационных обмiнов, что может привести к значительной потере эффективности при решении задач с сильносвязанных пiдцiлямы.
Дальнейшее развитие стратегии NOAH применимо к планированию в условиях ограничения времени был выполнен в [7] с реализацией в системе DEVICER. Для изображения временных ограничений по продолжительности и старта для целевых условий, событий и действий используются конструкции, аналогичные к конструкций языка SITPLAN-2.Кроме действий и событий (срабатывающие при определенных условиях) параллельные планы в DEVICER могут содержать вывода и предложены события (которые являются полностью вне контроля планировщика).
Стратегия планирования в DEVICER содержит такие PF-операторы:
"расширение узла;
" связывания узлов;
"корректности.
Связывание узлов заключается в наведеннi связи от целевого узла T к узлу G, если некоторое выражение узла G достигаются существующим узлом E в плане, включая стартовийвузол. Конфликты решаются через упорядочения узлов, которые не были упорядкованi-старому.
Кроме тех, что уже описаны, в состав операторов корректности входят операторы сужения стартовых интервалов для деятельности (действий, событий, выводов, предложенных событий), а также операторы определения продолжительности деятельности через значения переменных, входящих в их описаний. Для каждого PF-оператора может быть несколько точек выбора. В этом случае одна альтернативная вибираетьсяе а другие сохраняются. Если планировщик заходит в глуий угол, он возвращается к последней точке выбора i проверяет другую альтернативу.
При планировании без учета ограничений времени каждая целевая условие входит в определенный целевой узел, который является предыдущим к j-го узла. Это не годится для достижения группы целевых условий, связанных кучу общим стартовым интервалом i деятельностью. В DEVICER существуют отдельные «карманные» узлы для каждой связи целевых условий. PACK-узел содержит информацию о стартовом интервал (START) i деятельность, связанную с целевыми условиями.
На рис. 7 изображена сеть для таких целевых условий:
GOAL: A; «START BEFORE 15300» DUR 1000 (B; C) 'DUR INFINITY D.
Процедуры, которые реализуют оператор устранения конфликтов, должны беспокоиться, чтобы условия каждого карманного узла хранились в течении определенного времени. Например, любая деятельность, которая противоречит А (рис. 7), должна быть благоустроена или после узла 3, или перед узлом 4.
Каждая деятельность в семантические сети плана также стартовый интервал. По умолчанию этот интервал является (- начало планирования).
Стартовый интервал целевого узла определяется с описания цели. В процессе планирования нижняя (EST) i верхняя (LST) пределы стартового интервала деятельности могут быть подвергнуты ревизии процедурой, реализует PF-операторы сужение стартового интервала. Стартовый интервал никогда не расширяется, за исключением тех случаев, когда делается отступление назад. Стартовые интервалы двух последовательных узлов в сети плана являются зависимыми.
Допустим, — последовательные узлы, а — продолжительность.
Тогда необходимо выполнить следующие неравенства:
Поскольку интервал деятельности не может быть расширен, если первая неравенство не выполняется, мы можем только увеличивать. Если вторая неравенство не выполняется, мы можем только уменьшить. Во всех случаях необходимо сохранить неравенство
Указанные неравенства составляют основу процедуры, реализует оператор сужения стартовых интервалов.
Каждый раз, когда узлы связываются, расширяются или упорядочиваются для решения конфликтов, стартовые интервалы этих узлов должны быть проверены и сжатi так, чтобы сохранить условия неравенств.
Когда целевой узел расширяется в деятельность, которая имеет личный стартовый интервал, эти два интервалы должны быть согласованы, если это возможно, а если нет — расширение должно быть проiгноровано. Границы целевого интервала всегда будут числовые. Если обе границы деятельности также будут числовые, мы просто берем максимум двух нижних i максимум двух верхних границ. Если границы деятельности содержат неконкретизованi переменные, то устанавливается ограничение на значения переменных, которые далее проверяются после конкретизации.

Комментирование и размещение ссылок запрещено.

Комментарии закрыты.