首页|基于线性时序逻辑的智能体不确定行为规划

基于线性时序逻辑的智能体不确定行为规划

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
随着人们对智能体需求的提高，智能体的活动不再局限于简单环境与单一任务，面向复杂的应用场景，智能体需要具备自主完成决策与执行的能力。本文研究了面向线性时序逻辑描述下的复杂任务智能体的不确定行为规划问题，同时考虑任务成功率与任务执行成本，这里不确定性因素包括智能体行为与环境属性，任务描述由软、硬约束两部分表达。文中应用形式化方法中模型检测的思想确定智能体行为选择策略，其中应用马尔可夫决策过程构建智能体个体与集群模型，应用双层自动机模型构建任务模型，设计智能体-任务网络模型表征约束条件并通过一耦合线性规划完成策略求解，并通过数值仿真测试对上述方法进行了验证。结果表明含软、硬约束的复杂任务约束可被满足，求解所得最优策略使智能体按约束强度完成任务，且可通过调节惩罚因子控制网络模型的松弛程度调整生成的控制策略。
Probabilistic action planning based on linear temporal logic

陈仲瑶、方浩

展开 >

北京理工大学自动化学院,北京100081

线性时序逻辑 不确定行为规划 双层自动机 软、硬任务约束

深圳机器人基础研究中心项目国家自然科学基金重大国际(地区)合作研究项目、国家自然科学基金国家自然科学基金国家自然科学基金鹏城实验室和智能机器人与系统高精尖创新中心资助

U1913602617201060116187303361903035

2020

中国科学(技术科学)
中国科学院

中国科学(技术科学)

CSTPCDCSCD北大核心EI
影响因子：0.752
ISSN：1674-7259
年,卷(期)：2020.50(5)
  • 4
  • 22