检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《战术导弹技术》2016年第4期65-69,共5页Tactical Missile Technology
摘 要:面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比了PDDL与基于状态检测的规划约束描述语言的联系与区别,介绍了面向约束的规划描述语言的定义、结构与语法,并通过示例检验了其对约束的表达能力。A constraints description language based on state detection is proposed by expanding on the idea and structure of PDDL,and facing UAV's complex mission constraints. This description language is based on state and expresses complex planning constraints by formulaic semantic. Relations and differences between PDDL and constraints description language based on state detection have been compared,definition,structure and semantic of the constraints description language has been introduced. Its capability on constraint description has been verified by example.
关 键 词:任务规划 约束建模 描述语言 规划领域描述语言 约束条件
分 类 号:V279[航空宇航科学与技术—飞行器设计]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145