Agent理性模型及研究综述.pdf

Agent理性模型研究综述1 黄慎 胡军 1 湖南大学 计算机与通信学院，长沙 (410082） E-mail：hun_hs@163.com 摘要：本文分别从基于意识的模型、基于能力与知识的模型、基于政策和义务的模型和群体 思维状态模型等四个类型介绍了Agent 理论模型研究的现状，在详细介绍传统的Agent 理性 模型的基础上重点阐述了近年来出现的基于政策和义务的模型，指出该类模型代表了今后 Agent 理性模型研究的发展趋势；然后从逻辑全知和理论与实践脱离两个方面比较了各个模 型的优势和不足；最后简要的介绍了我们目前的研究工作。 关键字：Agent 模型，逻辑全知，政策，义务 中图分类号：TP391 1. 引言 在传统的 Agent 理性模型研究过程中，从意识的立场出发来研究 Agent 的思维属性，是 一个主导的研究方向。其中 BDI 模型又最为著名，在 BDI 模型中，Agent 的信念可以反应 环境的变化，通过决策（愿望和意图的选择）调整其行为，进而完成系统的设计目标。然而 传统的 Agent 模型也有如下一些不足之处：在信念修正方面，传统 Agent 的信念修正是Agent 自身对当前知识进行修改并保持与信念一致，即Agent 不能动态的选择知识与规则，不能接 受外部动机来调整自身的动作选择；在协作机制方面，现有 BDI 逻辑并不支持 Agent 之间 动态协作关系的显示表示和推理，未考虑引入新的规则后，如何对其行为进行选择调整，当 然也就缺乏了动作冲突处理机制。 因此，近年来一些研究者把政策、规范、义务等概念引 入到了 BDI 逻辑中，使 Agent 之间的协作关系得到显式表示，提高了 Agent 之间的协作性。 本文首先从基于意识的模型、基于能力与知识的模型、基于政策和义务的模型和群体思 维状态模型等四个方面阐述了 Agent 理论模型的研究状况，然后从逻辑全知和理论与实践脱 离两个方面比较了各模型的特点。 2. Agent 理论模型 2.1 基于意识的模型 Daniel Dennett[1~2]从大众心理学的角度描述了人们立场和行为，引入了意愿系统，通 过信念、愿望和合理的理性等属性来预测Agent 的行为。McCarthy认为，如果Agent 的信念、 愿望、目的、意识、能力等特性表示计算机的信息和人的信息是一样的，那么把他们赋予给 计算机是合理的；这有助于我们了解计算机的结构、它过去或将来的行为，我们可以为机器 1本课题得到高等学校博士学科点专项科研基金（项目编号：20070532075 ）和国家自然科学基金（项目编 号）的资助。 [3] [4~5] 建立比较简单的信念、知识和愿望体系，并最终能被人所用 。Bratman 从哲学的角度对 理性和意图进行了分析，刻画了意图的客观性和在理性平衡中的位置，并认为理性Agent 的 行为受制于意图，认为信念、愿望、意图是Agent基本的思维属性，并提出了BDI理论。在 Bratman 的基础上，学者们提出了一些著名的意图模型。 2.1.1 Cohen 和 Levesque 的意图模型 Cohen和Levesque （CL ）在 1990 年提出了著名的意图模型[6]，从“理性平衡”的角度 分析了自治Agent ，他们认为自治Agent 的信念、目标、规划、意图、承诺和动作之间需要一 种“理性平衡”。该模型基于正规逻辑的可能世界模型，定义了Agent 的一些基本属性，并将 意图定义为一种持续的目标，初步阐述了意图在Agent行为中的作用。CL并且将意图归结 为信念和意愿并从Agent基本的属性中推出了各种意图；采用了两个层次的方式来处理意图 理论形式化的问题，创建了一个逻辑上的理性代理，处理了基本模态算子之间的关系。在该 框架之上，他们引入了一系列的派生结构，构成了“理性的动作局部理论”，意图就是这些 结构之一