[論文レビュー] Towards Combining HTN Planning and Geometric Task Planning

Lavindra de Silva, Amit Kumar Pandey+2 more|arXiv (Cornell University)|Jul 4, 2013

AI-based Problem Solving and Planning参考文献 15被引用数 50

ひとこと要約

本論文は、階層的タスクネットワーク（HTN）計画と幾何的タスク計画の間の新しいインターフェースを提示する。これにより、シンボリック計画者が抽象的タスクについて推論できる一方で、幾何的計画者が空間的推論を独立して処理できる。2つのシステム間で計画とバックトラックを交互に実行することで、より柔軟で原理的なタスク実行が可能となり、複雑な操作タスクにおけるベンチマーク結果が得られている。

ABSTRACT

In this paper we present an interface between a symbolic planner and a geometric task planner, which is different to a standard trajectory planner in that the former is able to perform geometric reasoning on abstract entities---tasks. We believe that this approach facilitates a more principled interface to symbolic planning, while also leaving more room for the geometric planner to make independent decisions. We show how the two planners could be interfaced, and how their planning and backtracking could be interleaved. We also provide insights for a methodology for using the combined system, and experimental results to use as a benchmark with future extensions to both the combined system, as well as to the geometric task planner.

研究の動機と目的

• ロボティクスにおけるシンボリックタスク計画と幾何的推論の統合の課題に対処すること。
• 従来の軌道計画者とは異なり、HTN計画者と幾何的タスク計画者との間で原理的なインターフェースを実現すること。
• 高レベルのシンボリックタスク構造と整合性を保ちながら、幾何的計画における独立した意思決定を可能にすること。
• 実用的なロボットアプリケーションでの組み合わせシステムの使用法を確立すること。
• 将来的な拡張のためのベンチマークを提供すること。

提案手法

• 2段階の計画アーキテクチャを設計：シンボリックHTN計画者がタスク分解を、幾何的タスク計画者が空間的推論を担当する。
• 通信インターフェースを定義し、HTN計画からの抽象的タスクを幾何的計画者に向けた幾何的制約に変換する。
• 計画とバックトラックを交互に実行：幾何的計画が失敗した場合、システムはシンボリック計画に戻って再計画する。
• 低レベルの軌道ではなく、抽象的エンティティ（例：「カップをつかむ」）に対して幾何的推論を適用する。
• 幾何的意思決定をシンボリック計画から分離することで、柔軟性とモularityを向上させる。
• 幾何的計画者の結果がシンボリック計画の精緻化をもたらし、逆にそれらが幾何的計画を改善するフィードバックループを実装する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてシンボリックHTN計画と幾何的タスク計画を効果的に統合し、複雑なロボット操作を支援できるか？
• RQ2 シンボリック計画者と幾何的計画者との間で、計画者の自律性を損なわずに原理的な通信を可能にするインターフェース設計は何か？
• RQ3 どのようにしてシンボリック計画フェーズと幾何的計画フェーズの間でバックトラックを効果的に交互に実行できるか？
• RQ4 幾何的推論を低レベルの軌道ではなく、抽象的タスク上で行うことで得られる実用的利点は何か？
• RQ5 組み合わせシステムは、将来的な拡張のためのベンチマークとしてどのように評価・利用できるか？

主な発見

• インターフェースにより、シンボリックHTN計画者が抽象的タスクについて推論できる一方で、幾何的推論は専用の幾何的計画者に委ねられることが成功裏に実現された。
• 2つの計画者間で計画とバックトラックを交互に実行することで、複雑なタスク実行における耐障害性が向上した。
• 幾何的計画者における独立した意思決定が可能となり、柔軟性とモularityが向上した。
• 本アプローチは、将来的な組み合わせシステムおよび幾何的タスク計画者への拡張のためのベンチマークの基盤を提供する。
• 実験結果により、代表的な操作タスクにおける組み合わせ計画フレームワークの実現可能性と有効性が示された。