计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (34): 29-33.
张 波1,吕 帅1,2,3,刘 磊1,张 鹏1
ZHANG Bo1,LV Shuai1,2,3,LIU Lei1,ZHANG Peng1
摘要: 以智能规划领域中的Conformant规划为研究对象,对几种Conformant规划中的编码方式予以综述;分别介绍了基于K(P)的编码方式、基于KT,M(P)的编码方式、基于Ki(P)的编码方式、基于d-DNNF的编码方式和CF2SAT编码方式。通过对几种编码方式的分析,说明基于转换思想的编码方式在Conformant规划中的作用,探讨其相关的研究热点和趋势。