Agent思维状态模型.pdfVIP

第 10 卷第 4 期 软　件　学　报 V l. 10, N .4 1999 年4 月 JOURNAL OF SOFTWARE Apr . 1999 　 Agent X 马光伟　徐晋晖　石纯一 ( 清华大学计算机科学与技术系　北京　100084) E-m ail: mgw@est 4. cs.tsinghua. edu. cn 文章综述了20 世纪 90 年代以来多Agent 系统中Agent 思维状态模型的研究结果.从直观分 析 形式化模型 结构模型 合作研究和应用方面来介绍Bratman 的哲学观点 C hen 和Levesque 的 意图模型 Ra 和Ge rgeff 的BDI 模型等重要成果, 最后介绍了正在开展的工作. , ( - ), 思维状态, 信念, 愿望, 目标, 意图, 承诺, 合作, 联合 Agent MAS multi agent system 意图. TP 18 在多 系统( - , 简称 ) 中, 思维状态模型用来研究 何描述 的思维 Agent multi agent system MAS Agent Agent 属性和它们之间的关联, 以及与感知、规划、行为、协调、合作等活动的关系. 从意识立场出发, 一般把信念 (belief) 、愿望(desire)和意图( intenti n) 当作基本的思维属性( 简称BDI) .Agent 的BDI 分析不同于人们所熟悉 的知识表示和推理, 它是对思维过程的一种深层次描述, 为的是适应MAS 求解过程中环境的多变, 在突发事件 发生的情况下, 保证理性的、一致的合作行为. Dennett 描述了人们看待系统的立场:( 1) 物理立场, 着眼于系统的物理特性和规律; (2) 设计立场, 着眼于 系统的设计 目标;( 3) 意识立场, 把系统看做理性Agent, 通过信念、愿望和其他意识属性来预测Agent 的行为. Singh 认为把Agent 看做意识系统的好处是:( 1) 对设计者和分析者来说, 这样是自然的; (2) 对描述复杂系统 的行为提供了简洁的表示, 便于理解和解释; (3) 不依赖物理实现就可以得到许多Agent 行为的规则和模式; [1] ( 4) 可被Agent 自身用来进行互相推理 . 实践表明, 对于许多复杂系统, 即使有了详尽的结构和工作机理的描 述, 也很难从设计立场来预测和解释它的行为, 更适合采用意识立场的描述. 意识观念是一种抽象工具, 为人们 [ 2] 描述、解释和预测复杂系统的行为提供了一种方便的方式 . 另外, 有关Agent 模型的研究还有两方面的动力: ( 1) 控制分布式计算的复杂性;( 2) 克服人机界面的局限 性. 伴随分布式计算的广泛使用, 需解决Agent 之间互操作的复杂性问题. 人们试图使用与人类思维属性相对应 的概念, 在规划层提供一种类似于对低层通信协议的封装. 随着任务复杂性的增加, 直接操纵界面的优势正在消 [ 1] 失, 人们试图用Agent 技术来实现一种间接管理风格 . 目前,Agent 思维状态模型是以模态逻辑为工具来描述 的, 一般知识逻辑用 45 公理、信念逻辑用 45 公理、目标和意图用 公理来分析. 的逻辑描述还 KTD KD