基于角色的多Agent系统软件设计方法

角色是面向agent软件开发方法研究中的一个重要抽象概念。论文认为角色是连接多agent系统微观模型与宏观模型的桥梁,角色与agent之间的动态性有利于刻画多agent系统的结构和行为模型。论文研究角色和agent之间的动态绑定思想和机制,讨论基于角色的多agent建模方法RoMAS,并以RoboCup仿真比赛为案例验证该方法的有效性。     

基于GNP的多Agent角色分配问题研究

针对一个需要Agent之间相互协作的多Agent角色分配问题,研究采取了一种GNP的模型结构来解决。GNP是GP的改进,GP是树型结构,而GNP是网络结构。文中首先分别描述了GP与GNP的模型结构和对应算法,然后通过使用负载传输问题来对比分析GNP与GP的性能,并通过计算机仿真负载传输问题中的基于能力的Agent角色分配问题类型,证实了GNP的有效性。     

基于角色的多Agent交互中的信息处理

在多智能Agent系统的研究方面,Agent间的交互问题依然是研究的热点。对于交互中产生的信息如何进行合理的处理并对其加以利用,正是需要进一步讨论的问题。由于信息根据交互中的Agent扮演的不同角色,表现出不同的意义,所以其被利用的价值也有所不同。提出了将多Agent技术应用于模拟法庭中,给每个Agent分配合理的角色,基于角色对多Agent交互中的信息进行形式化的表示,为今后Agent的决策提供依据。     

智能Agent与多Agent系统的研究

智能Agent及多Agent系统自20世纪80年代起一直是分布式人工智能研究的热点。对Agent理论，语言，结构以及多Agent系统结构等问题进行了研究，并对Agent与对象（Object) ,过程控制系统，软件“精灵”以及多Agent系统与分布式问题求解的区别进行了分析。     

多Agent系统在网上协同教学中的应用

本文首先介绍了Ａｇｅｎｔ和多Ａｇｅｎｔ系统（ＭＡＳ）的概念、分类与结构,然后重点分析了一个在网络环境中利用多 Ａｇｅｎｔ技术的协同教学系统,介绍了其基本组成和工作流程。     

多Agent系统的技术研究

多Agent系统是由多个智能Agent组成的有机系统,这使得它具有比单个Agent更强大的处理能力.它表现出自组织性、鲁棒性、分布性以及很强的复杂行为.文中论述了Agent和多Agent系统的有关理论、方法和技术.主要包括智能Agent的特性、结构和推理;介绍多Agent系统的体系结构分类和常见的几种通信机制;以及面向Agent的程序设计的现状和发展.     

多Agent系统的研究

多Agent系统(MAS)是当前分布式人工智能(DAI)的主要研究方向之一。介绍了多Agent系统的背景和概念,着重分析了MAS的关键问题和构造MAS的组织模型,最后给出了多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系统

根据智能控制的安全、经济和舒适三大目标,提出一种新的基于BACnet(楼宇自动控制网络数据通信协议)的MAS(多Agent系统)框架．此框架通过不同层次、不同功能的Agent的自治能力及协作协调,使得智能控制系统的各个相对分散的子系统能够有效地结合在一起．全局Agent负责整体功能的实现,而每个子系统均设置自身的Agent组．此外,还提出了基于MAS框架的SAS(安防自动化系统)逻辑结构,同时遵循FIPA(智能物理Agent基金)标准设计了此MAS系统的Agent通信语言,并对SAS系统进行了重点分析和研究,包括CCTV(闭路电视监控)系统和基于Auto-ID(自动识别)的系统．     

基于角色驱动的多Agent主体工作流模型的研究

在分析了传统的几种工作流建模方法的基础上，提出了基于角色驱动的多Agent体工作流模型，把多Agent的协作交互作为模型的主体，模型中引入了多Agent，把任务的执行者看作Agent，该Agent具有角色库，可以拥有一个或者多个角色，并用这些Agent之间的交流协作来描述工作流过程，使得执行者Agent成为模型的主体，改变了传统的模型中人的被动地位，使活动能更加顺利圆满地完成，同时也很好地解决了业务过程中可能存在的活动执行者的多角色和角色变化的问题。     

具有并行约束目标的多主体系统动态角色分配

多主体系统已成为建模和开发大型复杂分布式信息系统的一种理想范型.很多基于主体技术的系统要求支持动态角色分配,而已有动态角色分配算法忽略了目标之间的约束对角色分配的影响.首先,提出一个具有并行约束目标的多主体系统动态角色分配模型,引入多个角色分配管理者主体共同承担角色分配的计算任务,避免因单个主体可能造成的计算瓶颈.然后,基于并行约束目标结构图,给出目标集划分算法.并设计实现了角色分配算法,分析了该算法的时间复杂度.最后,实验研究了角色分配算法的执行时间,表明理论分析与实验结果一致.基于目标集合划分对角色分配的计算任务进行分割,使得各个角色分配管理者主体的计算结果无需进行合并再进行并行约束检查.     

异构多智能体系统模型检查

近几年,模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL）,也被给予了高度关注.根据智能体是否可以看到全局信息分为不完全信息和完全信息;根据智能体是否可以记录历史信息分为无记忆能力和无限记忆能力,提出了四种经典的策略类型.这些策略类型是通过ATL的语义进行刻画的.然而,在一个多智能体系统中,考虑完全信息和无限记忆能力时,所有智能体都只能选择这一种策略类型;在考虑不完全信息或无记忆能力时,仅在联合模态操作<>φ和的[[A]]φ里出现的智能体具备这种策略类型,而其他智能体还是完全信息和无限记忆能力策略类型.这可能会导致嵌套联合模态操作中智能体策略类型的不一致,且智能体策略类型取决于逻辑公式和逻辑的语义.而在实际多智能体系统中,智能体的策略类型往往取决于系统本身,且不同智能体具有不同的策略类型,即智能体策略类型是异构的,这种多智能体系统被称为异构多智能体系统.针对这些问题,本文提出了一种在语法层对智能体策略类型进行刻画的系统模型,即带类型解释系统.带类型解释系统在已有的解释系统中为每个智能体引入"策略类型"这一属性,允许不同智能体具备不同的策略类型.带类型解释系统可用于异构多智能体系统的建模.针对新提出的系统模型,对ATL语义进行了研究,设计了ATL模型检查算法,实现了相应的模型检查工具ShTMC.     

多主体系统的组织结构建模方法

组织结构是指从组织的观点来描述的多主体系统的全局体系结构,是多主体系统建模的一个重要方面。本文在已有的面向主体软件开发方法Gaia的基础上提出了一个组织结构建模方法Gaia2S以及可视化建模语言OrgS,并通过一个典型的电子商务案例详细说明了如何使用OrgS和Gaia2S对多主体系统的组织结构进行分析和建模。     

多主体系统中的信任管理

本文在前人工作的基础上提出一种改进方案来实现多主体系统的信任管理,即在多主体系统中建立安全服务器。安全服务器实现了基于X．509v3证书的主体身份鉴别,并根据主体X．509v3证书及相对应的属性证书和访问控制策略进行访问权限验证。安全服务器除实现目前广泛采用的访问控制类型之外,还实现了访问权限委派和委派链等访问控制
制类型。     

Cooperation Protocols in Multi-Agent Robotic Systems

Multi-agent robotic systems are useful in many practical applications. For some tasks, such as holding a conference, cooperation among agents are necessary. For other tasks, such as cleaning a room, multiple agents can work in parallel for better performance. This paper provides help-based (HCP) and coordination-based (CCP) protocols for controlling agents to accomplish multi-agent tasks. The HCP utilizes efficient negotiation to coordinate agents into groups. The CCP improves overall performance by exchanging local knowledge among agents and making decisions in parallel. A reactive and modularized agent architecture was employed to implement the protocols. Since each protocol is embedded into the architecture, it is efficient and effective. In addition, the protocols are deadlock-free. The protocols were utilized to solve the Object-Sorting Task, which abstracts two characteristics of tasks: parallelism and cooperation. The experimental results showed that 1) both HCP and CCP are stable under different workload; 2) the protocols can effectively utilize the agent-power to achieve super-linear improvement; 3) The CCP is better than the HCP in both performance and speedup.     

多Agent系统中信任和信誉系统研究综述

MAS环境同人类社会类似, 充斥着大量不确定因素,因此,在MAS环境中引入信任来解决合作与交互问题具有重要意义. 信任通常来源于直接信任和信誉两种途径,信誉系统是用于支持信任评价的机制. 信誉系统的研究范围分为个体层和系统层两个层次,信誉系统的研究工作更关注个体层,信任的评价要符合准确性等特点. 信誉系统中信任的表示一般采用基于认知观点和数值观点的方法. 信誉系统采用集中式、分布式和混合式3种体系结构,各种模型都需要明确信任表示、传播与汇总的方法. 目前两个较为成功的分布式多Agent信誉系统是ReGreT和FIRE. 信息不精确的问题是信誉系统中的基本问题,也是一个迫切需要深入研究的课题. 信誉系统研究中的一个突出问题是尚无公认的测试平台,Agent信誉和信任测试床（ART）项目作了有益的探索. 在上述评述的基础上,可以在新模型和机制的构建、现有模型改进和完善、测试平台的研究和开发等方面有待进一步开展工作.     

面向服务的Multi-Agent系统

本文以服务为中心,从面向服务的系统架构、中介服务协作机制、理性化的协商机制和智能交互等四个方面去建立开放、动态、面向服务的多Agent系统,以提高Agent的社会性智能。 [     

Protocol Moderators as Active Middle-Agents in Multi-Agent Systems

Interaction protocols are widely recognized as an essential mechanism for coordination within multi-agent systems. There is thus a need for coordination models for specifying, validating, and implementing protocols, possibly open and concurrent, efficiently and reliably. This paper proposes such a model, which considers protocols as resources and each conversation among agents following the rules of a protocol as a well-identified process. To this end, a new kind of middle-agent, called Moderator, is introduced. A Moderator is in charge of monitoring a conversation so that it progresses according to the protocol rules, and provides agents with services to ease their involvement in the conversation. This model fits the organization-centered view of multi-agent systems as it strictly distinguishes the agent-level and the organization-level concerns with regard to interaction. In addition, the paper shows that this model is supported by a High-Level Petri Net language that covers all the steps of protocol engineering: design, validation, implementation. This paper presents this Moderator Coordination Model along four related dimensions: a conceptual model of protocols, a MAS architecture, a suitable modeling formalism, and an associated development process.     

Multi-Agent系统中Agent知识获取的合作模型

Agent的知识是Agent计算的前提.在动态、不确定的Multi-Agent系统中,Agent必须具备及时有效地获取所需知识的能力以求解问题.现有的知识获取模型不能有效地支持在动态、不确定的Multi-Agent系统中Agent对知识获取的要求,Agent的知识获取能力比较有限.提出一个系统的、用于Agent知识获取的合作模型KACM(knowledge-acquiringcooperationmodel)系列,包括被动模型、主动终止模型和主动非终止模型.基于言语行为理论和以分枝时序逻辑为基础的形式化框架,讨论了KACM所涉及的Agent通信行为,分析了Agent如何响应这些通信行为以完成知识交互,定义了各通信行为以及KACM的满足语义,最后讨论了研究工作的意义.     

多智能体系统的非震颤固定时间一致性

研究了多智能体系统的非震颤固定时间一致性问题。基于李雅普诺夫稳定性理论,导出了实现固定时间一致性的充分条件,其中到达一致时间的上界估计不再依赖于多智能体系统的初始状态条件。此外,与传统含有符号函数的有限时间和固定时间控制器不同的是,所提出的新颖控制方案是非震颤的,有利于多智能体系统的一致性性能表征。最后,用一个数值例子验证了理论分析结果的有效性和可行性。