多Agent系统与分布式专家系统研究

1 引言专家系统是人工智能中最活跃的一个分支,已在众多领域取得了巨大的社会效益和经济效益。但是,传统专家系统方法还存在着许多局限性,尤其是随着计算机网络和计算机应用的发展,专家系统又面临着两个严重问题。一是如何改变过去的单机模式,更好地适应网络环境;二是如何打破以往的封闭模式,更好地实现大型复杂问题的分布式处理。     

基于多Agent技术的分布式测控系统研究

文章将智能Agent技术应用于分布式测控系统领域．实现分布式测控系统的智能化。对Agent技术、多Agent系统、分布式测控系统进行分析，指出基于多Agent技术的分布式测控系统需要解决的几个问题，最后给出一个应用实例。     

多Agent合作逻辑研究进展

多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。     

多Agent VSK-AF逻辑

提出了对多Agent系统的信息特征进行推理的形式化体系VSK-AF逻辑,建立了它与多Agent系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性。讨论了进一步的研究工作。     

分布式多Agent系统流水线调度模型的矩阵分析法

采用综合逻辑的代数的方法刻画系统的动态行为,提出了分布式多Ａｇｅｎｔ系统流水线调度模型的矩阵分析法,并可直观地得到系统的Ｐｅｔｒｉ网模型,将该方法应用于自主式智能机器人流不线导航模型的分析,为系统的设计和优化提供理论依据,该方法比一般的Ｐｅｔｒｉ网分析法简捷、完备,并有严密的数学描述和分析手段。     

基于多Agent的智能故障诊断系统研究

对多Agent技术在故障诊断领域的应用作了研究，介绍了结构型和功能型多Agent故障诊断系统的总体结构，并讨论了构造基于多Agent故障诊断系统的关键问题，为实际应用系统的开发提供了理论指导。     

基于VSK逻辑的多Agent系统

描述了基于VSK逻辑的垃圾清理多Agent系统。在该系统中,用表示Agents能够感知到的,以及知道的关于环境的信息的操作符V,S和K来对Agents及其环境的特征进行刻画。讨论了Agents在环境中感知到的信息,由感知到知识的转变过程以及Agents自身的局部状态的转换,并且在动作可达的全局状态上对算子解释函数之间的关系进行了分析。同时,讨论了在系统的运行中系统状态的转换并且动态地描述了DCS的运行。最后介绍了DCS的具体实现。     

多Agent系统的协同

近年来,基于Agent技术给软件的发展带来了日新月异的变化,这种技术提供了软件系统概念化、设计与实现的全新模式,特别是分布与开放环境中运行的软件系统。文章着重阐述研究多Agent系统协同的原因、一般问题、协同关键方法以及协同协议和策略、几个代表观点,并简单描述了在当前主要应用领域内的经典工作,文中最后还提出了当前存在问题和研究领域。     

基于多Agent系统的分布式群体决策支持系统中问题分配的研究

本文利用分布式人工智能技术提出基于多Agent系统(MAS：Multi—Agent System)的分布式群体决策支持系统框架体系结构。在这个系统中,每个Agent都是一个独立的、具有各自利益的自治体,问题不能被强行地分配给各个Agent,因此本文在研究多Agent系统协调的基础上,给出了问题分配的一种解决方案。     

分布式检测监控系统中Agent模型及实现研究

基于多Agent技术对检测监控系统进行了研究,提出了一种分布式检测 监控系统结构模型。通过对检测监控系统中Agent特性的讨论给出了相应Agent的模型,对该模型的功能实现进行了详细的分析,并讨论了关于Agent的具体实现。     

有界模型检测同步多智体系统的时态认知逻辑

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(bounded model checking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL*的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKL_n.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKL_n的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.     

基于多Agent的分布式通信对抗目标分配系统

针对通信对抗目标分配的特点,提出一种基于多Agent的分布式目标分配系统。给出问题描述和模型建立的方法,设计分布式协同拍卖机制和分布协同拍卖算法,其中,分布协同拍卖算法包括竞拍序列禁忌规则、目标威胁度更新规则等。仿真结果表明,与遗传算法相比,该算法收敛速度较快、实时性较强。     

Common Knowledge and Update in Finite Environments

Logics of knowledge have been shown to provide a useful approach to the high level specification and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge- based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilation of knowledge-based protocols require the development of algorithms for the computation of states of knowledge. This paper studies one of the computational problems of interest, the model checking problem for knowledge formulae in the S5_nKripke structures generated by finite state environments in which states determine an observation for each agent. Agents are assumed to have perfect recall and may operate synchronously or asynchronously. It is shown that, in this setting, model checking of common knowledge formulae is intractable, but efficient incremental algorithms are developed for formulae containing only knowledge operators. Connections to knowledge updates and compilation of knowledge-based protocols are discussed.     

一种MAS构件知识复用动态演化模型

为提高企业的知识利用效率,增强企业创新能力,针对企业现有知识和系统,提出将企业知识管理的业务逻辑与知识处理事务分开,建立了基于多智能体和构件知识的知识复用模型,设计了知识管理业务逻辑的规则模型和智能体的活动行为模型,讨论了基于多智能体的规则协调模式,有效地支持知识的动态复用和知识使用过程的动态重组,增强知识管理系统的分布式处理能力和规模可扩展能力.在分布式构件库系统中,智能体通过协作联合完成任务要求.每个智能体拥有自己的知识库,并且具备学习能力,能够更新其知识库以保持执行结果的有效性.     

分布式知识库系统DKBS/TH-1的研究与实现

本文在对知识的系统化组织与管理的基础上,对分布式知识库的体系结构、知识的分布查询和问题的分布求解等功能和机制进行了讨论,并介绍了一个具体的分布式知识库系统DKBS/TH-1的实现情况,具有一定的灵活性和适用性。     

A Formal Model of Multi-Agent Belief-Interaction

A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.     

Minimal Belief and Negation as Failure in Multi-Agent Systems

We propose an epistemic, nonmonotonic approach to the formalization of knowledge in a multi-agent setting. From the technical viewpoint, a family of nonmonotonic logics, based on Lifschitz's modal logic of minimal belief and negation as failure, is proposed, which allows for formalizing an agent which is able to reason about both its own knowledge and other agents' knowledge and ignorance. We define a reasoning method for such a logic and characterize the computational complexity of the major reasoning tasks in this formalism. From the practical perspective, we argue that our logical framework is well-suited for representing situations in which an agent cooperates in a team, and each agent is able to communicate his knowledge to other agents in the team. In such a case, in many situations the agent needs nonmonotonic abilities, in order to reason about such a situation based on his own knowledge and the other agents' knowledge and ignorance. Finally, we show the effectiveness of our framework in the robotic soccer application domain.     

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

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

分布式考试系统的设计与实现

开发了一套分布式通用考试系统。