arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.04599cs.LG

约束强化学习的随机决策视界

Stochastic Decision Horizons for Survival-Based Constrained Reinforcement Learning

Max Planck Institute for Human Cognitive and Brain Sciences(马克斯·普朗克人类认知与脑科学研究所);Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)(可扩展数据分析与人工智能中心 (ScaDS.AI));Hertie Institute for Clinical Brain Research & Center for Integrative Neuroscience(赫尔特临床脑研究所在线及整合神经科学中心);University of Tübingen(图宾根大学);Max Planck Institute for Intelligent Systems(马克斯·普朗克智能系统研究所)

Nikola Milosevic, Leonard Franz, Daniel Haeufle, Georg Martius, Nico Scherf, Pavel Kolev

AI总结:

提出随机决策视界(SDH)框架,通过状态-动作延续概率实现每步约束满足,并开发了首个离策略和正则化算法(AS-SAC和VT-MPO),在90肌肉人形机器人上以4倍更少的环境步数达到最先进步态真实度。

摘要:

我们提出随机决策视界(SDH),这是一个理论基础的框架,用于解决具有每步约束满足的约束强化学习问题,这在许多实际应用中是一个理想属性。在SDH中,违反约束通过状态-动作延续概率有效缩短视界。利用控制作为推理,我们开发了首个用于即时约束RL的离策略和正则化算法。我们确定了违反后决策的两种原则性语义。吸收状态语义终止决策过程,因此只有存活的决策支付熵成本,产生最大熵AS-SAC。虚拟终止保持决策过程活跃,同时停止奖励信用,产生KL正则化VT-MPO。为了连接SDH与CMDP,我们跟踪违反沿轨迹的累积(它们的违反深度剖面)。SDH有效地通过每个轨迹的总违反的指数加权;这正好在违反发生在单一特征尺度时匹配加性CMDP预算,并且我们指出它不能匹配的情况:当罕见的深度违反与频繁的浅层违反混合时。实验验证了理论。在90肌肉H2190人形机器人(Hyfydy)上,VT-MPO以4倍更少的环境步数和更稳定的训练达到最先进的步态真实度。在Safety Gymnasium上,违反深度剖面正确识别了SDH提供强奖励-违反权衡的机制。

英文摘要:

We propose stochastic decision horizons (SDH), a theoretically grounded framework for survival-based constrained reinforcement learning from per-step violation signals. Rather than treating violations as expenditure of a cumulative budget, SDH shortens the effective decision horizon when violations occur, reducing current reward credit and future bootstrapping. We show that this construction represents a geometric-horizon survival constraint and, for a fixed Lagrange multiplier, remains the same SDH problem up to a constant reward offset that acts as an implicit incentive for survival. Using control as inference, we derive two off-policy and replay-compatible, regularized algorithms with post-violation semantics. Absorbing-state ends the decision process, so only surviving decisions pay policy KL, yielding AS-SAC. Virtual termination stops reward credit while the process continues, retaining ordinary discounted KL and yielding VT-MPO. To connect SDH with cumulative-cost CMDPs, we introduce violation-depth profiles. Under exponential-tail single-scale profiles, the SDH statistic determines cumulative cost; departures from this form mark where the connection breaks. Experiments validate both the method and this predicted scope. On the 90-muscle H2190 humanoid in Hyfydy, VT-MPO matches the EWA reference in peak gait realism, with its highest observed gait-match checkpoint at 21M environment steps versus 90M for EWA and markedly more stable training. On Safety Gymnasium, violation-depth profiles predict the regimes in which SDH achieves strong reward-violation trade-offs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑