第6章Agemt研究进展.docVIP

第6章 Agent研究进展 石纯一 张 伟 等 清华大学计算机科学与技术系，北京 100084 6.1 引 言 Agent理论和技术作为分布式人工智能的研究领域，自20世纪70年代末出现以来发展变化很快[1]，引起了众多研究人员的关注，其原因是MAS(Multi-Agent Systems)可以在现代计算机科学及其应用领域扮演重要的角色。现代计算平台和计算环境不仅是开放和异质的，而且是大型分布式的，计算机不再是一个独立运行的系统，计算机之间、计算机和用户之间的密切联系使计算机和信息处理系统越来越复杂。传统的集中式计算模式不能适应大型分布式信息处理的要求，而基于Agent的计算和以Agent为主体的高层交互可以满足现代计算和分布式信息处理系统的要求。另外。MAS在分析和建立人类交互模型和交互理论中可以发挥重要作用。人类社会存在着复杂的多层次的交互关系，尽管我们每天生活在其中，但却很难完全理解这些交互现象。因此，MAS也将为社会学和心理学提供研究方法和理论基础。 MAS有很多重要的理论和技术，如基于Agent的规划方法、基于Agent的学习和基于Agent的搜索等。本章将从群体思维状态模型、MAS的形式语义、对策论方法、Agent组织、Agent的社会性、面向Agent的程序设计和面向Agent的软件工程等领域综述近年来的研究进展。 意识立场是研究在知识层面上描述Agent的方法，可用来建立Agent的思维状态模型。在对个体Agent的思维状态模型研究的基础上，Agent群体思维状态模型，以及个体思维状态与群体思维状态的关系成为当前更受关注的问题。用形式语义学的方法研究 MAS是对逻辑学方法的补充，有望把MAS的可计算性研究推进一步。基于对策论研究Agent的决策理性和Agent之间的交互是一种很自然的方法。对策论方法和逻辑学方法有机地结合起来有可能对MAS的理论和技术产生较大的影响。Agent组织是一种结构化的有明确求解目标的Agent群体，基于Agent组织的问题求解可以降低求解难度。减少Agent之间的交互复杂性。关于Agent组织的研究，目前比较受关注的问题有Agent组织模型、组织的形成和演化、组织规则和组织模式等。社会性是MAS中Agent社会行为能力的重要体现。基于现代组织理论研究Agent的社会性被认为有可能成为Agent的理论基础之一。也代表了未来Agent理论和技术的研究方向。面向Agent的程序设计是继面向对象的程序设计之后的一个新领域，是基于Agent的思维状态对Agent及复杂系统的编程方法，为Aget理论和方法的应用提供技术手段支持。面向Agent的软件工程研究用Agent理论和技术指导复杂软件系统的分析、设计与实现，为复杂软件系统的开发提供更为有效的方法和手段。 以下各节分别对上述有关Agent的近期研究进展进行综述。 6.2 群体思维状态 由于能力限制，要求单个Agent完成多项任务或复杂任务是不现实的，往往需要多个Agenl合作共同完成。因而。Agent群体成为MAS中的重要研究领域。多Agent联合思维状态的研究对于Agem群体理性、一致的行为而言有十分重要的意义。 Agent为了共同的目标或各自的利益走到一起，形成合作的或协作的群体。研究多Agent联合思维状态要解决的问题有:如何描述联合信念、联合承诺、联合意图等Agent群体的思 参与本章工作的还有王一川、曹子宁、张双民、金淖、张新良、吴元斌 维状态;如何描述合作的Agent群体中各Agent的思维状态及它们之间关系。如Agent之间的相互责任、Agent对联合活动的承诺、Agent在联合活动成功或失败以及发生突发事件后应采取的行为等。 6.2.1 联合信念 信念是Agent思维状态中最基本也是最简单的属性，Agent的信念一般用模态逻辑表示，信念算子B满足KD45公理。多Agent的联合信念不是单个Agent的信念的简单叠加，普遍公认的联合信念都是递归定义的，例如，Hustadt将多Agent联合信念定义为[2]: 在现有的工作中，无论对于联合目标和联合意图都要求一个群体要达到一个W-Bel,但是M-Bel的定义却是一个递归嵌套的形式。那么如何达到M-Bel以及这种相互信念如何随着活动过程不断演化，这是讨论M-Bel的核心。目前。不少工作将W-Bel看做Agent群体的一种基本模态算子，认为M-Bel是由Bel定义的，这种嵌套的递归定义不能保证在有限时间内达到M-Bel，这是一个无限通信问题，不能判定W-Bel的存在。 6.2.2 联合意图 意图是连接思维状态与行为的桥梁，一向是MAS研究的重点。Agent联合意图包括了参加者的实际推理和联合行动的产生，所以