江鸿

作品数：6被引量：1H指数：0
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：规划方法公理命题变元可满足性更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机研究与发展》《吉林大学学报（工学版）》《计算机科学》更多>>
所获基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于压缩编码的经典最优规划方法被引量：1
《吉林大学学报（工学版）》2010年第6期1644-1649,共6页吕帅 刘磊 江鸿 魏唯 
国家自然科学基金项目(60603031;60773097;60873044;60873148;60973089);高等学校博士学科点专项科研基金项目(20060183044)
在基于Graphplan的编码方式的基础上,设计了基于PMA的编码方式,并从理论上证明了该编码方式的有效性;提出了编码求解过程中的一种目标状态预处理策略;设计并实现了相应的规划系统PMA-SP,并利用国际规划竞赛选用的Benchmark问题予以测试...
关键词：人工智能 基于可满足性的规划 基于Graphplan的编码 互斥公理 规划系统 
一种约简动作变元的命题规划编码方式被引量：1
《计算机研究与发展》2010年第10期1756-1763,共8页吕帅 刘磊 江鸿 史晶晶( 
国家自然科学基金项目(60773097;60873044;60803102);高等学校博士学科点专项科研基金项目(20060183044;20070183057);符号计算与知识工程教育部重点实验室开放基金项目(93K-17-2009-K02;93K-17-2009-K06)~~
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造...
关键词：智能规划 基于可满足性的规划 编码方式 可满足性 公理 
基于命题可满足性的经典最优规划方法
《计算机科学》2010年第4期192-196,共5页吕帅 刘磊 江鸿 魏唯 
国家自然科学基金(60603031;60773097;60873044);教育部高等学校博士学科点专项科研基金(20060183044;20070183057)资助
基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方...
关键词：基于可满足性的规划 基于Graphplan的编码 编码 框架公理 规划系统 
一种约简动作变元的命题规划编码方式
《中国科技论文在线》2010年第2期138-144,共7页吕帅 刘磊 江鸿 史晶晶 
国家自然科学基金(60603031;60773097;60873044);高等学校博士学科点专项科研基金(20060183044;20070183057)
依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式。首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几...
关键词：智能规划 基于可满足性的规划 基于动作的编码 基于命题的编码 自动编码 公理 
命题编码中公理的组合与设计
《计算机科学》2009年第10期202-208,共7页江鸿 刘大有 吕帅 蔡敦波 史晶晶 
国家自然科学基金重大项目(60496321);国家自然科学基金项目(60573073;60503016;60603030;60773099;60703022;60873149);国家863高技术研究发展计划项目(2006AA10Z245;2006AA10A309);吉林省科技发展计划重点项目(20060213);欧盟项目TH/AsiaLink/010(111084)资助
近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码...
关键词：智能规划 基于可满足性的规划 Graphplan 公理 
基于多值表示的并行规划方法
《计算机科学》2009年第9期186-192,共7页史晶晶 刘大有 蔡敦波 吕帅 江鸿 
国家自然科学基金重大项目(60496321);国家自然科学基金项目(60573073;60503016;60603030;60773099;60703022;60873149);国家863高技术研究发展计划项目(2006AA10Z245;2006AA10A309);吉林省科技发展计划重点项目(20060213);欧盟项目TH/AsiaLink/010(111084)资助
Fast Downward规划系统是第四届国际规划竞赛的冠军。以高效的串行规划系统Fast Downward为基础,设计并实现了并行规划系统Parallel Downward。首先提出4个并行规划的相关定义;之后提出多值规划任务下动作互斥的定义、充要条件,并实现...
关键词：并行规划 多值规划任务 状态空间启发式搜索 因果图启发式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部