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

从规划解中学习一阶派生谓词规则被引量：11: 1; 作者饶东宁蒋志华 +1 位作者姜云飞刘强《计算机学报》 EI CSCD 北大核心 2010年第2期251-266,共16页; 派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-O... 展开更多; 关键词人工智能智能规划派生谓词规则归纳学习激活集; 在线阅读下载PDF 职称材料

一种计算动作派生前提的激活集的改进方法被引量：13: 2; 作者蒋志华姜云飞《计算机学报》 EI CSCD 北大核心 2007年第12期2061-2073,共13页; 动作的派生前提和动作删除效果的"连锁反应"是处理派生规划问题中的难点问题,基于激活集的方法是一种简单、有效的方法,但是激活集的计算时间往往过多,文中提出一种新的方法来计算激活集.LPG-td规划系统所提出的激活集是与状... 展开更多; 关键词智能规划派生规划问题激活集基化; 在线阅读下载PDF 职称材料

规划领域定义语言的演进综述被引量：6: 3; 作者饶东宁蒋志华姜云飞《计算机工程与应用》 CSCD 北大核心 2010年第22期23-25,46,共4页; 规划领域定义语言是智能规划研究中问题描述的标准语言,它同时起到了建模和通信语言的作用。随着智能规划得到了很大的发展,规划定义语言的作用越来越重要。但至今尚无对其版本、特性和语义的演进过程的综述。鉴于此,对规划领域定义语... 展开更多; 关键词智能规划规划领域定义语言建模语言通信语言特性语义; 在线阅读下载PDF 职称材料

基于AI Planning的Parlay X电信业务设计被引量：1: 4; 作者蒋志华饶东宁 +1 位作者姜云飞江洪《计算机学报》 EI CSCD 北大核心 2011年第2期304-317,共14页; Parlay X是一组电信网络服务(WS)应用程序接口(APIs),智能规划可作为一种WS组合(WSC)方法,所以理论上可基于智能规划设计使用Parlay X APIs的电信业务.但WSC有容错和对动作变化推理的要求,电信业务有多种触发方式和异步响应等特性,智能... 展开更多; 关键词人工智能智能规划网络服务组合 PARLAY X; 在线阅读下载PDF 职称材料

计算机网络规划方案自动生成与估算系统的设计被引量：2: 5; 作者梁伟晟李磊《计算机工程与应用》 CSCD 北大核心 2000年第6期135-137,共3页; 文章分析了当前计算机网络手工规划存在的困难，并简单介绍了网络规划的内容，指出在规划过程中引入计算机作为辅助手段，可以使规划过程尽可能自动化。基于这些思想，该文设计了一个计算机网络规划方案自动生成与估算系统。; 关键词计算机网络网络规划自动生成估算系统; 在线阅读下载PDF 职称材料

AS/400的2000年问题的探讨: 6; 作者梁伟晟吴志辉《计算机工程》 CAS CSCD 北大核心 1999年第7期6-7,10,共3页; 2000年问题是IT行业要迫切解决的问题。分析了AS/400的2000年问题，并且给出了一个可行的AS/4002000年问题实施方案。; 关键词 2000年问题 AS/400 窗口计算机; 在线阅读下载PDF 职称材料

题名从规划解中学习一阶派生谓词规则被引量：11: 1; 作者饶东宁蒋志华姜云飞刘强; 机构广东工业大学计算机学院中山大学信息科技学院软件研究所暨南大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 2010年第2期251-266,共16页; 基金国家自然科学基金(60173039) 广东工业大学博士启动基金项目(093032)资助~~; 文摘派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-Order Derived Rules Learning)的算法,在不完美的初始领域理论的引导下从观察到的规划解中学习一阶派生谓词规则.FODRL基于归纳学习算法FOIL(First-Order Inductive Learning),最主要的改进是可以使用派生谓词的激活集来扩大搜索步,从而提高学习到的规则的精确度.学习过程分为两个步骤:先从规划解中提取训练例,然后学习能够最好拟合训练例和初始领域理论的一阶规则集.在PSR和PROME-LA两个派生规划领域进行实验,结果表明,在大部分情况下FODRL比FOIL(甚至包括其变型算法FOCL)学习到的规则的精确度都要高.; 关键词人工智能智能规划派生谓词规则归纳学习激活集; Keywords artificial intelligence automated planning derived predicate rules inductive learning activation set; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种计算动作派生前提的激活集的改进方法被引量：13: 2; 作者蒋志华姜云飞; 机构中山大学信息科技学院软件研究所; 出处《计算机学报》 EI CSCD 北大核心 2007年第12期2061-2073,共13页; 文摘动作的派生前提和动作删除效果的"连锁反应"是处理派生规划问题中的难点问题,基于激活集的方法是一种简单、有效的方法,但是激活集的计算时间往往过多,文中提出一种新的方法来计算激活集.LPG-td规划系统所提出的激活集是与状态有关的并且需要在规则图上反复计算,而文中提出的激活集是与状态无关的,通过规则分裂来对规则集进行"基化",使得寻找激活集的时间逐渐地由指数级降为线性级.实现了一个新的能够处理派生规划问题的规划系统LPGSIAS,通过对基准问题的求解,表明LPGSIAS比LPG-td在大部分情况下更高效.与状态无关的激活集可以方便地转化为与状态有关的激活集,文中通过提出一种求解与状态无关的激活集的改进方法来加快对派生规划问题的求解速度.; 关键词智能规划派生规划问题激活集基化; Keywords AI planning derived planning domains activation sets ground out; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名规划领域定义语言的演进综述被引量：6: 3; 作者饶东宁蒋志华姜云飞; 机构广东工业大学计算机学院暨南大学计算机科学系中山大学信息科技学院软件研究所; 出处《计算机工程与应用》 CSCD 北大核心 2010年第22期23-25,46,共4页; 基金国家自然科学基金No.60773201 No.60903178 广东工业大学博士启动基金(No.093032)~~; 文摘规划领域定义语言是智能规划研究中问题描述的标准语言,它同时起到了建模和通信语言的作用。随着智能规划得到了很大的发展,规划定义语言的作用越来越重要。但至今尚无对其版本、特性和语义的演进过程的综述。鉴于此,对规划领域定义语言的演进进行综述。最后概括了规划领域定义语言的发展趋势。; 关键词智能规划规划领域定义语言建模语言通信语言特性语义; Keywords automated planning planning domain definition language modeling language communication language feature semantics; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于AI Planning的Parlay X电信业务设计被引量：1: 4; 作者蒋志华饶东宁姜云飞江洪; 机构暨南大学计算机科学系广东工业大学计算机学院中山大学信息科技学院软件研究所中国电信股份有限公司广东研究院家庭客户部; 出处《计算机学报》 EI CSCD 北大核心 2011年第2期304-317,共14页; 文摘 Parlay X是一组电信网络服务(WS)应用程序接口(APIs),智能规划可作为一种WS组合(WSC)方法,所以理论上可基于智能规划设计使用Parlay X APIs的电信业务.但WSC有容错和对动作变化推理的要求,电信业务有多种触发方式和异步响应等特性,智能规划要有确定状态等Parlay X不满足的条件.结合典型Parlay X电信业务模型,基于AI Planning的Parlay X电信业务设计(APBPTSD)方法被提出.APBPTSD用标准后处理动作(SPCA)处理容错,用等待事件动作(WFEA)处理异步响应,用本地动作(LA)处理动作变化推理并对多种触发进行业务分拆.在已有业务上实验表明APBPTSD可有效指导Parlay X电信业务设计.; 关键词人工智能智能规划网络服务组合 PARLAY X; Keywords artificial intelligence automated planning Web service composition Parlay X; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名计算机网络规划方案自动生成与估算系统的设计被引量：2: 5; 作者梁伟晟李磊; 机构中山大学信息科技学院软件研究所; 出处《计算机工程与应用》 CSCD 北大核心 2000年第6期135-137,共3页; 基金广东省自然科学基金; 文摘文章分析了当前计算机网络手工规划存在的困难，并简单介绍了网络规划的内容，指出在规划过程中引入计算机作为辅助手段，可以使规划过程尽可能自动化。基于这些思想，该文设计了一个计算机网络规划方案自动生成与估算系统。; 关键词计算机网络网络规划自动生成估算系统; Keywords Computer Network Planning, Intelligent Wizard, ES Solution; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名AS/400的2000年问题的探讨: 6; 作者梁伟晟吴志辉; 机构中山大学信息科技学院软件研究所; 出处《计算机工程》 CAS CSCD 北大核心 1999年第7期6-7,10,共3页; 文摘 2000年问题是IT行业要迫切解决的问题。分析了AS/400的2000年问题，并且给出了一个可行的AS/4002000年问题实施方案。; 关键词 2000年问题 AS/400 窗口计算机; Keywords Year 2000 problem AS/400 Window techmque; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	从规划解中学习一阶派生谓词规则	饶东宁蒋志华姜云飞刘强	《计算机学报》 EI CSCD 北大核心	2010	11	在线阅读下载PDF 职称材料
2	一种计算动作派生前提的激活集的改进方法	蒋志华姜云飞	《计算机学报》 EI CSCD 北大核心	2007	13	在线阅读下载PDF 职称材料
3	规划领域定义语言的演进综述	饶东宁蒋志华姜云飞	《计算机工程与应用》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
4	基于AI Planning的Parlay X电信业务设计	蒋志华饶东宁姜云飞江洪	《计算机学报》 EI CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
5	计算机网络规划方案自动生成与估算系统的设计	梁伟晟李磊	《计算机工程与应用》 CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
6	AS/400的2000年问题的探讨	梁伟晟吴志辉	《计算机工程》 CAS CSCD 北大核心	1999	0	在线阅读下载PDF 职称材料