一个基于XML的Agent通信框架

Agent通信是多Agnet系统的核心活动之一,是Agent相互协调、合作、竞争和完成任务的基础。Agent通信语言为此提供了一种高层次、灵活、通用的通信模式。在KQML和FIPA－ACL的基础上提出通用Agent通信语言的概念,阐述构建通用ACL的重要性和可行性,深入讨论一个基于XML的Agent通信框架,最后给出实例。     

基于XML的Agent通信语言

Agent之间的交互与合作是Agent系统中核心问题之一，而Agent通信语言(ACL)是实现交互与合作的基础。根据目前Agent的应用环境，分析了目前主流通信语言KQML与FIPA ACL以及与之相关的内客语言的缺点，结合WWW的主流技术XML，提出基于XML的ACL。     

Agent的理论与结构模型分析

通过对Agent的理论与结构模型的分析总结，解释了Agent的基本定义和理论模型，指出了当前Agent理论模型存在的一些问题，勾画出Agent技术的理论和结构模型的总体框架，并在此基础上给出了Agent的结构模型和形式定义，建立了一个基于事件(Event)的Agent模型。     

基于移动Agent系统的安全技术研究

本文在论述了移动Agent系统所面临的各种安全性问题之后,总结了现有移动Agent系统的解决方案。在此基础上,本文建立了一个基于移动Agent系统的安全框架,旨在加强基于移动Agent系统的安全性,并实现了对其安全策略的灵活配置。     

基于Agent的入侵检测系统框架研究

文章在CIDF(通用入侵检测框架)的基础上,引入了静态智能Agent和移动Agent,提出了基于Agent的入侵检测系统框架的构想,采用静态智能Agent实现事件组件和分析组件的功能,采用移动Agent实现响应组件的功能。此框架的特点包括可扩展性、可动态配置、集成性、有效性、便于维护、升级和可自动响应等等,从而极大地改善了入侵检测系统的性能。     

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

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

一个松散耦合的多Agent系统通信框架

传统的Agent通信采用紧耦合方式,不利于多Agent系统的扩展和异质Agent之间的互操作.分析了Web服务和语义Web服务的基本模型,借鉴了语义Web服务的体系结构思想和实现手段,在此基础上给出了一个松散耦合的多Agent通信框架.框架强调慎思式多Agent之间合作的起点是Agent对自身能力的描述和发布,通过语法封装和语义映射解决使用不同ACL(Agent通信语言)的Agent交互问题,具有灵活性、可扩展性、简单性和通用性.     

一种基于MADP协议的移动Agent通信框架

通信机制是移动Agent系统研究的基础。在分析各种通信方式的基础上，提出了一种基于MADP协议的移动Agent系统通信框架。介绍了MADP通信协议，对该通信框架进行了的分析，并详细阐述了每个部分的内部关系，讨论了相关实现技术。     

基于Web Service的MAS的集成系统的设计与实现

设计了Web Service与多Agent系统的集成系统的体系结构。提出用Web Service Agent转换器来实现ACL消息与SOAP消息之间的转换，并对Web Service Agent转换器重要模块进行了实现，在消息层面上实现了Web Service与Agent之间的互连互通。从实验结果看，效果比较明显。     

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

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

Formal verification of a generic framework to synthesize SAT-provers

We present in this paper an application of the ACL2 system to generate and reason about propositional satisfiability provers. For that purpose, we develop a framework in which we define a generic S AT-prover based on transformation rules, and we formalize this generic framework in the ACL2 logic, carrying out a formal proof of its termination, soundness, and completeness. This generic framework can be instantiated to obtain a number of verified and executable SAT-provers in ACL2, and this instantiation can be done in an automated way. Three instantiations of the generic framework are considered: semantic tableaux, sequent calculus, and Davis-Putnam-Logeman-Loveland methods.     

Asynchronous communication model based on linear logic

We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programming framework, where its operational semantics is described in terms ofproof construction in linear logic. We also give a model-theoretic semantics based onphase semantics, a model of linear logic. Our framework well captures concurrent computation based on asynchronous communication. It will, therefore, provide us with a new insight into other models of asynchronous concurrent computation from alogical point of view. We also expect ACL to become a formal framework for analysis, synthesis and transformation of concurrent programs by the use of techniques for traditional logic programming. ACL's attractive features for concurrent programming paradigms are also discussed.     

基于Spring Security ACL的系统访问控制研究

Spring Security ACL是一个权限访问控制框架,主要用来控制各种资源的访问权限。本文讲述Spring Security ACL的机制原理和理论研究,同时也通过一个简单的权限控制实现的例子演示Spring Security ACL的安全框架的实现方法和过程。     

An Observation Approach to the Semantics of Agent Communication Languages

We show how a formal framework for the observation issue in computer systems can be used for the specification of an agent behavior, abstracting away from agent inner details while focusing on its interactive behavior. This model can also be used as a specification of agent communication languages (ACLs), providing the proper abstraction level to represent the conditions causing an agent to send a message, as well as its effect on the receiving agent. In particular, this approach generalizes upon existing ACL semantics, such as FIPA ACL, that relate agent communicative acts to the agent mental state. Since the observation framework induces a more abstract architecture than other known approaches, our semantics are likely to be applicable to a wider set of agent architectures, thus better supporting standardization aims. Some application examples are shown, describing how various aspects of ACL semantics can be specified within our framework.     

The State of the Art in Agent Communication Languages

Like societies of humans, there is a need for agents in a multi-agent system to rely on one another, enlist the support of peers in order to solve complex tasks. Agents will be able to cooperate only through a meaningful communication language that can bear correctly their mental states and convey precisely the content of their messages. In search for the ideal agent communication language (ACL), several initiatives like the pioneering work of the Knowledge Sharing Effort and the Foundation for Intelligent Physical Agents (FIPA) are paving the way for a platform where all agents would be able to interact regardless of their implementation environment. ACL is a new field of study that could gain from a survey in expanding its application areas. For this purpose, we examine in this paper the state of the art in ACL design and suggest some principles for building a generalized ACL framework. We then evaluate some existing ACL models, and present the current issues in ACL research, and new perspectives. Received 22 July 1999 / Revised 23 March 2000 / Accepted 2 May 2000     

应用hLDA进行多文档主题建模关键因素研究

hLDA(层次潜在狄利克雷分配)在层次主题建模中的良好效果已经得到广泛验证。为了实现半监督或无监督,通常采用交叉验证或抽样超参来确定参数。但由于语料特征、建模需求等不确定因素,参数调节方法、建模效果和效率都是实际应用中的难点。该文首先结合贝叶斯线索和范围线索构成的统一分析框架,研究hLDA主题建模中的关键影响因素,然后给出一个切实有效的建模策略及流程,最终结合ACL MultiLing 2013多文档摘要语料进行实际建模效果评估。     

CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework

Design, development, and maintenance of firewall ACLs are very hard and error-prone tasks. Two of the reasons for these difficulties are, on the one hand, the big gap that exists between the access control requirements and the complex and heterogeneous firewall platforms and languages and, on the other hand, the absence of ACL design, development and maintenance environments that integrate inconsistency and redundancy diagnosis. The use of modelling languages surely helps but, although several ones have been proposed, none of them has been widely adopted by industry due to a combination of factors: high complexity, unsupported firewall important features, no integrated model validation stages, etc. In this paper, CONFIDDENT, a model-driven design, development and maintenance framework for layer-3 firewall ACLs is proposed. The framework includes different modelling stages at different abstraction levels. In this way, non-experienced administrators can use more abstract models while experienced ones can refine them to include platform-specific features. CONFIDDENT includes different model diagnosis stages where the administrators can check the inconsistencies and redundancies of their models before the automatic generation of the ACL to one of the many of the market-leader firewall platforms currently supported.     

Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents

In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contributions: The argumentation framework is defined by a declarative bottom-up fixpoint semantics and an equivalent goal-directed top-down proofprocedure for extended logic programming. Our framework allows one to represent positive and explicitly negative knowledge, as well as uncertainty. Both concepts are used in agent communication languages such as KQML and FIPA ACL. One source of uncertainty in open systems stems from mismatches in parameter and predicate names and missing parameters. To this end, we conservatively extend classical unification and develop fuzzy unification based on normalised edit distance over trees.     

COMMUNICATION LANGUAGES FOR MULTIAGENT SYSTEMS

Agent Communication Languages (ACLs) have recently acquired a primary role in open multiagent systems, which need a standard communication framework shared by all interacting heterogeneous agents. According to the most important ACL standard proposals so far, agents are supposed to carry out the communication process by performing actions of a specific type, namely, communicative acts, whose semantics is defined in terms of the agents' mental states. Although following the mainstream guidelines inspired by the Speech Act Theory, our work illustrates an alternative model of agent communication, by shifting the focus from agents' mental states to their social state. Taking an existing communicative act library, we provide a semantics for a significant set of acts based on the concept of commitment, and prove that our approach tackles some issues that have not been dealt with in an effective way yet and that may have hindered the rise of an universally accepted ACL standard.