计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (34): 29-33.

• 研究、探讨 • 上一篇    下一篇

Conformant规划的编码方式研究

张 波1,吕 帅1,2,3,刘 磊1,张 鹏1   

  1. 1.吉林大学 计算机科学与技术学院,长春 130012
    2.吉林大学 符号计算与知识工程教育部重点实验室,长春 130012
    3.吉林大学 数学学院,长春 130012
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-12-01 发布日期:2011-12-01

Research on encoding methods in Conformant planning

ZHANG Bo1,LV Shuai1,2,3,LIU Lei1,ZHANG Peng1   

  1. 1.College of Computer Science and Technology,Jilin University,Changchun 130012,China
    2.Key Laboratory of Symbolic Computation and Knowledge Engineering of MOE,Jilin University,Changchun 130012,China
    3.College of Mathematics,Jilin University,Changchun 130012,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-12-01 Published:2011-12-01

摘要: 以智能规划领域中的Conformant规划为研究对象,对几种Conformant规划中的编码方式予以综述;分别介绍了基于K(P)的编码方式、基于KT,M(P)的编码方式、基于Ki(P)的编码方式、基于d-DNNF的编码方式和CF2SAT编码方式。通过对几种编码方式的分析,说明基于转换思想的编码方式在Conformant规划中的作用,探讨其相关的研究热点和趋势。

关键词: 智能规划, Conformant规划, 编码方式

Abstract: Taking the Conformant planning of planning domain as the research target,this paper gives general reviews for some encoding methods of Conformant planning,which includes K(P)-based encoding method,KT,M(P)-based encoding method,Ki(P)-based encoding methods,d-DNNF-based encoding method,and CF2SAT encoding method.By analyzing the above encoding methods,it shows that the translation-based encoding methods play an important role in the Conformant planning,and also proposes the relevant hotspots and trends.

Key words: intelligent planning, Conformant planning, encoding methods