[論文レビュー] Duality in STRIPS planning

Martin Suda|arXiv (Cornell University)|Apr 3, 2013

AI-based Problem Solving and Planning参考文献 10被引用数 3

ひとこと要約

本稿では、初期状態と目的状態を入れ替え、それらを補完し、事前条件と削除リストを交換することで、任意の計画タスクをその双対に変換するSTRIPS計画における双対写像を導入する。この双対性により、双対における進行（progression）が元のタスクにおける後退（regression）と等価であることが証明され、前向き探索と後退探索の間で理論的・実用的な移行が可能になる。双対化されたIPCベンチマークは、現代の計画者にとって著しく困難であるが、特定の分野におけるアルゴリズム改善の機会を提供する。

ABSTRACT

We describe a duality mapping between STRIPS planning tasks. By exchanging the initial and goal conditions, taking their respective complements, and swapping for every action its precondition and delete list, one obtains for every STRIPS task its dual version, which has a solution if and only if the original does. This is proved by showing that the described transformation essentially turns progression (forward search) into regression (backward search) and vice versa. The duality sheds new light on STRIPS planning by allowing a transfer of ideas from one search approach to the other. It can be used to construct new algorithms from old ones, or (equivalently) to obtain new benchmarks from existing ones. Experiments show that the dual versions of IPC benchmarks are in general quite difficult for modern planners. This may be seen as a new challenge. On the other hand, the cases where the dual versions are easier to solve demonstrate that the duality can also be made useful in practice.

研究の動機と目的

• 計画タスク間の正式な双対写像を確立し、解可能性を保つこと。
• 双対タスクにおける進行が元のタスクにおける後退と等価であることを示し、前向き探索と後退探索の間の深い対称性を明らかにすること。
• 双対性の理論的意味を検討し、関連性や緩和ヒューリスティクスといった重要な計画概念の双対を明らかにすること。
• 双対化されたIPCベンチマークを現代の計画者に適用して、双対性の実用的影響を評価すること。
• 既存のアルゴリズムを双対構造に適応させることで、改善された計画者を設計する方法を示すこと。

提案手法

• 初期状態と目的状態を入れ替え、両者を補完し、各アクションの事前条件と削除リストを交換することで、STRIPSタスクを双対に変換する双対写像を定義する。
• 双対における進行が元のタスクにおける後退に対応することを示し、双対タスクに解が存在するための必要十分条件を証明することで、元のタスクに解が存在するための必要十分条件を示す。
• 双対性を用いて、削除緩和ヒューリスティクスの双対など、計画概念の双対を導出する。
• FF計画者（FF-DUAL）の双対化されたバージョンを実装し、双対化されたIPCベンチマークでの性能を評価する。
• 双対化されたドメインにおけるヒューリスティック値と探索行動を分析し、元の計画者と双対計画者の間の性能差の理由を理解する。
• 双対性を活用して、双対ベンチマークでより良い性能を発揮するように計画者を変更し、実用的価値を示す。

実験結果

リサーチクエスチョン

• RQ1 STRIPS計画タスク間に、双対における進行が元のタスクにおける後退と等価であるような正式な双対性が存在するか？
• RQ2 この双対性が、関連性や緩和ヒューリスティクスといった計画概念に与える理論的意味は何か？
• RQ3 標準的なIPCベンチマークの双対化されたバージョンは、現代の計画者にとって元のベンチマークと比べてどの程度難易度が高いのか？
• RQ4 この双対性を活用して、特定の分野における計画者の性能を向上させることは可能か？
• RQ5 なぜ双対バージョンが一般的に解きにくくなるのか、ベンチマーク内の構造的非対称性は何か？

主な発見

• IPCベンチマークの双対バージョンは、通常、元のベンチマークよりもはるかに解きにくく、FFのような現代の計画者も双対インスタンスではタイムアウトしやすい。
• PSR、Woodworking、Floortileの3つの分野において、FF-DUALは元のFFを上回り、特にPSRではより情報量の多いヒューリスティック推定値、Floortileでは目的の分解処理がより効果的に処理されていた。
• 削除緩和ヒューリスティクスの双対は存在し、PSRのような特定の分野では、より情報量が多くなる可能性がある。FF-DUALの初期ヒューリスティック値は、常にFFのそれよりも高かった。
• 大多数の分野において、FF-DUALの初期ヒューリスティック値はFFのそれよりも著しく低く、これが一般に非効率な性能を示す理由を説明するが、同時に標準的なヒューリスティック設計の弱みを露呈している。
• 双対性により、新しいアルゴリズムの創出が可能である。例えば、FFの単純な双対化変更により特定の分野で性能が向上し、実用的価値を実証した。
• 双対性により、前向き探索と後退探索の性能差は、パラダイム自体の本質的差異ではなく、ベンチマークの非対称性に起因することが明らかになった。