检索结果-维普期刊中文期刊服务平台

基于命题可满足性的经典最优规划方法: 1; 作者吕帅刘磊 +1 位作者江鸿魏唯《计算机科学》 CSCD 北大核心 2010年第4期192-196,共5页; 基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方... 展开更多; 关键词基于可满足性的规划基于graphplan的编码编码框架公理规划系统; 在线阅读下载PDF 职称材料

基于自动推理技术的智能规划方法被引量：22: 2; 作者吕帅刘磊 +1 位作者石莲李莹《软件学报》 EI CSCD 北大核心 2009年第5期1226-1240,共15页; 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 展开更多; 关键词智能规划命题逻辑模态逻辑非单调逻辑描述逻辑自动推理可满足性; 在线阅读下载PDF 职称材料

基于模态逻辑D公理系统的Conformant规划方法被引量：6: 3; 作者吕帅刘磊 +1 位作者李莹石莲《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1160-1168,共9页; 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 展开更多; 关键词 conformant规划模态逻辑自动推理可满足性公理系统 D公理; 在线阅读下载PDF 职称材料

图规划框架下的启发式搜索的研究与发展被引量：4: 4; 作者谷文祥王改革 +1 位作者殷明浩孙焱《计算机科学》 CSCD 北大核心 2009年第11期1-9,共9页; 随着智能规划研究的深入,以往的规划器已不能满足实际应用的需要。为了提高规划器求解实际问题的能力,启发式搜索产生了。对近10年来各种启发式搜索方法进行了分析,指出了它们的优缺点,并进行了比较。同时对智能规划及其启发式搜索的未... 展开更多; 关键词人工智能智能规划启发式搜索图规划; 在线阅读下载PDF 职称材料

命题编码中公理的组合与设计: 5; 作者江鸿刘大有 +2 位作者吕帅蔡敦波史晶晶《计算机科学》 CSCD 北大核心 2009年第10期202-208,共7页; 近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码... 展开更多; 关键词智能规划基于可满足性的规划 graphplan 公理; 在线阅读下载PDF 职称材料

智能规划的逻辑编码方式研究被引量：2: 6; 作者吕帅刘磊 +1 位作者魏唯高冰冰《计算机研究与发展》 EI CSCD 北大核心 2012年第3期607-619,共13页; 逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果... 展开更多; 关键词智能规划逻辑编码方式编码公理; 在线阅读下载PDF 职称材料

一种约简动作变元的命题规划编码方式被引量：1: 7; 作者吕帅刘磊 +1 位作者江鸿史晶晶( 《计算机研究与发展》 EI CSCD 北大核心 2010年第10期1756-1763,共8页; 基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造... 展开更多; 关键词智能规划基于可满足性的规划编码方式可满足性公理; 在线阅读下载PDF 职称材料

依赖公理约简的经典规划方法: 8; 作者吕帅刘磊 +2 位作者石莲魏唯杨超《电子学报》 EI CAS CSCD 北大核心 2011年第2期322-328,共7页; 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出... 展开更多; 关键词智能规划基于可满足性的规划命题逻辑公理约简编码; 在线阅读下载PDF 职称材料

图规划框架下规划修补算法的研究与实现: 9; 作者李国强姜云飞《计算机工程与应用》 CSCD 北大核心 2009年第13期51-53,共3页; 智能规划是人工智能研究领域近年来发展起来的一个研究热点。在图规划框架下,充分考虑了图的层次结构对规划修补的作用,利用已有的修补结果,对GPG修补算法进行了改进,针对特定的变化情况,给出了一种有效的修补算法。实验数据表明,修补... 展开更多; 关键词智能规划图规划规划修补; 在线阅读下载PDF 职称材料

题名基于命题可满足性的经典最优规划方法: 1; 作者吕帅刘磊江鸿魏唯; 机构吉林大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2010年第4期192-196,共5页; 基金国家自然科学基金(60603031 60773097 +2 种基金 60873044) 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 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于自动推理技术的智能规划方法被引量：22: 2; 作者吕帅刘磊石莲李莹; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《软件学报》 EI CSCD 北大核心 2009年第5期1226-1240,共15页; 基金国家自然科学基金Nos.60603031 60773097 +4 种基金 60873044 20060183044 20070183057 吉林省科技发展计划项目No.20060532~~; 文摘对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.; 关键词智能规划命题逻辑模态逻辑非单调逻辑描述逻辑自动推理可满足性; Keywords intelligent planning propositional logic modal logic nonmonotonic logic description logic automated reasoning satisfiability; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于模态逻辑D公理系统的Conformant规划方法被引量：6: 3; 作者吕帅刘磊李莹石莲; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1160-1168,共9页; 基金国家自然科学基金项目(60603031 60773097 +3 种基金 60873044) 20060183044 20070183057)~~; 文摘 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.; 关键词 conformant规划模态逻辑自动推理可满足性公理系统 D公理; Keywords conformant planning modal logic automated reasoning satisfiability axiomatic system D axiom; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名图规划框架下的启发式搜索的研究与发展被引量：4: 4; 作者谷文祥王改革殷明浩孙焱; 机构东北师范大学计算机学院中国科学院研究生院中国科学院长春光学精密机械与物理研究所; 出处《计算机科学》 CSCD 北大核心 2009年第11期1-9,共9页; 基金国家自然科学基金项目(编号:60473042 60573067和60803102)资助; 文摘随着智能规划研究的深入,以往的规划器已不能满足实际应用的需要。为了提高规划器求解实际问题的能力,启发式搜索产生了。对近10年来各种启发式搜索方法进行了分析,指出了它们的优缺点,并进行了比较。同时对智能规划及其启发式搜索的未来发展方向进行了分析与预测,旨在让研究和关心该领域的学者较为全面地了解这一领域。; 关键词人工智能智能规划启发式搜索图规划; Keywords AI, intelligent planning,State heuristic search,graphplan; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名命题编码中公理的组合与设计: 5; 作者江鸿刘大有吕帅蔡敦波史晶晶; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机科学》 CSCD 北大核心 2009年第10期202-208,共7页; 基金国家自然科学基金重大项目(60496321) 国家自然科学基金项目(60573073 +8 种基金 60503016 60603030 60773099 60703022 60873149) 2006AA10A309) 欧盟项目TH/AsiaLink/010(111084)资助; 文摘近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。; 关键词智能规划基于可满足性的规划 graphplan 公理; Keywords intelligent planning,planning as satisfiability,graphplan,axiom; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TN919.81 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名智能规划的逻辑编码方式研究被引量：2: 6; 作者吕帅刘磊魏唯高冰冰; 机构吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2012年第3期607-619,共13页; 基金国家自然科学基金项目(60773097 60873044 +7 种基金 60803102 61070084 61100090) 200903183) 93K-17-2009-K06); 文摘逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.; 关键词智能规划逻辑编码方式编码公理; Keywords intelligent planning logic encoding method encoding axiom; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种约简动作变元的命题规划编码方式被引量：1: 7; 作者吕帅刘磊江鸿史晶晶(; 机构吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2010年第10期1756-1763,共8页; 基金国家自然科学基金项目(60773097 60873044 +4 种基金 60803102) 20070183057) 93K-17-2009-K06)~~; 文摘基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.; 关键词智能规划基于可满足性的规划编码方式可满足性公理; Keywords intelligent planning planning as satisfiability encoding method satisfiability axiom; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名依赖公理约简的经典规划方法: 8; 作者吕帅刘磊石莲魏唯杨超; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室吉林大学数学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第2期322-328,共7页; 基金国家自然科学基金(No.60773097 No.60873044 +4 种基金 No.60803102 No.61070084) No.93K-17-2009-K06); 文摘基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.; 关键词智能规划基于可满足性的规划命题逻辑公理约简编码; Keywords intelligent planning planning as satisfiability propositional logic axiom reduction encoding; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名图规划框架下规划修补算法的研究与实现: 9; 作者李国强姜云飞; 机构临沂师范学院信息学院中山大学软件所; 出处《计算机工程与应用》 CSCD 北大核心 2009年第13期51-53,共3页; 基金国家自然科学基金No.60773201~~; 文摘智能规划是人工智能研究领域近年来发展起来的一个研究热点。在图规划框架下,充分考虑了图的层次结构对规划修补的作用,利用已有的修补结果,对GPG修补算法进行了改进,针对特定的变化情况,给出了一种有效的修补算法。实验数据表明,修补算法有较好的有效性。; 关键词智能规划图规划规划修补; Keywords intelligent planning graphplan planning repair; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于命题可满足性的经典最优规划方法	吕帅刘磊江鸿魏唯	《计算机科学》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
2	基于自动推理技术的智能规划方法	吕帅刘磊石莲李莹	《软件学报》 EI CSCD 北大核心	2009	22	在线阅读下载PDF 职称材料
3	基于模态逻辑D公理系统的Conformant规划方法	吕帅刘磊李莹石莲	《计算机研究与发展》 EI CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
4	图规划框架下的启发式搜索的研究与发展	谷文祥王改革殷明浩孙焱	《计算机科学》 CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
5	命题编码中公理的组合与设计	江鸿刘大有吕帅蔡敦波史晶晶	《计算机科学》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
6	智能规划的逻辑编码方式研究	吕帅刘磊魏唯高冰冰	《计算机研究与发展》 EI CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
7	一种约简动作变元的命题规划编码方式	吕帅刘磊江鸿史晶晶(	《计算机研究与发展》 EI CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
8	依赖公理约简的经典规划方法	吕帅刘磊石莲魏唯杨超	《电子学报》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
9	图规划框架下规划修补算法的研究与实现	李国强姜云飞	《计算机工程与应用》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料