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

• 作者: 刘越畅
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 智能规划 强表达时态规划 动态约束满足问题 算法
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 人工智能
• 页码范围: 226-230
• 分类号: TP181
• 字数: 6397字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.06.056

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘越畅	嘉应学院计算机学院	6	50	3.0	6.0