Conformant规划的编码方式研究

作     者：张波 吕帅 刘磊 张鹏 ZHANG Bo;LV Shuai;LIU Lei;ZHANG Peng

作者机构：吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学数学学院长春130012 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2011年第47卷第34期

页      面：29-33,43页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(No.60873044 No.60803102 No.61070084) 中央高校基本科研业务费专项资金(No.201103124) 吉林大学研究生创新基金(No.20111060) 

主　　题：智能规划 Conformant规划 编码方式 

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