拡散モデルによる合成的連続制約ソルバ
Compositional Diffusion-Based Continuous Constraint Solvers
個々の制約タイプごとに学習した拡散モデルのエネルギーを因子グラフ上で合成し、連続制約充足問題の大域解を生成する手法を提案。新規な制約の組み合わせへの汎化や、離散・連続パラメータを含む長期タスク計画への統合を示した。
著者: Zhutian Yang, Jiayuan Mao, Yilun Du, Jiajun Wu, Joshua B. Tenenbaum, Tomás Lozano-Pérez, Leslie Pack Kaelbling
分類: cs.RO, cs.AI, cs.LG
原文アブストラクト
This paper introduces an approach for learning to solve continuous constraint satisfaction problems (CCSP) in robotic reasoning and planning. Previous methods primarily rely on hand-engineering or learning generators for specific constraint types and then rejecting the value assignments when other constraints are violated. By contrast, our model, the compositional diffusion continuous constraint solver (Diffusion-CCSP) derives global solutions to CCSPs by representing them as factor graphs and combining the energies of diffusion models trained to sample for individual constraint types. Diffusion-CCSP exhibits strong generalization to novel combinations of known constraints, and it can be integrated into a task and motion planner to devise long-horizon plans that include actions with both discrete and continuous parameters. Project site: https://diffusion-ccsp.github.io/
関連論文
- 実演1回で計画ドメインを自動生成:LLMによる長期ロボット計画の高信頼化タスク・モーション計画
- タスク・モーション計画のための計画ドメイン自動推論タスク・モーション計画
- STAMP: 微分可能な物理シミュレーションとStein変分勾配降下法によるタスク・モーション統合計画タスク・モーション計画
- 記号計画と非線形制約求解を結ぶ競合駆動型インターフェースタスク・モーション計画
- 変化する環境におけるリcedingホライズン型タスク・モーション計画タスク・モーション計画
