期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
基于PDDL的成像卫星任务规划建模 被引量:9
1
作者 陈克伟 安蓓 +1 位作者 王炎娟 张辉 《兵工自动化》 2008年第12期41-44,共4页
基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像... 基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像卫星任务规划模型。通过对该建模方法的模型描述能力分析,表明该建模方法较传统规划建模方法具有较好的描述能力,能满足描述成像卫星任务规划问题的要求。 展开更多
关键词 成像卫星 任务规划 建模 约束 pddl(Planning DOMAIN DEFINITION Language)
下载PDF
基于PDDL的对地观测卫星任务规划建模研究 被引量:4
2
作者 伍国华 马满好 +1 位作者 邱涤珊 冉承新 《遥感信息》 CSCD 2010年第3期94-98,共5页
传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。... 传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。用PDDL描述对地观测卫星的任务规划问题,分析了卫星执行任务时涉及的约束、相关活动和所需的资源,建立任务规划模型的域文件(domain file)和问题(problem file)文件,并针对所建模型提出求解模型的算法流程,最后通过一个算例验证模型和算法是有效地。 展开更多
关键词 卫星任务规划 pddl模型 对地观测卫星
下载PDF
基于PDDL的侦察卫星应用任务建模研究 被引量:2
3
作者 范志良 王迪 +1 位作者 任海燕 马满好 《航天控制》 CSCD 北大核心 2009年第5期77-82,共6页
侦察卫星应用任务是指由侦察卫星完成的任务,构建任务模型是为了使用户提交的复杂多元的侦察任务表达更加清晰化,给后续的任务调度模型提供数据。通过对侦察任务的简单分析,结合规划域定义语言(PDDL)的特点,形成一种航天任务建模的新方... 侦察卫星应用任务是指由侦察卫星完成的任务,构建任务模型是为了使用户提交的复杂多元的侦察任务表达更加清晰化,给后续的任务调度模型提供数据。通过对侦察任务的简单分析,结合规划域定义语言(PDDL)的特点,形成一种航天任务建模的新方法。针对侦察卫星应用任务的资源和时间约束等问题,采用对语言扩展的方法,通过给初始状态、目标说明和活动模型添加被扩展的谓词表达式来解决。最后,给出海上移动目标监视的案例,验证了建模方法的可行性。 展开更多
关键词 侦察卫星 任务建模 规划领域定义语言
下载PDF
基于PDDL智能规划的车辆路径问题研究
4
作者 程文俊 《物流科技》 2014年第6期85-87,94,共4页
针对车辆路径问题和多种扩展问题,文章提出一种基于PDDL智能规划的建模和求解方法,给出了多种车辆路径问题的PDDL模型,并利用SGPlan6和DaeYa规划器对PDDL模型进行了求解。实验结果表明,该算法能够在较短时间内给出高质量的车辆路径安排... 针对车辆路径问题和多种扩展问题,文章提出一种基于PDDL智能规划的建模和求解方法,给出了多种车辆路径问题的PDDL模型,并利用SGPlan6和DaeYa规划器对PDDL模型进行了求解。实验结果表明,该算法能够在较短时间内给出高质量的车辆路径安排方案,并具备很好的扩展能力。 展开更多
关键词 pddl VRP 智能规划 物流
下载PDF
基于PDDL的卫星任务规划模型研究
5
作者 陈亚军 张超 杨艳波 《中国集成电路》 2021年第8期69-73,共5页
卫星任务规划的复杂度因卫星数量和用户任务不断增加而大幅提升,使得建立规划模型和任务规划安排更加困难。首先,通过分析成像卫星载荷约束、资源使用要求和数传工作模式,构建了基于持续时间约束、状态约束、时间窗口约束、资源约束的... 卫星任务规划的复杂度因卫星数量和用户任务不断增加而大幅提升,使得建立规划模型和任务规划安排更加困难。首先,通过分析成像卫星载荷约束、资源使用要求和数传工作模式,构建了基于持续时间约束、状态约束、时间窗口约束、资源约束的卫星领域约束模型;然后,通过规划标准语言将成像卫星任务规划具体描述为基于对象、谓词、函数和动作的完整的任务规划PDDL模型;最后,采用贪婪算法、演化算法对卫星任务规划问题进行了求解,得到任务规划的计划书,验证了方法的有效性。 展开更多
关键词 任务规划 pddl 成像卫星
下载PDF
一种基于知识表示的多步攻击规划问题描述模型 被引量:4
6
作者 努尔布力 解男男 +2 位作者 刘志宇 胡亮 柴胜 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1101-1107,共7页
网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对... 网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对多步攻击进行识别,并以此为基础,提出一种基于知识表示的多步攻击规划问题描述模型,用以提供解决复杂网络攻击数据的形式化描述问题的一种探索.实验中规划问题采用PDDL语言进行描述,对所提模型进行可用性验证. 展开更多
关键词 多步攻击 智能规划 安全规划问题 pddl
下载PDF
一种对地观测卫星应用任务描述模型 被引量:2
7
作者 马满好 祝江汉 +1 位作者 范志良 罗雪山 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第2期89-94,共6页
对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及... 对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动。在此基础上,使用规划领域定义语言(PDDL)对建模要素进行建模,主要包括约束条件和活动模型的标准化构建等。最后,给出了对地观测卫星对点目标的应用任务的建模案例,验证了任务建模适用于对地观测卫星任务规划。 展开更多
关键词 对地观测卫星 应用任务 规划领域定义语言 建模
下载PDF
规划的形式表示技术研究 被引量:2
8
作者 陈蔼祥 姜云飞 柴啸龙 《计算机科学》 CSCD 北大核心 2008年第7期105-110,共6页
智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了... 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。 展开更多
关键词 智能规划 形式表示 情景演算 STRIPS pddl HTN
下载PDF
航天任务模型到规划模型转换的映射方法研究 被引量:1
9
作者 马满好 罗雪山 范志良 《系统仿真学报》 CAS CSCD 北大核心 2009年第21期6743-6746,共4页
卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规... 卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法。针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建。最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性。 展开更多
关键词 EOSAT-pddl模型 规划模型 模型转换 映射
下载PDF
可能性规划表示与求解
10
作者 殷明浩 李丹丹 +1 位作者 谷文祥 孙吉贵 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第5期466-476,共11页
利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问... 利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问题求解器Poss-Graphplan.PDDL是国际规划器大赛的标准域定义语言,这使得Poss-PDDL更具通用性和标准性.由于用可能性理论表示动作效果和状态的不确定性更具优势,因此Poss-Graphplan更适用于解决那些概率模型无法解决或者很难获得概率信息的不确定规划问题.可以证明,应用可能性图规划方法求解可能性规划问题得到的规划解是最优的.实验结果表明,可能性图规划方法在问题求解能力和速度上的表现都较为突出. 展开更多
关键词 可能性理论 可能性规划 定性效用理论 规划域定义语言 图规划
下载PDF
信息安全风险过程的规划渗透图模型
11
作者 王桢珍 武小悦 刘忠 《计算机科学》 CSCD 北大核心 2009年第6期44-46,56,共4页
提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆... 提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图。 展开更多
关键词 风险过程 规划渗透图模型 规划域定义语言 智能规划
下载PDF
基于CPN的TDRS操作规划建模与仿真
12
作者 刘传辉 《火力与指挥控制》 CSCD 北大核心 2015年第5期152-156,共5页
以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数... 以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数据接收任务与发送任务的操作规划模型和返向链路数据接收任务与发送任务的操作规划模型,有效地描述了TDRS的动态行为特性。最后,通过仿真实验得到了TDRS操作规划方案,验证了所建模型的有效性。与PDDL模型比较分析表明:所建模型可以有效引入TDRS的领域知识,能够有效提高求解效率。所建模型可以为TDRS操作规划方案的制定提供理论参考。 展开更多
关键词 TDRS 操作规划 有色PETRI网 pddl
下载PDF
一种动态环境下多Agent的协作方法 被引量:3
13
作者 吴坤 刘玮 +1 位作者 李爽 王晶 《武汉工程大学学报》 CAS 2017年第2期186-192,共7页
对动态环境下多Agent系统中Agent的协作问题进行了研究,提出了一种基于连续规划的动态环境下多Agent协作方法.首先,在MA-PDDL的语法上进行了改进,通过一个自定义的函数使其能够描述连续规划方法;然后,提出了一种基于扩展的MA-PDDL的连... 对动态环境下多Agent系统中Agent的协作问题进行了研究,提出了一种基于连续规划的动态环境下多Agent协作方法.首先,在MA-PDDL的语法上进行了改进,通过一个自定义的函数使其能够描述连续规划方法;然后,提出了一种基于扩展的MA-PDDL的连续规划算法,能够处理动态环境在系统中所造成的不确定性;最后,实现了扩展的MA-PDDL的解析方法,解析的结果能够用于模拟Agent执行任务的过程.选取了医疗垃圾无人运输场景进行实验,成功模拟了整个实验场景的运行过程,验证了方法的可行性. 展开更多
关键词 动态环境 MAS 多AGENT协作 连续规划 MA-pddl
下载PDF
一种通用型遥操作任务智能规划方法研究 被引量:3
14
作者 高宇辉 师明 +1 位作者 蔡敦波 张弓 《深空探测学报(中英文)》 CSCD 北大核心 2021年第2期140-146,共7页
在地外天体执行遥操作任务时,在复杂约束条件下会出现多分支作业选择困难、事件属性设置复杂等现实难题。提出了一种通用型任务智能规划方法——分层规划对象模型(Hierarchical Plan Object Model,HPOM),巡视器在地外天体作业时,其分解... 在地外天体执行遥操作任务时,在复杂约束条件下会出现多分支作业选择困难、事件属性设置复杂等现实难题。提出了一种通用型任务智能规划方法——分层规划对象模型(Hierarchical Plan Object Model,HPOM),巡视器在地外天体作业时,其分解为多选项作业、带约束行为、多分支指令序列、参数化虚拟指令4个层次,将带约束行为表示的计划转化为行为规划问题进行求解,获得求解方法集合。采用“人机协同迭代求解”(Human-In-The-Loop,HITL)的处理流程,生成指令序列以期实现对不同规划粒度方案的一致性验证。该方法已成功应用于“嫦娥四号”(Chang'E-4,CE-4)任务,为任务圆满成功提供了技术支撑。 展开更多
关键词 嫦娥四号 任务规划 分层对象模型 pddl建模 人机协同
下载PDF
针对可移动设备的TCG软件协议栈的扩充 被引量:2
15
作者 马洁 林中 《计算机工程与设计》 CSCD 北大核心 2006年第19期3586-3588,共3页
TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)... TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)和PDSI(可移动设备服务接口层)两个模块。实现了在扩充了的TSS基础上可移动设备的安全应用,使得可移动设备纳入了整个可信体系。 展开更多
关键词 可信平台模型 可信计算组织软件协议栈 可移动设备服务接口层 可移动设备驱动库函数层 密封存储
下载PDF
基于PDDL的空地协同作战任务规划方法研究 被引量:4
16
作者 丁宇航 王楠 李雄 《战术导弹技术》 北大核心 2022年第1期131-138,共8页
空地协同作战是一类复杂的协同作战任务,具有平台异构、空间复杂、协同难度大等特点。针对空中及地面无人系统协同作战任务规划问题,分析了协同作战的任务流程、特点及约束条件,采用规划领域定义语言建立了空地协同作战任务规划的领域... 空地协同作战是一类复杂的协同作战任务,具有平台异构、空间复杂、协同难度大等特点。针对空中及地面无人系统协同作战任务规划问题,分析了协同作战的任务流程、特点及约束条件,采用规划领域定义语言建立了空地协同作战任务规划的领域知识模型和问题域模型,并提出了相应的任务规划方法。仿真实验结果表明,该方法能够综合考虑空地协同作战的复杂性和约束条件,在给定的任务目标下规划制定出合理可行的空地无人系统行动序列,同时对不同的任务场景具有较强的适应性。 展开更多
关键词 空地协同 无人系统 任务规划 规划领域定义语言 领域知识 智能规划 结构化定义
原文传递
Task planning in robotics:an empirical comparison of PDDL-and ASP-based systems 被引量:3
17
作者 Yu-qian JIANG Shi-qi ZHANG +1 位作者 Piyush KHANDELWAL Peter STONE 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2019年第3期363-373,共11页
Robots need task planning algorithms to sequence actions toward accomplishing goals that are impossible through individual actions. Off-the-shelf task planners can be used by intelligent robotics practitioners to solv... Robots need task planning algorithms to sequence actions toward accomplishing goals that are impossible through individual actions. Off-the-shelf task planners can be used by intelligent robotics practitioners to solve a variety of planning problems. However, many different planners exist, each with different strengths and weaknesses,and there are no general rules for which planner would be best to apply to a given problem. In this study, we empirically compare the performance of state-of-the-art planners that use either the planning domain description language(PDDL) or answer set programming(ASP) as the underlying action language. PDDL is designed for task planning, and PDDL-based planners are widely used for a variety of planning problems. ASP is designed for knowledge-intensive reasoning, but can also be used to solve task planning problems. Given domain encodings that are as similar as possible, we find that PDDL-based planners perform better on problems with longer solutions,and ASP-based planners are better on tasks with a large number of objects or tasks in which complex reasoning is required to reason about action preconditions and effects. The resulting analysis can inform selection among general-purpose planning systems for particular robot task planning domains. 展开更多
关键词 TASK PLANNING ROBOTICS PLANNING domain description language (pddl) ANSWER set PROGRAMMING (ASP)
原文传递
基于多演示动作基元参数化学习的机器人任务泛化 被引量:4
18
作者 刘环 钱堃 +1 位作者 桂博兴 马旭东 《机器人》 EI CSCD 北大核心 2019年第5期574-582,共9页
针对机器人示范学习过程中任务泛化与动作轨迹泛化问题,提出了一种将多演示动作轨迹的任务参数化学习与动作序列推理相结合的方法.针对通用动作基元的多演示轨迹样本,利用动态运动基元进行轨迹编码并建立任务参数化模型,利用高斯过程回... 针对机器人示范学习过程中任务泛化与动作轨迹泛化问题,提出了一种将多演示动作轨迹的任务参数化学习与动作序列推理相结合的方法.针对通用动作基元的多演示轨迹样本,利用动态运动基元进行轨迹编码并建立任务参数化模型,利用高斯过程回归学习外部参数与模型参数之间的映射.针对新的任务实例,利用规划域定义语言推理缺失动作序列,任务参数化模型根据新的外部参数泛化出动作的目标轨迹,并修正轨迹误差.在UR5机器人上的实验表明,面对不同任务实例和环境变化,该方法可灵活生成动作序列并调整泛化目标,基于多演示的任务参数化模型能够对给定外部参数泛化出平滑的目标轨迹,泛化效果优于单一演示轨迹,提高了机器人任务泛化的能力. 展开更多
关键词 示范学习 动态运动基元 任务参数化模型 规划域定义语言
原文传递
基于状态检测的规划约束描述语言设计 被引量:1
19
作者 周丘实 张克 +1 位作者 孙鑫 秦筱楲 《战术导弹技术》 北大核心 2016年第4期65-69,共5页
面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比... 面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比了PDDL与基于状态检测的规划约束描述语言的联系与区别,介绍了面向约束的规划描述语言的定义、结构与语法,并通过示例检验了其对约束的表达能力。 展开更多
关键词 任务规划 约束建模 描述语言 规划领域描述语言 约束条件
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部