日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

LLM説明/ロボット計画arXiv:2611.13292

不確実性下での月面ローバー軌道計画に対する大規模言語モデルによる説明支援

Large Language Model Explainability for Planning Lunar Rover Trajectories under Uncertainty

シェア:XThreadsFacebookLINEはてブBluesky

月面ローバーの軌道計画を科学者が検証できるよう、計画結果を専門用語で説明し条件を変えて再実行できるLLMベースの対話型アシスタントを提案し、応答の90.9%が計画出力に忠実であることを示した。

詳しい要約

1. どんなもの?

- 月面ローバーの不確実性下での走行経路計画を支援する対話型アシスタント - 大規模言語モデル(LLM)を用いてplannerの出力軌道を説明 - ドメイン語彙で説明し、ユーザー指定条件でplannerを再実行して代替案を比較可能 - 対象は科学チームが手作業で反復検証しているmulti-objective optimization問題 - タイムラインや制約が頻繁に変わるミッション計画段階を想定 - NASA VIPER missionに着想を得たsimulatorとReAct型の問い合わせ可能インタフェースを組み合わせたframework - 計画後の説明(post-planning explanation)にLLMを使う点が特徴

2. 先行研究と比べてどこがすごい?

- 従来、科学チームは不確実性下の軌道計画を手作業で反復求解・検証しており、時間軸や制約が頻繁に変わる状況では非現実的 - Monte Carlo tree searchなどのsampling-based plannerは高速化できるが、各計画を正当化する科学目標へのtraceabilityを保持しない - 先行研究はLLMをplannerの意思決定ループ内に組み込んでいた - 本研究は計画後の説明にLLMを用いる点が異なる - plannerの決定に直接影響しないため信頼されやすいと論じる - 同一LLMのzero-shot prompting(ツール無し)と比べ、応答のfaithfulnessが約65%改善

3. 技術・手法の肝は?

- simulatorとReAct queryable interfaceを組み合わせた対話型アシスタント - simulatorはNASA VIPER missionに着想を得たもの - ReAct interfaceはcurated action toolsとretrieval functionsを呼び出す - plannerの軌道をドメイン語彙で説明 - ユーザー指定条件の下でplannerを再実行し、代替案を比較 - 計画後の説明にLLMを用いる設計で、plannerの意思決定ループには介入しない

4. どうやって有効だと検証した?

- plan comparisons、feasibility、lookup queriesからなるquery bankで評価 - アシスタント応答の90.9%がplanner出力にfaithfulであることを確認 - ツールアクセス無しの同一LLMのzero-shot promptingと比較し、約65%の改善 - これにより不確実性を考慮したtraverseの信頼できるexplainabilityの可能性を示した

5. 議論はある?

- LLMをplannerの決定ループ内ではなく計画後の説明に用いることで信頼されやすいという立場を提示 - ただし要旨では信頼性の実証はfaithfulness評価に基づく - sampling-based plannerの出力が科学目標へのtraceabilityを欠く問題への対処を狙う - 評価はquery bank上のfaithfulnessが中心で、科学チームによる実運用評価や他の不確実性設定への一般化は要旨からは不明 - 限界や失敗事例の詳細な議論は要旨からは不明

6. 次に読むべき論文は?

- Monte Carlo tree searchなどsampling-based plannerの関連研究 - ReAct(推論と行動を組み合わせるLLMエージェント手法) - NASA VIPER missionおよびlunar roverの経路計画研究 - LLMをplannerの意思決定ループに組み込む先行研究(計画後説明との比較対象) - LLMのfaithfulness/explainability評価に関する研究

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Michelle Ho, Maximilian Adang, Zachary Booth, David E. Astle, Margaret Hansen, Edward Balaban, Mykel J. Kochenderfer

分類: cs.RO

原文アブストラクト

Planning planetary rover trajectories under probabilistic uncertainty is a multi-objective optimization problem that science teams currently iteratively solve and verify by hand. This process becomes impractical when timelines and constraints frequently shift throughout the mission planning phase. Sampling-based planners such as Monte Carlo tree search can speed up this process, but their outputs do not preserve traceability to the science objectives that justify each plan, which the science team needs to verify. We propose an interactive assistant based on a large language model (LLM) that can explain planner trajectories using domain vocabulary and re-run the planner under user-specified conditions to compare alternatives. Previous work has used LLMs inside planner decision-making loops, but we explore using them for post-planning explanation, where they are more likely to be trusted since they do not directly influence planner decisions. Our framework pairs a simulator inspired by the NASA Volatiles Investigating Polar Exploration Rover (VIPER) mission with a ReAct queryable interface that calls curated action tools and retrieval functions. We evaluate the assistant on a query bank consisting of plan comparisons, feasibility, and lookup queries. Experiments show that 90.9% of the assistant's responses are faithful to the planner's outputs, a nearly 65% improvement over zero-shot prompting of the same LLM without tool access, demonstrating the potential for trustworthy explainability of uncertainty-aware traverses with an LLM-based system.

  1. 1Boston Dynamics、車輪付きAtlasの研究試作機を紹介研究・技術
  2. 2GXOとApptronik、Apolloの物流現場試験を拡大 最大1,000台の展開を構想量産・展開
  3. 3newmoとKDDIが資本業務提携 2028年に堺市で自動運転タクシー商用化目指す提携・買収
  4. 4NVIDIA、CoRLでGR00T 2とIsaac Lab 3.0を発表新製品・発表
  5. 5UC BerkeleyとNVIDIAの研究者、AIエージェントでロボット制御コードを仮想環境で改善研究・技術

PR・アフィリエイト広告

MINISFORUM(ミニPC)

MINISFORUM(ミニPC)の公式広告バナーMINISFORUM公式ストアを見る ↗
PR本紙発行元 EmplifAI