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.     

移动agent系统的容错机制

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

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

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

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

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

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

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

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

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

基于双重架构的保险代理业务系统的设计

通过在系统中采用C／S和B／S相结合的双重架构,使数据的复杂处理功能与系统的扩展性实现了有机的结合,应用指纹身份识别方法和SSLVPN技术,保证了系统的数据安全。通过数据分库技术和同表分存技术使用,优化了系统数据库设计,提高系统的访问效率。     

多Agent协作的生物网络服务质量的智能评估模型

生物网络结构是为设计和实现可调整的、适虚的及可生存的网络应用的中间件.生物网络的服务和应用是通过多Agent之间的相互协作,动态地选择Agent所提供的服务来完成的.基于模糊逻辑、神经网络和遗传算法相结合的方法提出了多Agent协作的生物网络整体服务质量的智能评估和优化模型,它是一种基于五层模糊神经网络的模型,并采用遗传算法进行优化.仿真实验验证该模型的可行性.该智能评估模型能够高效地处理多Agent的模糊和非确定的服务质量评估问题.     

自主Agent结构AASC及其原型支撑系统AASS

介绍了一个能刻画agent的多种特征,尤其是自主性的自主agent结构AASC。此结构结合了BDI结构和情境演算的优点,既能表示agent的信念、目标、策略等心智成分,又能进行行动推理和规划。为了能够方便用户建造自主agent,基于自主agent结构AASC,开发了AASC的原型支撑系统AASS。介绍了AASS的总体结构,讨论了AASS的主要成分类,说明了如何利用该系统开发agent应用系统。     

基于学习者个性因素的多Agent协同学习系统

未解决当前的远程教育系统存在形式单一和被动教学等问题,该文提出了一个基于学习者个性因素的多Agent学习系统模型。该模型结合智能代理技术,通过分析学习者个性因素,给出了个体Agent能力描述语言,提出了新的个性化分组策略和学习任务分配策略,采用补偿机制鼓励agent合作,结合状态空间搜索理论使M AS系统具有更强的解题能力,并可满足学习者主动学习的要求,还能在一定程度上节约系统的通讯。     

基于Mobile Agent的信息检索系统的结构及相关技术

介绍了Mobile Agent系统的概念,提出了一个应用Grasshopper开发平台的基于Agent技术的网络信息检索系统的设计方案,讨论了该系统的结构模型、具体实现方法及相关技术。     

一种基于Agent与分布式缓存的服务组合体系结构

基于UDDI技术的普遍的Web服务发现、匹配、执行平台有可能产生严重的速率及服务响应延迟问题,本文提出了一种基于multi-agent与分布式缓存技术的服务组合的体系结构,分布式缓存可以提供一种高效的搜索方式,进而比较安全、快速的满足用户请求。文章的最后探讨了Web服务组合的发展趋势以及有待于进一步要做的工作。