摘要
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。
AI planning has been the key research topic in artificial intelligence（AI） community.In recent years,AI planning technology has been applied to solve many real-world problems,which gives a challenge for AI planner both in handling power and efficiency.This paper studied a kind of expressive temporal planning paradigm——constraint based interval（CBI） planning.Based on the dynamic constraint satisfaction problem framework,the author designed a new CBI algorithm named LP-TPOP.The paper gave the proof of soundness and completeness for LP-TPOP,and algorithm demonstration for a CBI planning example.
出处
《计算机科学》
CSCD
北大核心
2012年第6期226-230,共5页
Computer Science
基金
梅州市科学技术局
梅州市科技计划项目(梅市科(2011)3号)
嘉应学院联合自然科学研究项目(2010KJA06)
嘉应学院科研启动经费项目资助
关键词
智能规划
强表达时态规划
动态约束满足问题
算法
AI planning
Expressive temporal planning
Dynamic constraint satisfaction problem
Algorithm
