国防科技技术预先研究基金(60673024)
- 作品数：3 被引量：13H指数：2
- 相关作者：邵利平杨博覃征于维虎王向华更多>>
- 相关机构：西安交通大学陕西师范大学清华大学更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 采用PDDL的Web服务组合方法研究被引量：5
- 2011年
- 针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换,将Web服务组合问题成功地转换为规划问题.完成该转换后,就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例,对本文提出的组合方法进行了验证,结果表明,文中所提的组合方法可用于解决Web服务组合问题,提高了AI规划器在Web服务组合问题上的普适性.
- 杨博张选平邵利平
- 关键词：WEB服务组合本体描述语言
- AgentSpeak中意图生成过程的可靠性与完整性研究
- 2011年
- 意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpeak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论——AgentSpeak中的意图执行是可靠而完整的,从而验证了AgentSpeak中软件Agent意图完成目标的正确性。
- 杨博邵利平覃征
- 基于群集智能的传感器管理方法研究被引量：8
- 2012年
- 传统传感器管理方法一般采用集中式处理,这种处理方式可能会产生中央节点负荷重和系统通讯压力过大等问题,同时也会因为局部启发式信息的引入而导致了公共悲剧问题。针对以上问题,本文将群集智能理论应用于多传感器管理研究,在以效能函数作为传感器效用函数的基础上,提出了基于群集智能的传感器管理方法。该方法为每个传感器定义个体效用函数,为整个传感器系统定义全局效用函数。群集智能理论保证了在算法迭代过程中通过优化传感器的个体效用而达到优化全局效用的目的。仿真实验表明使用群集智能理论解决传感器管理问题不仅可减轻中央节点负荷、降低系统通讯压力,在提高系统性能的方面也不逊色于其他传感器管理方法。以虚拟传感器网络数据作为实验数据的实验结果表明,本文所提出的方法在传感器的管理性能上,效果优于基于粒子群的传感器管理方法。
- 杨博王向华邵利平覃征于维虎
- 关键词：人工智能理论群集智能传感器管理效能函数
