対話型ロボット計画における意図曖昧性解消のためのベイズ能動学習
Bayesian Active Learning for Intent Disambiguation in Interactive Robot Planning
自然言語指示の曖昧さを解消するため、LLMで候補仕様を生成しつつベイズ最適化で情報利得の高い確認質問を選び、形式計画で検証可能な軌道を合成する枠組みを提案した。
著者: 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.