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协议和消息格式要求。     

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.     

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社交活动的方法体系SASA5

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

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.     

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

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