文献类型：会议

作　　者：刘日仙 谷文祥 欧华杰

作者单位：东北师范大学计算机学院计算机科学系,长春,130024

会议文献：计算机科学

会议名称：2004年全国理论计算机科学学术年会

会议日期：20041022

会议地点：武汉

主办单位：中国计算机学会

出版日期：20041022

语　　种：中文

摘　　要：一个问题求解系统通常由三部分组成:知识表示、存储知识的数据结构和知识的推理.知识表示是知识推理的前提.一个规划器可以看成是一个问题求解系统,自然地也由相对应的三个部分组成:规划问题的定义、存储规划的数据结构(如规划图、状态空间图等)及规划的搜索.规划问题的定义是规划问题求解的前提,如果一个规划问题不能通过规划语言来表示,则任何一个规划器都不能对它进行求解,所以说规划语言的发展是智能规划发展的关键.1971年Fike和Nilson的STRIPS系统在智能规划中具有划时代的意义,因为它使得规划可以非常容易地进行描述和操作.但随着规划技术的应用,人们发觉STRIPS表示的表达能力非常有限,它不能满足一些实际问题的模型化要求.设计一种能够刻画、模型化一个实际问题的规划问题定义语言成为了规划技术应用的关键,1996年E.Pednault提出了动作描述语言--ADL(ActionDescriptionLanguage),ADL除了具有STRIPS的表达能力外,还能表达条件效果、量化效果等语言特征.1998年DrewMcDermott提出了问题定义语言(PDDL),它逐渐地成为公认的国际智能规划比赛(interna-tionalplanningcompetition)的标准.PDDL语言不仅给出了规划问题定义的语法,也从语义的角度给出了规划的定义.PDDL语言的表达能力非常强,能够刻画规划问题的时间和数值方面的属性,超过了现有的规划器所能处理的表达能力,给规划器的发展提出了挑战,指明了发展的方向.

关 键 词：人工智能 动作描述语言  STRIPS系统  规划语言  

分 类 号：TP312]