Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 169
Текст из файла (страница 169)
12.6. 12.7. ицхаезоп: с(? (17одсказка. Рассмотрите условные результаты и дизьюнктивные результаты.) б) Почему пеэоихсе: гл задано как отдельное поле в действии, а не оформлено как результат? ох Потребляемым ресурсом называется ресурс, который (частично) расходуется при выполнении действия. Например, для крепления двигателей к автомобилям требуются винты.
Винты после их использования становятся недоступными для создания других креплений. а) Объясните, как модифицировать представление, приведенное в листинге 12.2, чтобы в нем первоначально было 100 винтов, для двигателя п„требовалось 40 винтов, а для двигателя д, — 50. В литералах результата для ресурсов могут использоваться функциональные символы ~ и —. б) Объясните, как должно быть модифицировано определение конфликта между причинными связями и действиями в планировании с частичным упорядочением для учета потребляемых ресурсов. в) Некоторые действия (например, пополнение на заводе запасов винтов или повторная заправка топливом автомобиля) способны увеличивать доступность ресурсов.
Если ни одно действие не увеличивает достуггность ресурса, он становится монотонно невозрастающим. Объясните, как можно использовать это свойство для отсечения ветвей в пространстве поиска. Приведите декомпозиции для этапов ггухепц42сгех и Сегреззвуе, ПокаЗаН- ных на рис. 12.4, и объясните, как декомпонованные субпланы соединяются в общий план. Приведите пример двух абстрактных субпланов из проблемной области строительства дома, которые не могут быть объединены в согласованный план без совместно выполняемых этапов.
(Подсказка. Участками, в которых обычно должны взаимодействовать два субплана, являются те места, в которых совместно устанавливаются две физические детали дома.) Некоторые специалисты утверждают, что одним из преимуществ планирования НТМ является то, что оно позволяет решать задачи типа "совершить прямую и обратную поездку из Лос-Анджелеса в Нью-Йорк", которые трудно выразить в системах обозначения, отличных от НТ1Ч, поскольку начальное и целевое состояния должны быть одинаковыми (дг(ъА1). Можете ли вы предложить способ отображения и решения таких задач без сетей НТХ? Покажите, как может быть перезаписано стандартное описание действия 5гпрз в виде декомпозиции НТХ с использованием обозначения дсйуег е (р) для указания на деятельность по достижении условия р.
Некоторые операции в стандартных языках программирования можно промоделировать как действия, которые меняют состояние мира. Например, в операции присваивания копируется содержимое участка памяти, а в операции печати изменяется состояние выходного потока. Программа, состоящая из этих операций, может также рассматриваться как план, цель которого задана в спецификации программы. Поэтому алгоритмы планирования могут использоваться для создания программ, которые реализуют заданную спецификацию.
618 Часть!Ч. Планирование а) Запишите операторную схему для оператора присваивания (в котором значение одной переменной присваивается другой). Помните, что первоначальное значение должно быть при этом перезаписано! б) Покажите, как может использоваться в планировщике процедура создания объекта для разработки плана обмена значениями между двумя переменными с применением временной переменной. 12.8.
Ознакомьтесь со следующими доводами: "В инфраструктуре, которая допускает наличие неопределенных начальных состояний, дизыонктивные результаты являются просто удобным способом обозначения, а не источником дополнительной выразительной моши. Для любой схемы действий а с дизъюнктивным результатом Р м 0 можно всегда заменить его условным результатом мьеп и: Р д мьеп Рп О, который, в свою очередь, можно свести к двум обычным действиям. Высказывание п обозначает случайное высказывание, которое не известно в начальном состоянии и для которого не предусмотрено каких-либо действий по получению информации с помощью датчиков". Являются ли эти доводы правильными'? Рассмотрите отдельно два случая, в одном из которых в плане имеется только один экземпляр схемы действия а, тогда как во втором имеется больше одного экземпляра.
12.9. Почему условное планирование не позволяет справиться с неограниченной недетерминированностью? 12.10. В мире блоков мы были вынуждены ввести два действия бгг)рз (дгот е и но ~еТоТаЬ1е), чтобы иметь возможность сопровождать предикат С2еаг должным образом.
Покажите, как можно использовать условные результаты для представления обоих этих случаев с помощью одного действия. 12.11. Условные результаты были проиллюстрированы на примере действия ~ис)с в мире пылесоса — от того, в каком квадрате находится робот, зависит, какой из квадратов станет чистым. Можете ли вы предложить новое множество пропозициональных переменных для определения состояний мира пылесоса, таких, что действие БисК имеет безусловное описание? С использованием этих пропозициональных переменных составьте описания действий Бис)с, ЬеХс и пупйс и покажите, что их достаточно для представления всех возможных состояний мира.
12.12. Составьте полное описание действия ьцск для пылесоса в мире "двойного закона Мэрфи", который иногда оставляет мусор после его перемещения в чистый квадрат назначения, а иногда оставляет мусор после выполнения действия ьис)г в чистом квадрате. 12.13. Найдите достаточно грязный ковер, свободный от препятствий, и очистите его пылесосом.
Нарисуйте путь, проделанный чистящей головкой пылесоса, настолько точно, насколько сможете. Объясните характер этого пути, ссылаясь на формы планирования, описанные в этой главе. 12.14. Приведенные ниже цитаты взяты из инструкций на задних стенках бутылок с шампунем. Обозначьте каждую из этих инструкций как безусловный план, условный план или план с контролем выполнения: а) "Разотрите пену. Прополосните волосы.
Повторите процедуру"; б) "Нанесите шампунь на волосы Глава 12. Планирование и осуществление действий в реальном мире 619 и оставьте на несколько минут. Прополосните волосы и повторите процедуру в случае необходимости"; в) "Если не удается устранить проблемы, обратитесь к врачу". 12.15. В алгоритме Апс)-Ог-ОхарЬ-БеаксЬ, приведенном в листинге! 2 4, осуществляется проверка повторяющихся состояний только в пути от корня до текущего состояния, Предположим, что, кроме того, в этом алгоритме было бы предусмотрено хранение в виде списка каждого когда-либо посещенного состояния и проверка по этому списку (см., например, алгоритм агарЬ- геахсЬ, приведенный в листинге 3.6). Определите, какая информация должна записываться в список и как она должна использоваться в алгоритме при обнаружении повторяющегося состояния.
(Подсказка. Вам потребуется, по меньшей мере, проводить различие между состояниями, для которых перед этим был успешно сконструирован субплан, и состояниями, для которых не удалось найти субплана.) Объясните, как можно использовать метки для предотвращения необходимости иметь несколько копий субпланов, 12.16. Ф Объясните точно, как следует модифицировать алгоритм дпс)-Ог-ОгарЬБее гсЬ для выработки циклического плана, если не существует ни одного ациклического плана.
Вам придется рассмотреть три проблемы: применение меток для этапов плана так, чтобы циклический план мог указывать обратно на какую-то предыдугцую часть плана, модификация алгоритма Ох-ЯеагсЬ так, чтобы он продолжал поиск ациклических планов после нахождения циклического плана, а также дополнение средств представления плана, чтобы они позволяли указать, является ли план циклическим.
Покажите, как действует ваш алгоритм: а) в мире пылесоса с тройным законом Мэрфи и б) в альтернативном мире пылесоса с двойным законом Мэрфи. Вам может потребоваться реализация алгоритма на компьютере для проверки полученных результатов. Может ли план для случая б) быть записан с использованием стандартного синтаксиса цикла? 12.17. Полностью определите процедуру обновления доверительного состояния для частично наблюдаемых вариантов среды.
Под этим подразумевается метод вычисления нового представления доверительного состояния (как списка высказываний с оценкой знаний) из текущего представления доверительного состояния и описания действия с условными результатами. 12.18.Составьте описания действий, аналогичные уравнению 12.2, для действий н19Ьс и ЯиоК. Запишите также описание для действия ОЬесКьосасдоп, аналогичное приведенному уравнению 12.3. Повторите это упражнение, используя альтернативное множество высказываний из упр.
12.11. 12.19. Рассмотрите приведенный на с. 599 список действий, которые не могут быть выполнены перепланирующим агентом. Составьте набросок алгоритма, который позволяет выполнить одно или несколько таких действий. 12.20. Рассмотрите следующую задачу: пациент поступил в приемную врача с симптомами, которые могут быть вызваны либо обезвоживанием, либо болезнью гз (но не обеими этими причинами вместе).