-
题名基于线性时序逻辑的多Agent协商推理模型
- 1
-
-
作者
尹红丽
王永明
夏幼明
-
机构
云南师范大学计算机科学与信息技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第z1期79-83,共5页
-
基金
云南省自然科学基金项目(04F00062)
云南省省院省校科技合作基金项目(2004XY42)
-
文摘
在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为.进一步完善了多Agent系统中自主的协商机制.
-
关键词
多AGENT系统
协商推理模型
线性时序逻辑
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于Agent面向服务体系结构中的服务查询与选择
被引量：1
- 2
-
-
作者
赵金伟
郝克刚
葛玮
-
机构
西北大学信息科学与技术学院
西北大学软件工程研究所
-
出处
《计算机应用》
CSCD
北大核心
2006年第S2期3-6,共4页
-
文摘
面向服务研究的一个重点问题是如何智能集成或协同分布在网络上的各种服务,以完成更为复杂的应用目标,使之能适应开放动态的网络计算环境和不断演化的用户个性化需求。把Agent技术与技术比较成熟的SOAP/WSDL/UDDI体系结合起来,是一个可行的解决方案。利用Agent技术设计了一个面向服务动态协同架构模型,解决了智能集成服务问题。着重研究并设计了一个基于Agent的服务查询与选择框架模型。这一模型利用移动Agent的移动性、自治性、智能推理性,实现了Web服务的智能查询与选择,从而解决了智能集成服务问题。
-
关键词
面向服务
SOC
AGENT
DAML-S
协同管理系统
查询请求参考策略模型
查询交互中的协商推理模型
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
