日本フィジカルAI新聞

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

VLAarXiv:2609.34270

対話型ロボット計画における意図曖昧性解消のためのベイズ能動学習

Bayesian Active Learning for Intent Disambiguation in Interactive Robot Planning

シェア:XThreadsFacebookLINEはてブBluesky

自然言語指示の曖昧さを解消するため、LLMで候補仕様を生成しつつベイズ最適化で情報利得の高い確認質問を選び、形式計画で検証可能な軌道を合成する枠組みを提案した。

詳しい要約

1. どんなもの?

- 対話型ロボット計画において、自然言語指示の曖昧さを解消するための Bayesian active learning フレームワークを提案。 - clarification を grounded STL タスク仕様上の active learning 問題として扱う。 - LLM で候補仕様を初期化し、情報利得を最大化する質問を選択、収束後に formal planner で検証可能な軌道を合成する。

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

- LLM ベースラインと比較して、一般にタスク満足度が高く、clarification ラウンド数が少ない。 - 生成モデルに multi-turn 会話を任せる系統的失敗を回避できる。 - 小規模モデルが大規模推論モデルとの性能差を縮めるのを助ける。

3. 技術・手法の肝は?

- clarification を grounded STL 仕様上の active learning として定式化。 - LLM を用いて候補 formal specifications を初期化し、情報的な対比を自然言語の clarification 質問に変換。 - Bayesian optimization でユーザ意図の不確実性を推定し、情報利得を最大化するクエリを選択。 - 収束後、推論された STL 仕様を formal planner に渡し、検証可能なロボット軌道を合成。

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

- 4つの simulated および real-world タスク領域で評価。 - LLM ベースラインと比較し、タスク満足度と clarification ラウンド数で有効性を検証。 - 小規模モデルが大規模推論モデルとの性能差を縮めることを確認。

5. 議論はある?

- 要旨からは不明。

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

- LLM ベースライン(具体的名称は要旨からは不明) - grounded Signal Temporal Logic (STL) タスク仕様 - Bayesian optimization - formal planner - 同分野の定番として interactive robot planning や active learning に関する研究

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

著者: Huao Li, Carson Sobolewski, Augustinos Saravanos, William Tan, John Karigiannis, Chuchu Fan

分類: cs.RO, cs.AI, cs.HC

原文アブストラクト

Interactive robot planning requires robots to infer and execute human intentions from natural language instructions that are often ambiguous, incomplete, or underspecified. Although large language models (LLMs) provide a powerful interface for clarification, relying on the generative model to drive an multi-turn conversation can introduce systematic failures. We propose a Bayesian framework that treats clarification as an active learning problem over grounded Signal Temporal Logic (STL) task specifications. Our method uses LLMs to initialize candidate formal specifications and translate informative contrasts into natural-language clarification questions, while Bayesian optimization maintains uncertainty estimation over user intent and selects queries that maximize information gain. After convergence, the inferred STL specification is passed to a formal planner to synthesize a verifiable robot trajectory. Across four simulated and real-world task domains, our approach generally achieves higher task satisfaction and requires fewer clarification rounds than LLM baselines, while helping smaller models close the performance gap against larger reasoning models.

関連論文

  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・アフィリエイト広告

FRONTIER(GPU搭載BTOパソコン)

FRONTIER(GPU搭載BTOパソコン)の公式広告バナーFRONTIERでGPU搭載PCを見る ↗
PR本紙発行元 EmplifAI