基于动态描述逻辑的多主体协作模型

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.     

多智体系统时序认知规范的SPIN模型检测

SPIN模型检测器主要用来检测线性时序逻辑描述的规范,而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用SPIN模型检测线性时序认知逻辑的方法,根据局部命题的理论,将模型检测知识算子和公共算子表述的规范规约为模型检测线性时序逻辑的问题,从而使SPIN的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个RPC协议分析实例来说明模型检测线性时序认知逻辑的方法。     

基于多智能体的信息融合系统

论文概述了智能体理论及其在信息融合方面的研究情况,总结了多智能体信息融合的基本方法,基于JADE平台,设计并实现了一种多智能体信息融合系统.     

基于智能多agent的推荐系统

针对传统推荐系统存在的用户评分稀疏性和系统扩展性问题,提出了一种基于智能多agent的推荐系统MASRS。首先采用余弦公式处理用户一项评分矩阵得到用户初始邻居集;然后将用户评分映射到相应项的属性值上,生成用户一属性值偏好矩阵UPm,并基于此矩阵进行用户相似性度量,得到用户产品推荐集,该方法有效缓解用户评分稀疏性问题;通过智能多agent架构推荐系统,使大量复杂计算在线下进行,从而改善系统存在的扩展性问题。同时实验表明新系统在推荐精度上收敛性更好。     

A Resource Logic for Multi-Agent Plan Merging

In a multi-agent system, agents are carrying out certain tasks by executing plans. Consequently, the problem of finding a plan, given a certain goal, has been given a lot of attention in the literature. Instead of concentrating on this problem, the focus of this paper is on cooperation between agents which already have constructed plans for their goals. By cooperating, agents might reduce the number of actions they have to perform in order to fulfill their goals. The key idea is that in carrying out a plan an agent possibly produces side products that can be used as resources by other agents. As a result, an other agent can discard some of its planned actions. This process of exchanging products, called plan merging, results in distributed plans in which agents become dependent on each other, but are able to attain their goals more efficiently. In order to model this kind of cooperation, a new formalism is developed in which side products are modeled explicitly. The formalism is a resource logic based on the notions of resource, skill, goal, and service. Starting with some resources, an agent can perform a number of skills in order to produce other resources which suffice to achieve some given goals. Here, a skill is an elementary production process taking as inputs resources satisfying certain constraints. A service is a serial or parallel composition of skills acting as a program. An operational semantics is developed for these services as programs. Using this formalism, an algorithm for plan merging is developed, which is anytime and runs in polynomial time. Furthermore, a variant of this algorithm is proposed that handles the exchange of resources in a more flexible way. The ideas in the paper will be illustrated by an example from public transportation.     

基于多Agent技术的CAPP系统研究

针对传统工艺规划系统的不足，提出一种基于多Agent技术的CAPP系统，从而使系统性能指标在集成性、开放性和分布性方面得到全面的改善和提高。深入研究了系统实现过程中的关键技术，包括Agent建模、多Agent体系结构、多Agent间的协同工作，并给出了一个具体应用实例。     

Translating Multi-Agent Autoepistemic Logic into Logic Program

In order to develop a proof procedure of multi-agent autoepistemic Logic (MAEL), a natural framework to formalize belief and reasoning including inheritance, persistence, and causality, we introduce a method that translates a MAEL theory into a logic program with integrity constraints. It is proved that there exists one-to-one correspondence between extensions of a MAEL theory and stable models of a logic program translated from it. Our approach has the following advantages: (1) We can obtain all extensions of a MAEL theory if we compute all stable models of the translated logic program. (2) We can fully use efficient techniques or systems for computing stable models of a logic program. We also investigate the properties of reasoning in MAEL through this translation. The fact that the extension computing problem can be reduced to the stable model computing problem implies that there are close relationships between MAEL and other formalizations of nonmonotonic reasoning.     

一种基于Multi-Agent的高效路径规划系统研究

基于MultiAgent系统规划,综合采用了传统两点之间最短路算法、自行设计的点聚合算法和邻近点融入算法,并根据路况的变化和GPS系统计算新的路线以调整生成路线,从而形成了一种高效的智能路径规划系统。系统在大连市烟草专卖局ERP基于GIS的烟草配送系统中的运行表明：采用这套路径规划系统,减少了每天出车数量,平均降低了行车里程,降低了配送的成本。     

基于多Agent复杂系统仿真平台研究

复杂性科学是研究复杂系统和复杂性的一门新兴的交叉学科.基于多主体(Agent)复杂系统仿真技术是研究复杂系统复杂性产生机制的有效手段之一,在众多领域得到广泛应用.为了使研究者从复杂的软件编程中解放出来,集中精力进行科学研究,开发高效的、易用的仿真平台成为推动基于多Agent复杂系统仿真技术进步的关键.针对目前多Agent仿真平台存在的局限性,进行仿真平台的结构设计,并开发了原型系统.最后,利用热虫(Heatbug)模型验证仿真平台的有效性.     

一种基于Bayesian信任模型的多Agent协作系统

提出了一种基于信任机制的多Agent协作系统的形成方案.通过借鉴社会学中的人际关系信任模型,建立Agent间的信任关系,利用Bayesian方法对Agent的可信度进行评估,通过Agent间基于信任关系的链接更新形成稳定的多Agent协作系统.仿真结果证实,提出的协作方案能有效地促进Agent间的协作效率,提高共同完成任务的成功率.     

多Agent信念逻辑及其在概率意义下的推广

首先建立了一种多Agent信念逻辑MBL(multi-agentbelieflogic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的等价性,证明了MBL对于上述两种语义的可靠性和完备性.其次,建立了一种多Agent概率信念逻辑MPBL(multi-agentprobabilisticbelieflogic),通过在广义Aumann语义基础上引入概率空间,给出了MPBL的概率Aumann语义,证明了它的可靠性,并给出MPBL的一些推论.     

基于Multi—agent的对策论协商模型

1 引言对策论的研究是以每个Agent的效用和赢利为基础的,每个Agent都希望能够在协商过程中求得Nash平衡的策略组合,使得那些基于理性假设的Agent均可获得一个稳定并且满意的解。当任何理性Agent达到Nash平衡点后,它们都不会试图离开,这是因为只有Nash平衡点,才能获得较大的赢利。可惜的是,Nash平衡不一定总是存在,或者可能存在多个,在这些情况下,如何寻找满意解,是人们一直试图解决的     

一个基于Multi—Agent的计算机安全免疫系统模型

一引言随着信息技术和Internet的迅速发展,计算机的安全问题越来越为人们所关注。Internet无控制的开放性在带来许多便利的同时,也带来了计算机系统安全的脆弱性。传统的安全技术,如:口令验证、反病毒软件、防火墙等,属于一种被动的防御措施,其主要特征是不停地补堵安全漏洞。与此同时,入侵者也在用各种有效的方     

基于时序活动逻辑的复杂系统多Agent动态协作模型

动态复杂问题求解是人工智能和复杂自适应系统理论与应用重要研究领域,多Agent动态协作是研究热点和难点之一,如何将问题与任务切分有待进一步地研究.借鉴组织学思想将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent系统组织,从时间和状态角度对复杂动态系统的行为进行描述,提出了基于时序活动逻辑的多Agent系统动态协作任务求解自适应机制和构造模型,建立了用于协作推理的语义规则、授权规则和行为规则,通过在中国科学院智能信息处理重点实验室开发的MAGE等平台上多方实验和仿真测试,验证了方法的可行性和有效性.     

基于MAS的个性化信息检索系统

介绍了信息Agent进行个性化信息检索的基本技术及发展趋势;给出了MAS体系结构并分析了它的优点;描述了如何在Multi-Agent系统Calvin中实现个性化信息检索。     

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.     

基于多Agent的继电保护系统

多Agent技术是近年来分布式人工智能领域得到广泛应用,本文中阐述了基于多Agent系统(MAS)的继电保护系统的结构、特点,并就对其系统构架、通信、可靠性等问题做概要介绍.     

基于多智能体的区域监控系统

以多个智能机器人协作完成的实时区域监控为应用背景,3个智能车为硬件平台,设计定位算法、通信模型和控制任务,用C#编程语言实现该应用方案。考虑3台智能车保持队形在区域内巡逻,用于保证完整覆盖、设定入侵目标的特征以及发现目标后的行为策略。该实验系统的构建为多智能体系统的理论研究提供了测试平台。     

一种基于MAS的入侵检测方法

本文根据入侵检测的现状和存在问题,结合Multi-Agent系统(MAS)的特点.提出一种基于MAS的入侵检测方法一MAIDS.结合完备的入侵指征库.该方法能正确完成各种入侵检测任务.为用户和系统安全保驾护航.     

基于Multi-Agent的供应商选择系统

制造企业在网上采购进行商务谈判的第一阶段任务是选择供应商,该文运用Multi-Agent技术对该问题的自动化实现进行研究。设计基于Multi-Agent的供应商选择系统的总体结构、评价指标体系和评价方法,给出有关Agent的功能结构,在设计系统工作流程的基础上研制原型系统。制造商Agent通过改进的FIPA合同网协议获得各供应商的报价,采用AHP方法进行评价和选择。该方法可快速自动选择符合要求的供应商,为企业下一阶段谈判提供初始报价依据。