Главная arrow книги arrow Копия Глава 12. arrow Представление декомпозиций действий
Представление декомпозиций действий

Общие описания методов декомпозиции действий хранятся в библиотеке планов, из которой они извлекаются и конкретизируются для обеспечения потребностей формирования текущего плана. Каждый метод представляет собой выражение в форме Decompose (a, d). Это выражение указывает, что может быть выполнена декомпозиция действия а на план d, представленный в виде плана с частичным упорядочением, как описано в разделе 11.3.

Строительство дома — это прекрасный, конкретный пример, поэтому мы будем использовать его для иллюстрации концепций декомпозиции действия. На рис. 12.3 показана одна возможная декомпозиция действия BuildHouse на четыре действия низкого уровня, а в листинге 12.3 приведены некоторые из описаний действий для данной проблемной области, а также декомпозиция действия BuildHouse в том виде, в каком она могла бы присутствовать в библиотеке планов. В этой библиотеке могут находиться также другие возможные декомпозиции.

Листинг 12.3. Декомпозиции действий для задачи построения дома и подробная декомпозиция для действия BuildHouse. В этих декомпозициях приняты упрощенное представление о деньгах, а также оптимистическое представление строителей в отношении перспектив оплаты

В действии Start этой декомпозиции должны быть предусмотрены все те предусловия действий в плане, которые не предусмотрены в других действиях. Такие предусловия принято называть внешними предусловиями. В данном примере внешними предусловиями декомпозиции являются Land (Земельный участок) и Money (Деньги). Аналогичным образом, все внешние результаты, являющиеся предусловиями действия Finish, представляют собой такие результаты действий в плане, которые не отрицаются другими действиями. В рассматриваемом примере внешними результатами действия BuildHouse являются House (Дом) и(Отсутствие денег). В некоторых планировщиках HTN проводится также различие между первичными результатами, такими как House, и вторичными результатами, такими как_ . Для достижения целей могут использоваться только первичные результаты, тогда как оба рода результатов могут вызывать конфликты с другими действиями; они позволяют в значительной степени сократить пространство поиска