基于命题可满足性的经典最优规划方法

• 作者: 刘磊 吕帅 江鸿 魏唯
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 基于可满足性的规划 基于Graphplan的编码 编码 框架公理 规划系统
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 192-196
• 分类号: TP181
• 字数: 7436字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.04.048

摘要

基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式.首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方式的有效性.设计并实现对应的规划系统FA-SP,利用国际规划竞赛选用的Benchmark问题予以测试.实验结果表明,与SATPLAN2006相比,FA-SP对于所测两类规划域编码规模均有所压缩,除个别问题外求解效率都有一定程度的提高;对于顺序规划域Blocks World,编码规模平均压缩了40%,求解效率平均提高了2倍;对于并发规划域Logistics,带有小于5%的框架公理的FA编码规模平均压缩了75%,求解效率也有不同程度的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
3	江鸿	吉林大学计算机科学与技术学院	5	1	1.0	1.0
4	魏唯	吉林大学计算机科学与技术学院	11	74	4.0	8.0