как я могу быть уверен, что план, рассчитанный передовым планировщиком вперед, является лучшим из всех возможных планов ?!ускоренная перемотка вперед и pddl: вычисленное решение лучше всего?
Существует ли автоматический инструмент для решения этой проблемы?
спасибо большое!
Если я не помню это неправильно, FF не является оптимальным планировщиком, поэтому вы не можете быть уверены, что сгенерированный план оптимален. С другой стороны, FF быстро создает «достаточно хорошие» решения в отличие от оптимальных планировщиков (cpt4, bjolp, ecc ...), которые обеспечивают оптимальные планы, но гораздо медленнее, чем удовлетворяющие планировщикам.
Вы можете найти список этих планировщиком здесь: IPC2011 Planners
Это единственный способ, которым я могу себе представить, чтобы получить лучший план, помимо выписывания полного пространства поиска и использования A * на нем.
Как уже указывалось в Демплосе, FF не гарантирует поиск оптимальных решений. Причина этого важно знать, в случае, если вы действительно хотите, чтобы найти оптимальные решения:
Для «исправления» обоих необходимо использовать алгоритм A * в сочетании с допустимой эвристикой.
Я рекомендую установить известную систему Fast Down Down Planning (www.fast-downward.org/), поскольку она поддерживает большое количество различных алгоритмов и эвристик. Как algithm, как сказано, A * следует выбирать, а в качестве эвристики - любое допустимое. При такой комбинации любой найденный план является оптимальным решением данной проблемы.
Просто замечание (в основном для экспертов по поиску/планированию): A * гарантируется только поиск оптимальных решений, если он реализует поиск по дереву, а не поиск по графику (т. Е. Если дубликаты неоднократно расширяются). Если он реализует поиск по графу, недостаточно для того, чтобы эвристика была допустимой, она также должна быть монотонной (также называемой последовательной). Однако, согласно http://www.fast-downward.org/Doc/SearchEngine, он реализует поиск по дереву (я думаю). Кроме того, существуют последовательные эвристики.