基于动态约束满足框架的强表达时态规划算法

摘要：

智能规划已经成为人工智能领域最热门的研究主题之一.近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战.以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明；最后以一个规划实例演示了算法的运行过程.

关键词：智能规划、强表达时态规划、动态约束满足问题、算法

所属期刊栏目：39

分类号：TP181(自动化基础理论)

资助基金：梅州市科学技术局,梅州市科技计划项目梅市科20113号;嘉应学院联合自然科学研究项目2010KJA06;嘉应学院科研启动经费项目资助

在线出版日期：2012-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：226-230