OrbitTAMP: 宇宙機ランデブーにおけるタスク・モーションプランニングのための言語モデルの接地
OrbitTAMP: Grounding Language Models for Task and Motion Planning in Spacecraft Rendezvous
自然言語指令をLLMで部分的なミッション仕様に変換し、再利用可能な行動グラフと軌道最適化で動的に実行可能な宇宙機ランデブー計画を生成する階層的TAMPフレームワークを提案。
詳しい要約
1. どんなもの?
2. 先行研究と比べてどこがすごい?
3. 技術・手法の肝は?
4. どうやって有効だと検証した?
5. 議論はある?
6. 次に読むべき論文は?
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Yuji Takubo, Daniele Gammelli, Marco Pavone, Simone D'Amico
分類: cs.RO, cs.AI, math.OC
原文アブストラクト
Spacecraft rendezvous and proximity operations (RPO) are currently planned through an expertise-intensive process in which engineers translate high-level operational intent into safe, dynamically feasible trajectories, creating a bottleneck to scalable operations. Large language model (LLM)-based agents could offer an intuitive interface for this process, although their outputs are not inherently grounded in orbital dynamics, operational constraints, or the structure of admissible spacecraft maneuvers. To exploit their semantic reasoning while ensuring the generated plan's physical validity, this paper presents a hierarchical framework for spacecraft task-and-motion planning (TAMP) that grounds LLM reasoning in a graph of reusable behaviors and domain-specific planning modules. Within this framework, a pretrained LLM maps a natural-language command to a partial mission specification. The associated planners then resolve unspecified decisions within the admissible operational space. Finally, trajectory optimization converts the completed mission specification into a dynamically feasible trajectory. Numerical experiments demonstrate that this architecture substantially improves intent recovery over direct LLM generation, achieving 98% exact recovery of partial mission specifications across all evaluated splits when backed by frontier LLMs. Additional test-time-compute experiments show that, for a compact 9B model, verifier-guided revision increases exact recovery from 75% to 88%, while broader behavior-plan search independently improves selection among admissible trajectory realizations. Overall, these results establish a scalable and auditable foundation for language-driven agentic planning of spacecraft RPO.
関連論文
- オートマトンとストリームの融合:ストリームベースロボットタスク・モーションプランニングのための時間論理コンパイルタスク・モーションプランニング
- SLAP: 抽象プランニングのためのショートカット学習タスク・モーションプランニング
- 知覚と計画の橋渡し:Signal Temporal Logicタスクのためのエンドツーエンド計画タスク・モーションプランニング
- タスク・スキルプランニング:ブラックボックススキルを用いた階層型ロボットプランニングタスク・モーションプランニング
- アフォーダンスを活用した計画:学習されたアフォーダンスモデルと記号計画の統合タスク・モーションプランニング