期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于压缩编码的经典最优规划方法
被引量:
1
1
作者
吕帅
刘磊
+1 位作者
江鸿
魏唯
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2010年第6期1644-1649,共6页
在基于Graphplan的编码方式的基础上,设计了基于PMA的编码方式,并从理论上证明了该编码方式的有效性;提出了编码求解过程中的一种目标状态预处理策略;设计并实现了相应的规划系统PMA-SP,并利用国际规划竞赛选用的Benchmark问题予以测试...
在基于Graphplan的编码方式的基础上,设计了基于PMA的编码方式,并从理论上证明了该编码方式的有效性;提出了编码求解过程中的一种目标状态预处理策略;设计并实现了相应的规划系统PMA-SP,并利用国际规划竞赛选用的Benchmark问题予以测试。结果表明:与SATPLAN2006相比,对于顺序规划域Blocks World,编码规模压缩了40%,求解效率提高了2倍;对于并发规划域Logistics,编码规模压缩了80%以上,求解效率各有好坏,PMA-SP对于所测两类规划域编码规模有所压缩,求解效率也有一定程度的提高。
展开更多
关键词
人工智能
基于可满足性的规划
基于Graphplan的编码
互斥公理
规划系统
下载PDF
职称材料
题名
基于压缩编码的经典最优规划方法
被引量:
1
1
作者
吕帅
刘磊
江鸿
魏唯
机构
吉林大学计算机科学与技术学院
出处
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2010年第6期1644-1649,共6页
基金
国家自然科学基金项目(60603031
60773097
+3 种基金
60873044
60873148
60973089)
高等学校博士学科点专项科研基金项目(20060183044)
文摘
在基于Graphplan的编码方式的基础上,设计了基于PMA的编码方式,并从理论上证明了该编码方式的有效性;提出了编码求解过程中的一种目标状态预处理策略;设计并实现了相应的规划系统PMA-SP,并利用国际规划竞赛选用的Benchmark问题予以测试。结果表明:与SATPLAN2006相比,对于顺序规划域Blocks World,编码规模压缩了40%,求解效率提高了2倍;对于并发规划域Logistics,编码规模压缩了80%以上,求解效率各有好坏,PMA-SP对于所测两类规划域编码规模有所压缩,求解效率也有一定程度的提高。
关键词
人工智能
基于可满足性的规划
基于Graphplan的编码
互斥公理
规划系统
Keywords
artificial intelligence
planning as satisfiability
Graphplan-based encoding
mutex axiom
planner
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于压缩编码的经典最优规划方法
吕帅
刘磊
江鸿
魏唯
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2010
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部