| 依赖公理约简的经典规划方法 |
| |
| 引用本文： | 吕帅,刘磊,石莲,魏唯,杨超.依赖公理约简的经典规划方法[J].电子学报,2011,39(2):322-328. |
| |
| 作者姓名： | 吕帅 刘磊 石莲 魏唯 杨超 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院;吉林大学符号计算与知识工程教育部重点实验室;吉林大学数学学院; |
| |
| 基金项目： | 国家自然科学基金(No.60773097,No.60873044,No.60803102,No.61070084); 高等学校博士学科点专项科研基金(No.20070183057); 符号计算与知识工程教育部重点实验室开放基金(No.93K-17-2009-K02,No.93K-17-2009-K06) |
| |
| 摘 要： | 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.
|
| 关 键 词： | 智能规划 基于可满足性的规划 命题逻辑 公理约简 编码 |
| 收稿时间： | 2009-11-11 |
Classical Planning Methods Based on Axioms Reduction |
| |
| L Shuai,LIU Lei,SHI Lian,WEI Wei,YANG Chao.Classical Planning Methods Based on Axioms Reduction[J].Acta Electronica Sinica,2011,39(2):322-328. |
| |
| Authors: | L Shuai LIU Lei SHI Lian WEI Wei YANG Chao |
| |
| Institution: | Lü Shuai1,2,3,LIU Lei1,SHI Lian1,WEI Wei1,YANG Chao1(1.College of Computer Science and Technology,Jilin University,Changchun,Jilin 130012,China,2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,3.College of Mathematics,Jilin Uniuersity,China) |
| |
| Abstract: | Planning as satisfiability is a universal planning framework,which translates the classical planning problem to a series of satisfiability problems,and then solves them using different kinds of excellent SAT deciders.Almost all the existing propositional encoding methods based on planning as satisfiability include a mass of overlapped axioms and redundant axioms,which have a serious influence upon the magnitude of the corresponding encoding theories and the performance of corresponding planners.In this pape... |
| |
| Keywords: | intelligent planning planning as satisfiability propositional logic axiom reduction encoding |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
| 点击此处可从《电子学报》下载免费的PDF全文 |
|
