-
题名基于命题可满足性的经典最优规划方法
- 1
-
-
作者
吕帅
刘磊
江鸿
魏唯
-
机构
吉林大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2010年第4期192-196,共5页
-
基金
国家自然科学基金(60603031
60773097
+2 种基金
60873044)
教育部高等学校博士学科点专项科研基金(20060183044
20070183057)资助
-
文摘
基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方式的有效性。设计并实现对应的规划系统FA-SP,利用国际规划竞赛选用的Benchmark问题予以测试。实验结果表明,与SATPLAN2006相比,FA-SP对于所测两类规划域编码规模均有所压缩,除个别问题外求解效率都有一定程度的提高;对于顺序规划域Blocks World,编码规模平均压缩了40%,求解效率平均提高了2倍;对于并发规划域Logistics,带有小于5%的框架公理的FA编码规模平均压缩了75%,求解效率也有不同程度的提高。
-
关键词
基于可满足性的规划
基于Graphplan的编码
编码
框架公理
规划系统
-
Keywords
Planning as satisfiability, Graphplan-based encoding, Encoding, Frame axiom, Planner
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种约简动作变元的命题规划编码方式
被引量：1
- 2
-
-
作者
吕帅
刘磊
江鸿
史晶晶(
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第10期1756-1763,共8页
-
基金
国家自然科学基金项目(60773097
60873044
+4 种基金
60803102)
高等学校博士学科点专项科研基金项目(20060183044
20070183057)
符号计算与知识工程教育部重点实验室开放基金项目(93K-17-2009-K02
93K-17-2009-K06)~~
-
文摘
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.
-
关键词
智能规划
基于可满足性的规划
编码方式
可满足性
公理
-
Keywords
intelligent planning
planning as satisfiability
encoding method
satisfiability
axiom
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名依赖公理约简的经典规划方法
- 3
-
-
作者
吕帅
刘磊
石莲
魏唯
杨超
-
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
吉林大学数学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第2期322-328,共7页
-
基金
国家自然科学基金(No.60773097
No.60873044
+4 种基金
No.60803102
No.61070084)
高等学校博士学科点专项科研基金(No.20070183057)
符号计算与知识工程教育部重点实验室开放基金(No.93K-17-2009-K02
No.93K-17-2009-K06)
-
文摘
基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.
-
关键词
智能规划
基于可满足性的规划
命题逻辑
公理约简
编码
-
Keywords
intelligent planning
planning as satisfiability
propositional logic
axiom reduction
encoding
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名命题编码中公理的组合与设计
- 4
-
-
作者
江鸿
刘大有
吕帅
蔡敦波
史晶晶
-
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2009年第10期202-208,共7页
-
基金
国家自然科学基金重大项目(60496321)
国家自然科学基金项目(60573073
+8 种基金
60503016
60603030
60773099
60703022
60873149)
国家863高技术研究发展计划项目(2006AA10Z245
2006AA10A309)
吉林省科技发展计划重点项目(20060213)
欧盟项目TH/AsiaLink/010(111084)资助
-
文摘
近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。
-
关键词
智能规划
基于可满足性的规划
Graphplan
公理
-
Keywords
Intelligent planning,Planning as satisfiability,Graphplan,Axiom
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TN919.81
[电子电信—通信与信息系统]
-
