| 智能规划的逻辑编码求解性能分析 |
| |
| 引用本文： | 陈爱华,吕帅,刘磊,张鹏.智能规划的逻辑编码求解性能分析[J].华中科技大学学报(自然科学版),2012(Z1):351-354,358. |
| |
| 作者姓名： | 陈爱华 吕帅 刘磊 张鹏 |
| |
| 作者单位： | 北京邮电大学理学院;北京邮电大学网络与交换技术国家重点实验室;吉林大学计算机科学与技术学院;吉林大学数学学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(61170270,61100203,60903152,61003286,61121061);中央高校基本科研业务费专项资金资助项目(BUPT2011YB01,BUPT2011RC0505,2011PTB-00-29,2011RCZJ15,2012RC0612) |
| |
| 摘 要： | 将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.
|
| 关 键 词： | 智能规划 命题逻辑 SATPLAN规划系统 编码方式 编码求解器 |
Solving capability analysis of logical encodings in intelligent planning |
| |
| Chen Aihua,L Shuai,Liu Lei,a Zhang Peng.Solving capability analysis of logical encodings in intelligent planning[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2012(Z1):351-354,358. |
| |
| Authors: | Chen Aihua L Shuai Liu Lei a Zhang Peng |
| |
| Institution: | 1a School of Science,b State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China;2a College of Computer Science and Technology,b College of Mathematics,Jilin University,Changchun 130012,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
