用于辩证分析的多Agent辩论对话系统MAS-Arguing的设计与实现

多方对话博弈是当前多Agent辩论技术研究的难点.本文基于辩论理论的辩证语义,提出一种用于多方论据博弈的辩证分析模型DAM-MAG,并设计和实现了基于该模型的多Agent辩论对话系统MAS-Arguing,证明了DAM-MAG模型在技术上的可行性.为了多方对话博弈易于实现,MAS-Arguing引入辩论擂台管理Agent,负责协调和监控多个辩论Agent之间的角色转换和论据博弈.本文主要从体系结构、通信语言、多方对话协议和承诺规则等方面说明了MAS -Arguing系统的设计与实现.     

基于系统体系结构的多agent协作

多agent系统提供了一种解决复杂问题的分而治之的方法，这就使得agent间的相互协作成为多agent系统研究的一项重要内容，而系统的体系结构直接影响到agent之间的协作。文中主要讨论了基于体系结构的多agent协作，介绍了几种常见的多agent系统体系结构，并提出了一种基于联邦结构的agent协作。     

基于系统体系结构的多agent协作

多agent系统提供了一种解决复杂问题的分而治之的方法,这就使得agent间的相互协作成为多agent系统研究的一项重要内容,而系统的体系结构直接影响到agent之间的协作.文中主要讨论了基于体系结构的多agent协作,介绍了几种常见的多agent系统体系结构,并提出了一种基于联邦结构的agent协作.     

多agent系统的一种交互策略模型

在多agent系统(MAS)中,通信交互是agent实现协作的主要途径.文章从语义层的角度对agent间通信交互过程进行分析,将agent的思维状态BDI(belief,desire,intention)模型引入通信交互过程,提出一种交互策略模型,支持在基本交互行为之上的多种类型的协商交互,以解决agent间的信知、行动等方面的冲突.与以往的研究中的辩论协商等方法相比,该策略模型可以实现基于场景的灵活交互,更具实用性.     

随机博弈框架下的多agent强化学习方法综述

多agent学习是在随机博弈的框架下,研究多个智能体间通过自学习掌握交互技巧的问题.单agent强化学习方法研究的成功,对策论本身牢固的数学基础以及在复杂任务环境中广阔的应用前景,使得多agent强化学习成为目前机器学习研究领域的一个重要课题.首先介绍了多agent系统随机博弈中基本概念的形式定义;然后介绍了随机博弈和重复博弈中学习算法的研究以及其他相关工作;最后结合近年来的发展,综述了多agent学习在电子商务、机器人以及军事等方面的应用研究,并介绍了仍存在的问题和未来的研究方向.     

分布式自利agent任务分配算法

在有自利agent参与的任务分配情形中,由于agent的自利性,导致各agent不能有效合作,影响agent的个体收益和系统总收益.解决该问题的一个途径是对agent所得的收益进行合理分配.文中基于分布式自利agent联盟技能博弈模型,提出自利agent的任务分配算法.模型中提供技能的服务agent和管理任务的agent都是自利的,分别处于不同的地理位置,具有不同的视野范围.算法为任务agent设计效益分配策略,合理分配自己的收益给所需的技能,任务分配结果在保证个体自利性的前提下获得较高的系统收益.仿真结果验证文中算法的有效性,并考察自利agent的视野范围对自利agent的个体收益和系统总收益的影响.     

多agent系统的抽象合作模型

合作是多agent系统的特征之一,研究了具有请求／服务交互特征的多agent系统的抽象合作模型,根据服务请求强度和服务提供方式的差异性和多样性,系统分析并提出了6种基本抽象合作模型,提取了请求、承诺和通知3个言语行为作为实现合作的原子通信行为,给出这些原子通信行为和抽象合作模型的严格语义定义,分析它们的实现机制,以描述多agent系统的合作方式和机制,指导多agent系统的设计和实现．     

基于JADE和Jess的智能agent系统开发

多agent技术在复杂建模领域具有优势,是当前研究的一个热点。但对于普通研究者来说,从底层开发多agent系统具有复杂性。因此,该文分析了多agent系统的分析和设计过程,讨论了以JADE为开发工具的多agent系统开发步骤,并设计了基于Jess的知识推理流程,增强了agent智能性。对基于JADE和Jess的智能agent系统的开发过程进行了研究。     

构建一种多agent并行计算模型

文中旨在找出一种新的构建多agent并行计算模型的方法。通过对组合数学中二分图理论的研究,发现可以利用这个数学思想建立一种新的多agent并行计算模型。文中在对多agent计算本质分析的基础上,基于二分图理论,建立了一种新多agent并行模型,给出了基于BDI模型的多agent并行计算模型的流程算法,最后还给出了这种模型的优越性是能最大可能地减少agent之间的冲突。通过上述工作,可为多agent并行求解问题研究提供理论依据。一方面弥补了现有理论的不足,另一方面也为人们进一步研究多agent的并行计算提供了一种解决方案。     

构建一种多agent并行计算模型

文中旨在找出一种新的构建多agent并行计算模型的方法。通过对组合数学中二分图理论的研究，发现可以利用这个数学思想建立一种新的多agent并行计算模型。文中在对多agent计算本质分析的基础上，基于二分图理论，建立了一种新多agent并行模型，给出了基于BDI模型的多agent并行计算模型的流程算法，最后还给出了这种模型的优越性是能最大可能地减少agent之间的冲突。通过上述工作，可为多agent并行求解问题研究提供理论依据。一方面弥补了现有理论的不足，另一方面也为人们进一步研究多agent的并行计算提供了一种解决方案。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。     

一种安全的多属性拍卖模型

网络拍卖不仅成为电子商务不可分割的部分,而且是自治Agent和多Agent系统(MAS)技术的重要应用领域.同时,拍卖作为一种有效的资源分配形式,在联盟生成等MAS问题中有着重要的应用,因而受到学者们越来越多的关注.拍卖的安全性、隐私性特征是拍卖研究的重要方面.给出了一个一般的多属性拍卖模型和一个安全的多属性拍卖协议--SVAMA协议,并证明了SVAMA的一些重要性质,如Strategy-proof等.并与已有的多属性拍卖和使用的安全方法进行了比较,部分改进了David,Brandt等人的工作.     

Dialogue games that agents play within a society

Human societies have long used the capability of argumentation and dialogue to overcome and resolve conflicts that may arise within their communities. Today, there is an increasing level of interest in the application of such dialogue games within artificial agent societies. In particular, within the field of multi-agent systems, this theory of argumentation and dialogue games has become instrumental in designing rich interaction protocols and in providing agents with a means to manage and resolve conflicts. However, to date, much of the existing literature focuses on formulating theoretically sound and complete models for multi-agent systems. Nonetheless, in so doing, it has tended to overlook the computational implications of applying such models in agent societies, especially ones with complex social structures. Furthermore, the systemic impact of using argumentation in multi-agent societies and its interplay with other forms of social influences (such as those that emanate from the roles and relationships of a society) within such contexts has also received comparatively little attention. To this end, this paper presents a significant step towards bridging these gaps for one of the most important dialogue game types; namely argumentation-based negotiation (ABN). The contributions are three fold. First, we present a both theoretically grounded and computationally tractable ABN framework that allows agents to argue, negotiate, and resolve conflicts relating to their social influences within a multi-agent society. In particular, the model encapsulates four fundamental elements: (i) a scheme that captures the stereotypical pattern of reasoning about rights and obligations in an agent society, (ii) a mechanism to use this scheme to systematically identify social arguments to use in such contexts, (iii) a language and a protocol to govern the agent interactions, and (iv) a set of decision functions to enable agents to participate in such dialogues. Second, we use this framework to devise a series of concrete algorithms that give agents a set of ABN strategies to argue and resolve conflicts in a multi-agent task allocation scenario. In so doing, we exemplify the versatility of our framework and its ability to facilitate complex argumentation dialogues within artificial agent societies. Finally, we carry out a series of experiments to identify how and when argumentation can be useful for agent societies. In particular, our results show: a clear inverse correlation between the benefit of arguing and the resources available within the context; that when agents operate with imperfect knowledge, an arguing approach allows them to perform more effectively than a non-arguing one; that arguing earlier in an ABN interaction presents a more efficient method than arguing later in the interaction; and that allowing agents to negotiate their social influences presents both an effective and an efficient method that enhances their performance within a society.     

基于辩论的多agent商务谈判产生机制研究*

针对辩论的产生是基于辩论的谈判中agent决策机制的核心问题,提出了一个基于冲突解决和辩论分类的辩论产生机制,该机制包括谈判agent的多目标优化模型、谈判过程控制的状态机协议以及基于冲突解决的辩论生成策略等。最后通过一对一商务谈判原型系统验证了所提模型、协议和策略的有效性。     

基于多主体的楼宇智能控制体系结构

该文提出了一种基于多主体系统的楼宇智能控制体系结构。该体系结构以房间作为基本的逻辑控制单位,其中控制设备的互联基于BACnet协议,然后通过BACnet路由器路由到以太网;多主体系统驻留在以太网的工作站上,从结构上划分为网络层、中间件层、应用层、用户层,其中中间件层使上层的控制应用不依赖于底层语义;为支持系统的互操作性及与未来应用的兼容性,多主体系统基于FIPA标准参考模型实现。     

基于内分泌免疫多智能体的舰艇编队防空体系模型

针对舰艇编队协同防空问题,借鉴生物内分泌免疫系统的防御机理,将舰艇编队协同防空体系映射到内分泌免疫系统中,并且结合多智能体理论与方法,设计了内分泌、免疫智能体和通信智能体的功能结构模型,构建了一种舰艇编队协同防空体系内分泌免疫多智能体网络模型。该网络模型整体上涌现出了协同防空体系的自组织性、自适应性、自学习性、记忆性和进化性,为舰艇编队协同防空体系研究注入了新的思想,也可为反潜等其它防御作战研究提供借鉴。     

Dialogical Argument as an Interface to Complex Debates

The Magtalo prototype environment harnesses dialogue protocols to support flexible, intuitive interaction with data in complex, contentious domains and provides mechanisms for eliciting structured knowledge. Magtalo represents the first example of an implemented online system that uses a closely specified argument-based dialogue protocol combined with a rich language for representing monologic argument to provide a tool for intuitive user exploration of a disagreement space. This approach also enables the expansion of argument resources through knowledge elicitation, which is structured by the argument dialogue protocol. The continuing aim of our research is to use advances in argumentation theory to push the practice of argumentation technology in providing tools and interfaces that have wide appeal.     

辩论的逻辑模型研究综述

辩论的逻辑模型是哲学、逻辑学和人工智能等多个领域的研究课题,在非单调推理、法律推理、决策支持和多Agent交互等领域有广泛应用。文中首先简要阐述辩论及辩论模型的基本概念。然后从对辩论建模和用辩论建模两个方面对目前的研究进行总结,分析现有的有影响的辩论模型特点及其存在的问题。最后,指出今后的研究方向和发展趋势。     

Robust Leader-Following Output Regulation of Uncertain Multi-Agent Systems With Time-Varying Delay

In this paper, the robust analysis and design of leader-following output regulation for multi-agent systems described by general linear models is given in presence of timevarying delay and model uncertainty. To this aim, a new regulation protocol for the closed-loop multi-agent system under a directed graph is proposed. An important specification of the proposed protocol is to guarantee the leader-following output regulation for uncertain multi-agent systems with both stable and unstable agents. Since many signals can be approximated by a combination of the stationary and ramp signals, the presented results work for adequate variety of the leaders. The analysis and design conditions are presented in terms of certain matrix inequalities. The method proposed can be used for both stationary and ramp leaders. Simulation results are presented to show the effectiveness of the proposed method.