规划的形式表示技术研究

摘要：

智能规划是人工智能研究领域中的一个富有挑战性的课题.同时,智能规划问题具有广泛的实际应用背景.而自动规划问题面临的首要问题是规划问题的形式表示问题.本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向.

关键词：智能规划、形式表示、情景演算、STRIPS、PDDL、HTN

所属期刊栏目：35

分类号：F40;TP3

资助基金：国家自然科学基金60173039

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

页数：共6页

页码：105-110