Страница 1 из 2 Всевозможные ограничения, налагаемые в представлении Strips, были выбраны в надежде на то, что алгоритмы планирования станут более простыми и эффективными и вместе с тем при описании реальных задач не будут возникать слишком значительные трудности. Одно из самых важных ограничений состоит в том, что литералы должны быть свободными от функций. Благодаря наличию такого ограничения можно быть уверенным в том, что каждую схему действий для каждой конкретной задачи удастся пропозиционализировать, т.е. преобразовать в конечную коллекцию чисто пропозициональных представлений действий без переменных (дополнительную информацию по этой теме см. в главе 9). Например, в проблемной области грузовых авиационных перевозок для задачи с десятью самолетами и пятью аэропортами можно преобразовать схему Fly(p, from, to) в 10x5x5=250 чисто пропозициональных действий. Планировщики, описанные в разделах 11.4 и 11.5, работают непосредственно с пропозиционализированными описаниями. Если же будут разрешены функциональные символы, то количество состояний и действий, которые могут быть сконструированы, станет бесконечно большим. В последние годы стало очевидно, что язык Strips является недостаточно выразительным для некоторых реальных проблемных областей. В результате этого было разработано много вариантов данного языка. В табл. 11.1 кратко описан наиболее важный из них, язык ADL (Action Description Language — язык описания действий), на основе его сравнения с базовым языком Strips. В языке ADL действие Fly можно записать следующим образом: ![](http://rriai.org.ru/illustr/ai3-16.jpg) Таблица 11.1. Сравнение языков представления задач планирования Strips и ADL. В обоих случаях цели выглядят как предусловия некоторого действия без параметров ![](http://rriai.org.ru/illustr/ai3-17.jpg)
<< В начало < Предыдущая 1 2 Следующая > В конец >> |