基于π演算的一种受限AGENT0操作语义

AOP语言AGENT0的交互动作缺乏明确的操作语义，Hindriks等使用的语义模型不能以恰当的方式处理交互动作，π演算是刻画并发交互系统的重要工具。在对AGENT0做恰当限制的情形下，基于π演算给出了受限AGENT0的操作语义，确定了交互过程中Agent的行为，对AGENT0做限制的目的是语义解释减少复杂性，不影响语言的基本含义。与Hindriks等在AGENT0方面的工作相比，更适用于多Agent系统。     

Agent组织结构设计的一种形式语义

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于(演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.     

多Agent系统及其组织结构

组织结构为Agent成员提供一个相互之间交互的框架,为每个Agent成员提供一个多Agent群体求解问题的高层观点和相关信息。讨论了Agent的概念和结构,并根据多Agent系统的特点和目标,给出和分析了Agent系统的组成和三种组织结构。     

Agent组织的一种递归模型

Agent组织是多Agent系统(MAS)的一种求解形式.基于Agent组织的问题求解可以减少MAS中Agent之间交互的复杂性,降低求解难度.结合收益和组织规则提出了一种Agent组织的递归模型,并讨论了Agent组织的目标分解、收益计算和组织规则形成等问题.相对于Ferber和Jennings等人的工作,这种模型适于描述不同规模的组织,有利于MAS宏观分析和微观分析的结合,而且模型中效用参量的引入可以在一定程度上表明Agent组织的演化.     

基于π演算的工作流模型检验

为保证工作流模型语义的正确性,提出一种基于π演算的工作流模型语义性质检验方法。采用π演算的一个子集πN演算描述工作流模型,证明该模型的反应关系能够终止,构造有限反应迁移图算法,利用NuSMV检验工作流模型是否满足线性时序逻辑性质。实验结果证明了该检验方法的有效性。     

一种适合EAI的多Agent系统模型

企业应用集成是当前研究的热点，应用集成是能够满足企业统一信息管理、统一资源调配和优化业务流程的重要手段。目前应用集成尚无公认的标准，在实施集成中主要考虑标准接口问题，而往往忽略本身体系结构的合理性。要满足企业为适应市场竞争而灵活变动的管理模式，应用集成必须具备较高的可扩展性和可灵活调整性。在分析企业应用集成内涵的基础上，提出了适合于企业应用集成特点的多Agent系统模型。     

一种基于完整性检测的Agent迁移容错模型

目前Agent的容错研究中,一般都是通过在Agent的每一步迁移过程中产生复本(Replication),然后通过选举(Voting)得到结果.但是大量Agent复本会浪费网络资源与时间.为此,本文提出了一种基于完整性检测的Agent迁移容错模型NAMFTM及其改进模型P-NAMFTM.该模型能有效降低通信复杂度与复本数量,避免大量冗余Agent复本所带来的资源负载与时间耗费.最后,本文构造了P-NAMFTM的π演算模型,采用π演算对其进行了分析验证,演算结果证实本文提出的模型是正确可行的.     

一种基于资源约束的Agent组织规则生成机制

Agent组织是多Agent系统的一种求解结构，可以有效地降低求解难度和Agent之间的交互复杂性，对Agent组织的抽象包括组织结构，组织规则和组织模式，Agent组织规则的形成是Agent组织设计的重要问题之一，基于资源约束给出了Agent组织规则的形式描述和产生机制，设计了Agent组织规则形成的静态算法和动态算法，从而改进了Zambonelli和Jennings关于Agent组织规则的研究。     

基于π演算的工作流模型分析方法

使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性。针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析。通过考虑节点语义,扩展结构合理性。为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义。     

一种基于角色解决方案的多Agent合作问题求解模型

传统基于角色的方法大都缺少对合作问题求解的具体考虑.结合角色和团队形成机制提出了一种基于角色解决方案的合作问题求解模型.其新颖之处在于将角色解决方案与团队结合起来,致力于分析、设计和实现合作问题求解.深入研究了复杂的CPS循环过程,并给出了一种基于角色解决方案的CPS算法过程.以角色解决方案和团队的观点试图解决传统的合作问题求解过程,提高了对多Agent应用系统的理解,并为多Agent系统的分析与设计人员提供参考.     

基于Agent图的三级多Agent系统组织模型

多Agent系统的组织结构是Agent个体之间交互的框架。对分布式多Agent系统的组织方式、协作机制进行了简要讨论,提出了Agent域及Agent图的概念。根据不同Agent之间的地理位置和通信代价,由Agent个体、Agent组及Agent域三级组织结构形成一个Agent图,并借鉴计算机网络的分布式自适应路由选择策略进行多Agent系统的协作组织。分析表明,该模型具有高效、健壮、通信开销较小等优点。     

MMAS：基于模型的多Agent系统开发方法

MAS的复杂性使其应用受到限制。本文提出一个基于模型的MAS开发方法——MMAS。MMAS用任务模型、角色模型、组织模型、交互模型、信念模型和Agent模型来描述一个MAS。本文阐述如何在这六个模型的基础上设计Agent，以实现软件重用，减少MAS开发的复杂性和提高软件开发速度。     

一种基于Agent网络的多Agent系统的协作组织方式

对分布式多Agent系统中的Agent组织方式,协作机制进行了讨论,提出了根据Agent间的物理位置和通信代价关系建立Agent网络,通过Agent网络模型,模仿计算机网络中的动态路由机制,进行Agent协作组织的方法.     

基于软件Agent的多Agent数据库中间件系统模型研究

本文首先研究了数据库中间件和多Agent技术，然后从理论上论述了将Agent技术引入数据库中间件系统的可行性，给出了一个基于软件Agent的多Agent数据库中间件系统模型，并洋细讨论该系统模型的方案设计。该系统方案较为有效地解决了网络信息系统中数据交互效率、数据存储与交互的安全性以及系统负载的均衡等方面的问题。     

多Agent系统中的联盟形成

1.引言自1993年文[1.4,8]提出联盟方法以来,已取得了一定的进展。通过联盟可以提高Agent求解问题的能力,获得更多的报酬,因而联盟是多Agent系统(MAS)的重要合作方法。下面先给出问题的描述,然后论及联盟的形成过程。设agent集N={A_1,A_2,…,A_n},资源集Q={(q_1,q_2,…,q_n)},其中q_i=(q_i~1,q_i~2,…,q_i~(ki)),q_i~j表示A_i第j种资源的数量;任务集T={T_1,T_2,…,T_n},其中T_i={t_i~1,t_i~2,…,t_i~(mi)}是A_i的任务集,t_i~j是A_i的第j个任务,对每一个任务有对应的资源需求说明;每一个Agent开始都持有一定的资源。     

一种基于社会承诺的Agent组织模型OMSC

多Agent领域所面临的一个重大的挑战是解决开放异质的多Agent系统中自治Agent间的协调问题。多Agent为了协调它们之间的活动,需要进行交互。社会承诺作为一种通信和交互机制,为自治的多Agent提供了一种协调的途径。然而,仅靠交互难以实现多Agent间的协调。Agent组织作为一种协调模型可以有效地控制多Agent间的交互与合作。论文将社会承诺和Agent组织两种协调机制相结合,提出一种基于社会承诺的Agent组织模型OMSC,分析了Agent如何用社会承诺进行推理以及基于社会承诺的多Agent系统并给出了一个实例,为多Agent间的协调提供了一种新的方法。     

基于流演算的多Agent通信动作的研究

为扩展多Agent系统中Agents之间的交互特性,在流演算理论框架下研究了多Agent的通信动作.根据流演算理论和主体通信语言ACL,结合其它Agent的知识表示,引入了通信动作,给出了形式化描述,并讨论了通信动作如何影响通信双方的知识状态,并通过一个智能日程安排实例验证了上述理论,为构建适应动态.不完全可知环境下复杂的多主体系统提供了理论基础.     

基于多Agent系统的软件开发方法研究

面向Agent的软件工程近年来获得很多人的关注,其中MAS是一个重要的研究方向.到目前为止,已经出现了20多种MAS开发方法.本文对现有的主要方法进行了分类和总结,并利用三层次模型对常用的三类方法进行了比较,希望对读者有一定的借鉴作用.     

一种基于智能移动Agent的网络管理模型

1.引言网络已深入到社会的各个方面,网络的管理和维护也越来越重要。网络的规模日益庞大,结构也由过去的单一结构变为不同功能、不同协议、不同拓扑结构网络互联的复杂结构。而目前的网络管理体系结构仍以集中式为主,这种模式在管理大型复杂网络时暴露出种种缺陷,如:大量的数据传输和处理均集中在唯一的     

基于多Agent的智能故障诊断系统研究

本文对多Agent技术在故障诊断领域的应用作了研究,在传统智能故障诊断系统的基础上,结合Agent的基本结构和特性,提出了基于多Agent的智能故障诊断系统模型。该系统中的各个单独的Agent都具有自己的判断方法、知识处理及同其他Agent的协作能力,为实际应用系统的开发提供了理论指导。