日本フィジカルAI新聞

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

安全/LLM推論arXiv:2602.07007

ARGOS: 属性誘導組合せ推論による身体性AIの機能安全要件自動合成

ARGOS: Automated Functional Safety Requirement Synthesis for Embodied AI via Attribute-Guided Combinatorial Reasoning

シェア:XThreadsFacebookLINEはてブBluesky

自然言語指示を物理属性に分解してLLM推論を接地し、ISO 13482などの安全規格を文脈特化した機能安全要件へ自動変換するフレームワークARGOSを提案。

詳しい要約

1. どんなもの?

- 本論文は、Embodied AIの機能安全要件を自動生成するフレームワークARGOSを提案する。 - ARGOSは、オープンエンドな自然言語指示から物理的属性を抽出し、組み合わせ的なリスクを考慮した安全要件を生成する。 - 従来のHARAでは対応が難しい、オープンな指示に基づく組み合わせリスクの課題に対処する。 - LLMを活用しつつ、物理的接地を強化することで、意味的に浅く一貫性のない危険記述を改善する。 - 最終的に、ISO 13482などの安全標準を具体化したFunctional Safety Requirements (FSRs)を生成する。

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

- 従来のHARAは有限で事前定義された機能リストに依存し、Embodied AIのオープンエンドな指示に対応できない。 - 既存のLLMベース手法は物理的接地を欠き、意味的に浅く一貫性のない危険記述を生成する問題があった。 - ARGOSは、属性誘導型の組み合わせ推論により、これらの限界を克服し、物理的に妥当な危険シナリオを生成する。 - 長尾リスクの特定において、ベースラインを上回る性能を示す。

3. 技術・手法の肝は?

- ARGOSは、指示からエンティティを動的に分解し、細粒度の物理的属性に変換する。 - これらの属性に基づいてLLMの推論を因果的リスク要因に接地させ、物理的に妥当な危険シナリオを生成する。 - 生成されたシナリオとロボットの能力を統合し、ISO 13482などの抽象的な安全標準を文脈固有のFSRsに具体化する。 - 属性誘導型の組み合わせ推論が中核的な技術要素である。

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

- 広範な実験により、ARGOSが高品質なFSRsを生成することを検証している。 - 長尾リスクの特定において、ベースライン手法を上回る性能を示す。 - 具体的な評価指標やデータセットの詳細は要旨からは不明。

5. 議論はある?

- 要旨からは、ARGOSの限界や議論の詳細は不明。 - 今後の課題や改善点についての言及はない。

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

- 要旨で参照されているISO 13482やHARA、LLMベースの安全要件生成に関する研究。 - 関連手法として、物理的接地を強化したLLM推論や組み合わせリスク分析の論文が挙げられる。 - 具体的な論文名は要旨からは不明。

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

著者: Dongsheng Chen, Yuxuan Li, Yi Lin, Guanhua Chen, Jiaxin Zhang, Xiangyu Zhao, Lei Ma, Xin Yao, Xuetao Wei

分類: cs.RO

原文アブストラクト

Ensuring functional safety is essential for the deployment of Embodied AI in complex open-world environments. However, traditional Hazard Analysis and Risk Assessment (HARA) methods struggle to scale in this domain. While HARA relies on enumerating risks for finite and pre-defined function lists, Embodied AI operates on open-ended natural language instructions, creating a challenge of combinatorial interaction risks. Whereas Large Language Models (LLMs) have emerged as a promising solution to this scalability challenge, they often lack physical grounding, yielding semantically superficial and incoherent hazard descriptions. To overcome these limitations, we propose a new framework ARGOS (AttRibute-Guided cOmbinatorial reaSoning), which bridges the gap between open-ended user instructions and concrete physical attributes. By dynamically decomposing entities from instructions into these fine-grained properties, ARGOS grounds LLM reasoning in causal risk factors to generate physically plausible hazard scenarios. It then instantiates abstract safety standards, such as ISO 13482, into context-specific Functional Safety Requirements (FSRs) by integrating these scenarios with robot capabilities. Extensive experiments validate that ARGOS produces high-quality FSRs and outperforms baselines in identifying long-tail risks. Overall, this work paves the way for systematic and grounded functional safety requirement generation, a critical step toward the safe industrial deployment of Embodied AI.

  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