规划领域定义语言的演进综述

规划领域定义语言是智能规划研究中问题描述的标准语言,它同时起到了建模和通信语言的作用。随着智能规划得到了很大的发展,规划定义语言的作用越来越重要。但至今尚无对其版本、特性和语义的演进过程的综述。鉴于此,对规划领域定义语言的演进进行综述。最后概括了规划领域定义语言的发展趋势。

图形化PDDL语言编译系统的设计与应用

针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。

一种基于智能规划的信息安全风险过程建模方法

为了评估网络信息系统的安全风险,提出了基于智能规划的信息安全风险过程建模方法:使用规划领域的定义语言描述信息安全的风险领域和风险问题,修改后的bifrost规划引擎调用相关算法构建系统所有的渗透路径,最后通过Graphviz Toolkit接口绘制出规划渗透图表现系统安全风险过程.

基于模型检验集成规划系统的机械装配序列规划

为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。

概率规划的研究与发展

概率规划是智能规划研究的一个重要方面,首先给出概率规划领域定义语言,并介绍其语法及语义,随后重点介绍了求解概率规划的各种方法,如动态规划、启发式动态规划和基于规划图的方法等,并分析了各种方法的特点.最后对国际概率规划比赛进行了介绍.

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动。在此基础上,使用规划领域定义语言(PDDL)对建模要素进行建模,主要包括约束条件和活动模型的标准化构建等。最后,给出了对地观测卫星对点目标的应用任务的建模案例,验证了任务建模适用于对地观测卫星任务规划。

汉语作为学术语言的本体规划研究综述

汉语作为学术语言的功用、特点历来为学界关注,近年来在语言规划领域日益受到重视。学术表达规范化建设、高等语文教育改革、汉语国际教育深化发展对学术汉语本体规划研究提出了急迫的需求。本文从语言规划理论基础研究、学术语言本体研究和学术语言规划研究三个方面梳理了已有研究取得的主要成果,总结出已具备的研究条件并指出已有研究的局限,进而对汉语作为学术语言的本体规划研究进行了准确定位,并提出了研究框架和研究步骤。"汉语作为学术语言的本体规划"这一新课题,不但是语言规划理论深化发展的方向之一,而且具有重大的现实意义和应用价值。

基于PDDL的侦察卫星应用任务建模研究

侦察卫星应用任务是指由侦察卫星完成的任务,构建任务模型是为了使用户提交的复杂多元的侦察任务表达更加清晰化,给后续的任务调度模型提供数据。通过对侦察任务的简单分析,结合规划域定义语言(PDDL)的特点,形成一种航天任务建模的新方法。针对侦察卫星应用任务的资源和时间约束等问题,采用对语言扩展的方法,通过给初始状态、目标说明和活动模型添加被扩展的谓词表达式来解决。最后,给出海上移动目标监视的案例,验证了建模方法的可行性。

基于状态检测的规划约束描述语言设计

面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比了PDDL与基于状态检测的规划约束描述语言的联系与区别,介绍了面向约束的规划描述语言的定义、结构与语法,并通过示例检验了其对约束的表达能力。

基于PDDL的柔性制造系统控制方法研究

针对柔性制造系统控制策略开发调试周期长、低柔性以及难复用的问题,提出了基于规划领域定义语言(Planning Domain Definition Language,PDDL)的柔性制造系统通用控制架构。通过应用规划领域定义语言将领域知识和具体问题的求解解耦,实现了配置简便、可复用以及可优化的控制策略,开发了原型系统并在某航空企业进行了应用,验证了所提控制架构的可行性。

基于PDDL的空地协同作战任务规划方法研究

空地协同作战是一类复杂的协同作战任务,具有平台异构、空间复杂、协同难度大等特点。针对空中及地面无人系统协同作战任务规划问题,分析了协同作战的任务流程、特点及约束条件,采用规划领域定义语言建立了空地协同作战任务规划的领域知识模型和问题域模型,并提出了相应的任务规划方法。仿真实验结果表明,该方法能够综合考虑空地协同作战的复杂性和约束条件,在给定的任务目标下规划制定出合理可行的空地无人系统行动序列,同时对不同的任务场景具有较强的适应性。