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

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

采用PDDL的Web服务组合方法研究

针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换,将Web服务组合问题成功地转换为规划问题.完成该转换后,就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例,对本文提出的组合方法进行了验证,结果表明,文中所提的组合方法可用于解决Web服务组合问题,提高了AI规划器在Web服务组合问题上的普适性.