日本フィジカルAI新聞

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

VLA/プランニングarXiv:2605.09387

NEXUS: 安全で堅牢な具現化プランニングのための記号的制約の継続学習

NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning

シェア:XThreadsFacebookLINEはてブBluesky

大規模言語モデルを用いた具現化エージェントの計画において、物理的な実現可能性と安全性を分離し、実行フィードバックから能力を向上させつつ、確率的リスクを決定的なハード制約に変換して事前防御を行うモジュール型フレームワークNEXUSを提案した。

詳しい要約

1. どんなもの?

- LLMを活用したembodied agentのためのモジュール型フレームワークNEXUSを提案。 - 物理世界の厳密な決定性と検証可能な安全性を確保するため、継続学習を導入。 - 記号アーティファクトを静的なインターフェースではなく、symbolic groundingとknowledge evolutionに活用。 - 物理的実現可能性と安全仕様を明示的に分離。 - 閉ループ実行フィードバックで能力を向上させ、確率的リスク評価を決定論的ハード制約に接地。 - 行動前の防御を確立し、安全で堅牢なembodied planningを目指す。

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

- 従来研究は記号アーティファクトを静的なインターフェースとして扱うが、NEXUSはsymbolic groundingとknowledge evolutionに活用。 - 物理的実現可能性と安全仕様を明示的に分離する点が新しい。 - 確率的リスク評価を決定論的ハード制約に接地し、行動前防御を実現。 - 継続学習により計画効率を漸進的に改善。 - 先行研究と比べて、安全性と堅牢性の両面で優位性を示す。

3. 技術・手法の肝は?

- モジュール型フレームワークで、物理的実現可能性と安全仕様を分離。 - 閉ループ実行フィードバックによりエージェントの能力を向上。 - 確率的リスク評価を決定論的ハード制約に変換し、行動前防御を確立。 - 記号アーティファクトをsymbolic groundingとknowledge evolutionに利用。 - 継続学習により知識を蓄積し、計画効率を漸進的に改善。

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

- SafeAgentBench上で実験を実施。 - タスク成功率が優れていることを確認。 - 不安全な指示を効果的に拒否することを確認。 - 敵対的攻撃に対する堅牢な防御を示す。 - 知識蓄積により計画効率が漸進的に向上することを確認。

5. 議論はある?

- 要旨からは不明。

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

- SafeAgentBench(実験で使用されたベンチマーク) - LLMを活用したembodied intelligenceに関する研究 - 記号アーティファクトを静的なインターフェースとして扱う先行研究 - 継続学習や安全なembodied planningに関する研究

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

著者: Tiehan Cui, Peipei Liu, Yanxu Mao, Congying Liu, Mingzhe Xing, Datao You

分類: cs.AI, cs.RO

原文アブストラクト

While Large Language Models (LLMs) have catalyzed progress in embodied intelligence, a fundamental gap between their inherent probabilistic uncertainty and the strict determinism and verifiable safety required in the physical world. To mitigate this gap, this paper introduces NEXUS, a modular framework designed for continual learning in embodied agents. Different from prior works that treat symbolic artifacts merely as static interfaces, NEXUS leverages them for symbolic grounding and knowledge evolution. The framework explicitly decouples physical feasibility from safety specifications: capability of agents is improved through closed-loop execution feedback, while probabilistic risk assessments are grounded into deterministic hard constraints to establish a rigorous pre-action defense. Experiments on SafeAgentBench demonstrate that NEXUS achieves superior task success rates while effectively refusing unsafe instructions, exhibiting robust defense against adversarial attacks, and progressively improving planning efficiency through knowledge accumulation.

関連論文

  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