面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

基于Agent的分布式系统信任模型仿真

针对当前信任模型仿真缺乏理论支撑,仿真过程描述及建模步骤不规范的问题,将多Agent建模仿真方法应用于信任模型的仿真,建立信任模型Agent仿真过程框架.由信任模型微观机制入手,对个体Agent进行设计,建立Agent实体模型;针对信任模型中Agent之间的交互问题设计基于推荐网的Agent协作算法;在充分考虑系统宏观约束的情况下,建立微观Agent到宏观系统之间的联系.通过实例验证了该方法的有效性.     

基于可靠性分析的MAS构建优化算法

采用多Agent技术进行制造系统建模时,Agent间可靠有效的交互协作是系统成功处理离散制造任务的重要保障。以增强多Agent系统的可靠性为目的,提出了使用并联式结构来构建多Agent系统的思想。在此基础上,给出了并联式Agent系统的可靠性评价方法,建立约束条件下的多Agent系统可靠性极大化问题的数学模型,利用填充函数算法的思想构造该模型的求解算法,并通过实例说明并联式结构和求解算法的有效性。     

基于Agent的建模技术研究

基于Agent的建模技术是对复杂系统进行问题求解的一种新方法.在面向Agent方法的基础上提出了"基于Agent的建模技术"方法,并针对这一技术方法从系统组织的角度进行了系统性的研究,详细分析了用这一方法建模的主要流程,还首次将这一建模技术运用于"网络坦克作战系统-协作故障诊断与技术维护系统"进行实例分析,根据系统的组织结构和组织目标,构建了3类Agent:系统接口Agent,故障分析Agent和故障区域分析Agent,系统通过3类Agent间的交互协作实现问题求解.最后讨论了应用该技术应注意的主要问题.     

一种基于BDI Agent的复杂系统设计建模方法

提出一种通过信念一愿望一意图(BDI)结构实现多Agent系统设计建模的方法．多Agent系统设计建模的目的是具体地模型化多Agent组织中承担不同组织职能的每一类Agent的结构，使其易于在现有的程序设计语言环境中实现，在该方法中，多Agent系统的设计建模需要建立三个模型：Agent模型、相互作用模型和相识者模型．Agent模型由信念、目标、计划三个基本子模型构成，这些子模型是根据分析阶段所获得的职能模型、协同工作过程模型以及领域本体来建立的，MAS系统中的每一Agent都是Agent模型中某一类Agent的一个实例．相互作用模型主要说明Agent之间的交互细节，如交互协议、交互语言、交互约束条件等．相识者模型说明每一类Agent的所有相识者及其属性，目前通过这一建模方法已在多智能体协同工作平台(MBOS)上开发出实际的应用系统“多智能体物资调配决策支持系统MAEDSS”。     

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

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

基于多Agent的机车电路仿真及其实现

针对机车电路复杂的连锁关系以及现有仿真建模方法存在的问题,本文提出了基于多Agent机车仿真建模方法,构建了基于多Agent的仿真模型并在JADE平台上仿真实现,结果表明利用多Agent间的交互、协作来实现机车内部电路的自治化,是一种更可行、更经济且具有人工智能特性的独特方法。     

基于AUML的Agent建模方案研究

AUML(Agent UML)是Agent建模普遍采用的方法,其通过对UML的扩展来支持Agent的建模.通过借鉴面向对象的系统分析方法,给出了AUML建模方案,并详细描述了AUML的建模机制和各类图的扩展.以编队指挥系统为例,从分析系统用例,分析和识别最初的Agent类型,责任识别,提取Agent之间的关系及精化Agent,确定交互直至Agent信息的配置,建立了一整套基于AUML的Agent建模方案.     

基于AUML与GPN的Agent交互协议建模

本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。     

基于多Agent和改进Deffaunt模型的信息传播建模与仿真

研究社会化营销中的信息传播对提出合理策略建议、提升企业竞争力有重要意义.信息传播是一个存在个体交互的复杂过程,多数信息传播模型中对现实情况做了较多的简化,没有考虑个体的异质属性对信息传播的影响,也无法体现个体间的交互,本文从复杂系统的角度研究信息传播过程,运用多Agent方法建立信息传播模型,并基于改进的Deffaun...     

Multi-Agent System Development Based on Organizations

Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this paper, we propose the employment of Organization Theory for the analysis and design of multiagent systems. Thus, we first discuss the current state of the art of organization-oriented multiagent system methods, placing emphasis on their organizational features. We also review human organizational structures, and we propose several guidelines for implementing agent organizations by means of Organization Theory. Our final aim is to employ well-known human organizational structures to develop multiagent systems.     

Distributed problem solving in multiagent systems: a spring net approach

This paper presents a new spring net approach for distributed problem solving in MAS. Distributed artificial intelligence consists of distributed problem solving and multi-agent systems. We extend such specialized DPS and MASs to a general MAS, such that an agent may make a trade-off between selfishness and unselfishness, thus adjusting its own personality and autonomy. This alternative to traditional approaches can deal with a variety of complicated social interactions and autonomous behaviors occurring in multiagent systems.     

Optimization of formation for multi-agent systems based on LQR

In this paper, three optimal linear formation control algorithms are proposed for first-order linear multiagent systems from a linear quadratic regulator (LQR) perspective with cost functions consisting of both interaction energy cost and individual energy cost, because both the collective object (such as formation or consensus) and the individual goal of each agent are very important for the overall system. First, we propose the optimal formation algorithm for first-order multi-agent systems without initial physical couplings. The optimal control parameter matrix of the algorithm is the solution to an algebraic Riccati equation (ARE). It is shown that the matrix is the sum of a Laplacian matrix and a positive definite diagonal matrix. Next, for physically interconnected multi-agent systems, the optimal formation algorithm is presented, and the corresponding parameter matrix is given from the solution to a group of quadratic equations with one unknown. Finally, if the communication topology between agents is fixed, the local feedback gain is obtained from the solution to a quadratic equation with one unknown. The equation is derived from the derivative of the cost function with respect to the local feedback gain. Numerical examples are provided to validate the effectiveness of the proposed approaches and to illustrate the geometrical performances of multi-agent systems.     

基于Petri网的实时多智能体系统建模

给出基于Petri网的实时多Agent系统建模方法，它通过Petri网建立由接口模块、目标模块、计划模块、调度模块、知识库模块、环境模块、内部模块和控制模块组成的实时Agent模型，抽象和清晰地描述出实时Agent内部和外部特征。     

Multiagent based differential evolution approach to optimal power flow

This paper proposes a new differential evolution approach named as multiagent based differential evolution (MADE) based on multiagent systems, for solving optimal power flow problem with non-smooth and non-convex generator fuel cost curves. This method integrates multiagent systems (MAS) and differential evolution (DE) algorithm. An agent in MADE represents an individual to DE and a candidate solution to the optimization problem. All agents live in a lattice like environment, with each agent fixed on a lattice point. In order to obtain optimal solution quickly, each agent competes and cooperates with its neighbors and it can also use knowledge. Making use of these agent-agent interaction and DE mechanism, MADE realizes the purpose of minimizing the value of objective function. MADE applied to optimal power flow is evaluated on 6 bus system and IEEE 30 bus system with different generator characteristics. Simulation results show that the proposed method converges to better solutions much faster than earlier reported approaches.     

网络结构化多Agent系统的任务分配

网络结构化多Agent系统既包括系统运行的底层物理网络,还包括Agent之间的交互网络。传统的任务分配方式并没有深入考虑到网络结构化的特点。文中首先论述网络结构化多Agent系统中任务分配的特点,介绍和分析基于底层网络拓扑与资源分布的任务分配方式、基于Agent交互网络与资源分布的任务分配方式和基于综合网络情境资源的任务分配方式。然后对相关工作进行综述,并与网络结构化多Agent系统任务分配模型进行比较分析。最后论述该方向的难点和未来要解决的问题。     

基于Petri Net的多Agent系统建模

多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广,急需一种建模技术对其进行形式化描述。针对这个问题,该文提出了一种使用PetriNet形式化表示多Agent系统的方法,分别从单个Agent视图和整个Agent系统的全局视图对其加以描述,以便进一步的分析和评估。     

基于OPM/MAS 的钢铁企业多agent 生产调度模型

现有的面向agent建模方法在统一性、灵活性、交互能力、逻辑验证能力等方面存在很多不足,阻碍了多agent系统的研究和设计.为此,引入对象过程/多智能体系统(OPM/MAS)的建模方法,将系统的功能、结构和动态行为集成在统一的模型中,用图形和自然语言共同表达复杂系统的抽象概念,可进行逻辑验证,并具有灵活性强、表意清晰等优势.通过在钢铁企业生产调度中的应用,验证了OPM/MAS在多agent等复杂系统建模中的有效性.     

A framework for model-based design of agent-oriented software

Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests a pressing need for system modeling techniques to support reliable, maintainable, and extensible design. G-nets are a type of Petri net defined to support system modeling in terms of a set of independent and loosely-coupled modules. In this paper, we customize the basic G-net model to define a so-called "agent-based G-net" that can serve as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multiagent systems, an example of an agent family in electronic commerce is provided. Finally, we demonstrate how we can use model checking to verify some key behavioral properties of our agent model. This is facilitated by the use of an existing Petri net tool.