以智能规划领域中的Conformant规划为研究对象,对几种Conformant规划中的编码方式予以综述;分别介绍了基于K(P)的编码方式、基于KT,M(P)的编码方式、基于K(iP)的编码方式、基于d-DNNF的编码方式和CF2SAT编码方式。通过对几种编码方式的分析,说明基于转换思想的编码方式在Conformant规划中的作用,探讨其相关的研究热点和趋势。
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,K T,M (P)-based encoding method, K i (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 pro- poses the relevant hotspots and trends.