A Verification Framework for Agent Communication

In this paper, we introduce a verification method for the correctness of multiagent systems as described in the framework of ACPL (Agent Communication Programming Language). The computational model of ACPL consists of an integration of the two different paradigms of CCP (Concurrent Constraint Programming) and CSP (Communicating Sequential Processes). The constraint programming techniques are used to represent and process information, whereas the communication mechanism of ACPL is described in terms of the synchronous handshaking mechanism of CSP. Consequently, we show how to define a verification method for ACPL in terms of an integration of the verification methods for CCP and CSP. We prove formally the soundness of the method and discuss its completeness.     

一种基于模板分析的Agent信息交换方法

提出一种基于模板分析方法,说明Agent之间通信如何使用这种方法去构造和分解消息,并说明这种方法减少了在ACL上的假设和消息格式的使用。模板的应用降低了Agent之间相互操作的需求,允许Agent在一个开放的多Agent系统中通信,可以事先不考虑缺少ACL协议和消息格式要求。     

Intelligent Travel Planning: A MultiAgent Planning System to Solve Web Problems in the e-Tourism Domain

This paper presents Intelligent Travel Planning (ITP), a multiagent planning system to solve Web electronic problems in the Web, whose main goal is to search for useful solutions in the electronic-Tourism domain to system users. The system uses different types of intelligent autonomous agents whose main characteristics are cooperation, negotiation, learning, planning and knowledge sharing. Obviously the information used by the intelligent agents is heterogeneous and geographically distributed, since the main information source of the system is Internet. Other information sources are agent knowledge bases in the distributed system. The process to obtain, filter, and store the information is performed automatically by agents. This information is translated into a homogeneous format for high-level reasoning in order to obtain different partial solutions. Partial solutions are reconstructed into a general solution (or solutions) to be presented to the user. The system will show a set of solutions to the users that can be evaluated by them.     

A Negotiation Enabling Agent Based Infrastructure: Composition and Behavior

Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the agents to interact directly. In this paper it has been investigated how a mediator agent can improve the chances to reach the agreement via bargaining. Although the ideal mathematical model was proposed in the seventies, this was never implemented as a working mechanism, due to the fact that the mediator needed information that was difficult to gather and the usual environment was not repetitive enough to consolidate this information for a fair mediation. The agent-based infrastructure proposed collects continuously data about the negotiating parties and the mediator agents use this data to reduce the exaggeration of the parties. The paper includes a mediation example and the major conclusion is that negotiation is improved by a mediator which has historical data about the negotiating parties.     

一个具有高安全性的移动Agent系统模板结构

在分析现有的移动Agent系统的特点以及MASIF(mobile agent system interoperability facility)规范的基础上,给出了一个具有高安全性的移动Agent系统Jamogents及其模板结构,描述了其工作流程,并在重载Java类java.lang.SecurityManager的基础上实现了一种用于加密和数字签名的算法RIM(RSA+IDEA+MD5).     

Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture

The development of enabling infrastructure for the next generation of multi-agent systems consisting of large numbers of agents and operating in open environments is one of the key challenges for the multi-agent community.Current infrastructure support does not materially assist in the development of sophisticated agent coordination strategies. It is the need for and the development of such a high-level support structure that will be the focus of this paper. A domain-independent (generic) agent architecture is proposed that wraps around an agent's problem-solving component in order to make problem solving responsive to real-time constraints, available network resources, and the need to coordinate—both in the large and small—with problem-solving activities of other agents. This architecture contains five components, local agent scheduling, multi-agent coordination, organizational design, detection and diagnosis, and on-line learning, that are designed to interact so that a range of different situation-specific coordination strategies can be implemented and adapted as the situation evolves. The presentation of this architecture is followed by a more detailed discussion on the interaction among these components and the research questions that need to be answered to understand the appropriateness of this architecture for the next generation of multi-agent systems.     

基于Agent的决策支持系统的构建

将人工智能中的最新技术Agent技术用于构建决策支持系统 ,引入交互Agent、信息Agent、模型Agent和知识A gent来构成系统的智能部分 ,利用多个Agent的通讯与合作 ,更好地帮助用户进行决策 ;同时给出了各类Agent的具体实现方法     

基于π演算的一种Agent组织模型

Agent组织是多Agent系统研究的重要方面。从直观含义出发，将组织看做Agent之间的控制关系，以π演算为工具，给出了组织角色的定义和根据组织框架构建具体组织的过程。角色和组织框架都用进程表示，确定了Agent加入和脱离组织的严格描述，相比Ferber等以π演算和化学自动机定义组织形成过程的形式语义的工作，本文显式定义了角色和组织框架，所讨论的组织更具一般性。     

Pricing in Agent Economies Using Multi-Agent Q-Learning

This paper investigates how adaptive software agents may utilize reinforcement learning algorithms such as Q-learning to make economic decisions such as setting prices in a competitive marketplace. For a single adaptive agent facing fixed-strategy opponents, ordinary Q-learning is guaranteed to find the optimal policy. However, for a population of agents each trying to adapt in the presence of other adaptive agents, the problem becomes non-stationary and history dependent, and it is not known whether any global convergence will be obtained, and if so, whether such solutions will be optimal. In this paper, we study simultaneous Q-learning by two competing seller agents in three moderately realistic economic models. This is the simplest case in which interesting multi-agent phenomena can occur, and the state space is small enough so that lookup tables can be used to represent the Q-functions. We find that, despite the lack of theoretical guarantees, simultaneous convergence to self-consistent optimal solutions is obtained in each model, at least for small values of the discount parameter. In some cases, exact or approximate convergence is also found even at large discount parameters. We show how the Q-derived policies increase profitability and damp out or eliminate cyclic price wars compared to simpler policies based on zero lookahead or short-term lookahead. In one of the models (the Shopbot model) where the sellers' profit functions are symmetric, we find that Q-learning can produce either symmetric or broken-symmetry policies, depending on the discount parameter and on initial conditions.     

一种基于多代理技术的分布式入侵检测系统

本文介绍了入侵检测系统在计算机以及网络安全中的意义和现有入侵检测系统的局限性,提出了一种采用多代理技术的分布式入侵检测系统,叙述了多代理技术在入侵检测系统中的意义,详细说明了系统的体系结构、工作原理以及该系统的优越之处。     

A Roadmap of Agent Research and Development

This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications, and to indicate how they relate to one-another. Some historical context to the field of agent-based computing is given, and contemporary research directions are presented. Finally, a range of open issues and future challenges are highlighted.     

支持Agent社交活动的方法体系SASA5

传统软件Agent技术在开发基于Web的社交智能中应用潜力严重受阻,原因在于该技术只适用于封闭的小规模系统,难以适应将出现于Web的Agent社会所面临的由大量异质Agents参与的、开放的、动态变化的并充满不确定因素的因特网环境．该文提出支持Agent社交活动的方法体系SASA5,旨在以社区／联邦式的政策导向型社会体制为主线,从5维(信息建模、中介服务、理性协商、法制管理和用户调控)去建设开放式、多方位、系统化、安全的且易于人透明调控的社交活动基础结构,以支持Agent社交智能的有效开发．     

一个基于移动代理技术的入侵检测系统模板结构

传统的入侵检测系统多采用集中式处理方法，面临着数据量大及资源有限双重压力。该文通过把移动代理技术应用于入侵检测系统，并给出其模板结构和工作流程的描述，提出了一种解决该问题的方案。此外，系统还具有升级简便、智能性及避免路径阻塞等特点。     

移动agent系统的容错机制

容错性对移动agent的应用起着至关重要的作用,因为它确保agent正确到达目的地,避免agent在途中的部分或全部的丢失。在本文中,我们介绍分析了现有移动agent系统的容错机制或模型。     

基于感知控制的代理体系结构模型

提出一个基于感知控制代理的体系结构模型,旨在建模高可用的交互式软件系统.该模型通过增加新的体系结构层次来显式地建模可用性需求,以实现不同可用性特征之间的正交关系,并采用感知控制理论来匹配用户界面和应用核心之间的非线性关系.与现有的体系结构模型相比,该模型不仅使系统能够呈现用户任务层次的界面元素,而且允许用户在任务层次上对系统进行操作,从而使用户以更自然的方式控制系统来完成任务,实现目标.此外,采用该模型的系统还可以实现可用性的动态扩充.     

一种基于黑板模型的多Agent系统通信方法

本文以人工智能领域中的黑板模型为基础 ,提出了在 Internet环境中多 Agent系统 (MAS)的通信方法 .该方法可用于异构的 MAS系统间的通信 .首先把 MAS系统的通信环境划分为不同的层次 ,然后用黑板模型对这些层次进行了描述 .基于这种描述给出了 MAS系统通信用协议和相关参数 .而且 ,还在这些参数中设置了有关服务质量的元素 .     

面向供应链管理的移动代理体系结构

提出了一个完整的供应链管理平台架构。针对供应链管理模式的动态性和不确定性特点引入移动代理技术，对分布在Internet上制造企业的资源和活动进行有机集成。讨论了具有一定智能性的移动代理的体系结构、舍话策略和实现方案，以及支持该移动代理的低层运行环境和项目管理平台，并采用XML技术对供应链管理系统与企业原有数据源进行绑定，为实现不确定环境下企业的动态联盟提供了有力工具。     

基于Multi-Agent的多车道交通流的分布式仿真研究

该文以Agent技术为基础,对多车道交通流进行了模拟,并与实际的道路交通流特点进行了比较。首先根据驾驶员实际驾车的特点,建立车辆Agent的基本模型,对车辆Agent换道超车和加速策略进行描述。然后以分布式模型为基础,将多车道交通环境中的车辆运行模拟为Multi-Agent的相互作用。在仿真中,采用了面向Agent的仿真软件Starlogo。从微观上看,所描述的车辆模型能够完成加速和换道过程;从宏观上看,仿真中交通流特点与实际情况是一致的。说明该文的模型符合实际情况,同时也表明了使用Agent技术进行多车道交通流系统仿真的准确性和可行性。     

基于移动代理、关键主机隐藏技术的IDS体系结构

本文介绍了一种安全灵活的入侵检测系统体系结构，通过运用关键主机隐藏技术，使关键主机对于主动探测，被动监听均不可见，提高了系统自身的安全性，同时，通过引入移动代理，限制入侵检测系统各部分之间的通信等机制，增强本体系结构对于拒绝服务攻击的抵抗力，系统通过使用智能移动代理在网络节点上收集处理信息，提高了入侵检检测系统的灵活性，减少了网络负载。