arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2408.05336cs.ROcs.AI

用于增强感知-行动规划的逻辑约束机器人 Transformer

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning

Carnegie Mellon University(卡内基梅隆大学);Scaled Foundations

Parv Kapoor, Sai Vemprala, Ashish Kapoor

AI总结:

本文提出将信号时序逻辑规范融入自回归 Transformer 轨迹规划的新方法,并构建预训练数据集,使规范满足率较基线提升 74.3%。

摘要:

随着基于大型基础模型的规划方法的出现,迫切需要确保其输出与利益相关者的意图保持一致。当这些模型部署到现实世界中时,由于意外故障可能对生命和基础设施造成潜在代价,对齐的需求被进一步放大。时序逻辑规范长期以来提供了一种约束系统行为的方式,并且天然适用于这些用例。在这项工作中,我们提出了一种在使用自回归 Transformer 模型进行轨迹规划时纳入信号时序逻辑规范的新方法。我们还提供了一个用于预训练和评估基础模型的轨迹数据集。我们提出的技术在规范满足率上比基线高出 74.3%。

英文摘要:

With the advent of large foundation model based planning, there is a dire need to ensure their output aligns with the stakeholder's intent. When these models are deployed in the real world, the need for alignment is magnified due to the potential cost to life and infrastructure due to unexpected faliures. Temporal Logic specifications have long provided a way to constrain system behaviors and are a natural fit for these use cases. In this work, we propose a novel approach to factor in signal temporal logic specifications while using autoregressive transformer models for trajectory planning. We also provide a trajectory dataset for pretraining and evaluating foundation models. Our proposed technique acheives 74.3 % higher specification satisfaction over the baselines.

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

↑