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

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

图形化PDDL语言编译系统的设计与应用: 2; 作者张忠坤林泓宇 +2 位作者谭智元邢明杰武延军《计算机工程与设计》北大核心 2024年第2期626-632,共7页; 针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不... 展开更多; 关键词规划领域定义语言编译系统领域专用编译技术自然语言自动化生成语法分析机器人操作系统; 在线阅读下载PDF 职称材料

一种基于智能规划的信息安全风险过程建模方法被引量：4: 3; 作者王桢珍武小悦刘忠《电子学报》 EI CAS CSCD 北大核心 2008年第B12期76-80,70,共6页; 为了评估网络信息系统的安全风险,提出了基于智能规划的信息安全风险过程建模方法:使用规划领域的定义语言描述信息安全的风险领域和风险问题,修改后的bifrost规划引擎调用相关算法构建系统所有的渗透路径,最后通过Graphviz Toolkit接... 展开更多; 关键词智能规划风险过程规划领域定义语言; 在线阅读下载PDF 职称材料

基于模型检验集成规划系统的机械装配序列规划被引量：3: 4; 作者古天龙张勐《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1781-1790,共10页; 为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配... 展开更多; 关键词装配序列规划模型检验规划领域定义语言谓词逻辑时态逻辑; 在线阅读下载PDF 职称材料

概率规划的研究与发展被引量：6: 5; 作者闫书亚殷明浩 +1 位作者谷文祥刘小飞《智能系统学报》 2008年第1期9-22,共14页; 概率规划是智能规划研究的一个重要方面,首先给出概率规划领域定义语言,并介绍其语法及语义,随后重点介绍了求解概率规划的各种方法,如动态规划、启发式动态规划和基于规划图的方法等,并分析了各种方法的特点.最后对国际概率规划比赛进... 展开更多; 关键词智能规划概率规划动态规划概率规划领域定义语言; 在线阅读下载PDF 职称材料

一种对地观测卫星应用任务描述模型被引量：2: 6; 作者马满好祝江汉 +1 位作者范志良罗雪山《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第2期89-94,共6页; 对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及... 展开更多; 关键词对地观测卫星应用任务规划领域定义语言建模; 在线阅读下载PDF 职称材料

题名规划领域定义语言的演进综述被引量：6: 1; 作者饶东宁蒋志华姜云飞; 机构广东工业大学计算机学院暨南大学计算机科学系中山大学信息科技学院软件研究所; 出处《计算机工程与应用》 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 职称材料

题名图形化PDDL语言编译系统的设计与应用: 2; 作者张忠坤林泓宇谭智元邢明杰武延军; 机构南京中医药大学人工智能与信息技术学院中科南京软件技术研究院智能软件研究中心中国科学院软件研究所智能软件研究中心中国科学院大学计算机科学与技术学院; 出处《计算机工程与设计》北大核心 2024年第2期626-632,共7页; 基金中国科学院战略性先导科技专项基金项目(XDA0320000)。; 文摘针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。; 关键词规划领域定义语言编译系统领域专用编译技术自然语言自动化生成语法分析机器人操作系统; Keywords planning domain definition language compilation system domain-specific compilation techniques natural language automated generation syntax analysis robot operating system; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于智能规划的信息安全风险过程建模方法被引量：4: 3; 作者王桢珍武小悦刘忠; 机构国防科技大学信息系统与管理学院; 出处《电子学报》 EI CAS CSCD 北大核心 2008年第B12期76-80,70,共6页; 文摘为了评估网络信息系统的安全风险,提出了基于智能规划的信息安全风险过程建模方法:使用规划领域的定义语言描述信息安全的风险领域和风险问题,修改后的bifrost规划引擎调用相关算法构建系统所有的渗透路径,最后通过Graphviz Toolkit接口绘制出规划渗透图表现系统安全风险过程.; 关键词智能规划风险过程规划领域定义语言; Keywords planning risk process planning domain definition language; 分类号 TP309.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于模型检验集成规划系统的机械装配序列规划被引量：3: 4; 作者古天龙张勐; 机构桂林电子科技大学计算机学院; 出处《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1781-1790,共10页; 基金国家自然科学基金资助项目(60563005)~~; 文摘为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。; 关键词装配序列规划模型检验规划领域定义语言谓词逻辑时态逻辑; Keywords assembly sequence planning model checking planning domain definition language predicate logic temporal logic; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名概率规划的研究与发展被引量：6: 5; 作者闫书亚殷明浩谷文祥刘小飞; 机构东北师范大学计算机学院; 出处《智能系统学报》 2008年第1期9-22,共14页; 基金国家自然科学基金资助项目(60573067,60473042) 东北师范大学青年自然科学基金资助项目(20070601); 文摘概率规划是智能规划研究的一个重要方面,首先给出概率规划领域定义语言,并介绍其语法及语义,随后重点介绍了求解概率规划的各种方法,如动态规划、启发式动态规划和基于规划图的方法等,并分析了各种方法的特点.最后对国际概率规划比赛进行了介绍.; 关键词智能规划概率规划动态规划概率规划领域定义语言; Keywords intelligent planning probabilistic planning dynamic programming PPDDL; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种对地观测卫星应用任务描述模型被引量：2: 6; 作者马满好祝江汉范志良罗雪山; 机构国防科技大学信息系统工程重点实验室; 出处《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第2期89-94,共6页; 基金国家部委基金资助项目(51421070205KG01); 文摘对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动。在此基础上,使用规划领域定义语言(PDDL)对建模要素进行建模,主要包括约束条件和活动模型的标准化构建等。最后,给出了对地观测卫星对点目标的应用任务的建模案例,验证了任务建模适用于对地观测卫星任务规划。; 关键词对地观测卫星应用任务规划领域定义语言建模; Keywords earth observation satellite application task plan domain define language（PDDL） modeling; 分类号 TP393.01 [自动化与计算机技术—计算机应用技术] TP391.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	规划领域定义语言的演进综述	饶东宁蒋志华姜云飞	《计算机工程与应用》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
2	图形化PDDL语言编译系统的设计与应用	张忠坤林泓宇谭智元邢明杰武延军	《计算机工程与设计》北大核心	2024	0	在线阅读下载PDF 职称材料
3	一种基于智能规划的信息安全风险过程建模方法	王桢珍武小悦刘忠	《电子学报》 EI CAS CSCD 北大核心	2008	4	在线阅读下载PDF 职称材料
4	基于模型检验集成规划系统的机械装配序列规划	古天龙张勐	《计算机集成制造系统》 EI CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
5	概率规划的研究与发展	闫书亚殷明浩谷文祥刘小飞	《智能系统学报》	2008	6	在线阅读下载PDF 职称材料
6	一种对地观测卫星应用任务描述模型	马满好祝江汉范志良罗雪山	《国防科技大学学报》 EI CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料