期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

智能规划的逻辑编码求解性能分析

Solving capability analysis of logical encodings in intelligent planning
原文传递
导出
摘要 将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率. 将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.
作者 陈爱华 吕帅 刘磊 张鹏
机构地区 北京邮电大学理学院 北京邮电大学网络与交换技术国家重点实验室 吉林大学计算机科学与技术学院 吉林大学数学学院
出处 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第S1期351-354,358,共5页 Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金 国家自然科学基金资助项目(61170270 61100203 60903152 61003286 61121061) 中央高校基本科研业务费专项资金资助项目(BUPT2011YB01 BUPT2011RC0505 2011PTB-00-29 2011RCZJ15 2012RC0612)
关键词 智能规划 命题逻辑 SATPLAN规划系统 编码方式 编码求解器 intelligent planning propositional logic SATPLAN planner system encoding method encoding solver
分类号 N55 [自然科学总论]
  • 相关文献

参考文献18

  • 1Rintanen J.Planning as satisfiability:heuristics. Artificial Intelligence . 2012
  • 2Nau D,Muoz-Avila H,Cao Y,et al.Total-orderplanning with partially ordered subtasks. Proc ofthe 17th International Joint Conference on ArtificialIntelligence . 2001
  • 3Huang Ruoyun,Chen Yixin,Zhang Weixiong.SAS+Planning as satisfiability. Artificial Intelligence . 2012
  • 4Kautz H,McAllester D,Selman B.Encoding plansin propositional logic. Proc of the 5th Int′l Confon Principles of Knowledge Representation and Rea-soning . 1996
  • 5Rintanen J.Heuristics for planning with SAT. Lecture Notes in Computer Science . 2010
  • 6Kautz H,Selman B,Hoffmann J.SatPlan:planningas satisfiability[C/OL]. Proc of the 5th InternationalPlanning Competition Booklet . 2006
  • 7Selman B,Kautz H.Domain-independent extensionsto GSAT:solving large structured satisfiabilityproblems. Proc of the 13th International JointConference on Artificial Intelligence . 1993
  • 8Blum A L,Furst M.Fast planning through planning graph analysis. Artificial Intelligence . 1997
  • 9Kautz H,Selman B.Planning as satisfiability. Proc. of the 10th European Conf. on Artificial Intelligence . 1992
  • 10Rintanen J.Planning as satisfiability:heuristics. Artificial Intelligence . 2012
华中科技大学学报（自然科学版）
2012年 第S1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部