避免逻辑全知的BDI语义A-软件学报.PDFVIP

1000-9825/2002/13(05)0966-06 ©2002 Journal of Software 软 件 学 报 Vol.13, No.5 避免逻辑全知的BDI 语义 1 2 程显毅 , 石纯一 1(江苏大学 计算机科学与通信工程学院,江苏 镇江 212013); 2(清华大学 计算机科学与技术系,北京 100084) E-mail: chengxianyi@263.net http://www.jsust. 摘要: BDI(belief, desire, intention)是基于Agent 计算的理论模型,BDI 语义关系着Agent 计算的发展.通过把相信划 分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的 BDI 语义.该语义既能描述 Agent, 又避免了“逻辑全知” 问题. 关 键 词: Agent 计算;BDI;语义;模态算子;认知 中图法分类号: TP181 文献标识码: A Agent 是近几年来计算机科学领域中的一个重要概念,这一概念已被广泛应用于DAI 、软件工程、网络等 领域.虽然关于Agent 目前仍没有一个统一的定义,但一个Agent 可以被看做是拥有信念(belief) 、愿望(desire) 、 意图(intention)等精神状态的意识系统(简称BDI 模型).采用Kripke 可能世界语义模型解释BDI,会存在致命的 “逻辑全知” 问题.根源在于模态算子 B 的非正规特性.正规模态算子和非正规模态算子的本质区别取决于自然 化规则 N 是否有效[1] .因为Agent 相信所有有效公式,这构成了著名的“逻辑全知” 问题.为了避免“逻辑全知” 问 题的出现,许多学者已给出了BDI 的语义,但大都存在一定的局限性.本文通过把相信ϕ划分为主观相信(仍记为 Bϕ)和客观相信(记为Kϕ,此时称ϕ为知识),把可能世界理解为认知的不同阶段,把BDI 解释为在某一认知阶段的 认知,新的BDI 语义既能描述Agent,又避免了“逻辑全知” 问题. 1 现有BDI 语义的局限性 现有BDI 语义有如下几种趋势： [1] (1) 标准可能世界方法.它用可能世界语义模型新的可达关系解释非正规模态算子 . 1, w ∈W,且对∀w′,若R ■ww′,则 V(α,w′)=1 V( ■α,w) . 0, 否则 符号■表示非正规模态算子; □表示正规模态算子;W 表示可能世界集合;R ■或 R □分别表示非正规模态算 子和正规模态算子的可达关系(下同). 标准可能世界语义对认知的解释是,要么一开始就认知了,要么就永远不能被认知,所以标准可能世界与重 言式世界等价.也就是说,在标准可能世界语义下, ■和□没有本质区别,所以不能避免“逻辑全知”. (2) 信念演绎模型.其指导思想是通过公理方法避免在系统中出现逻辑闭包.Levesque 的信念逻辑系统从 语义上阻断了逻辑闭包的生成途径,Konolige 的信念演绎模型则是从语法上来阻断逻辑闭包的道路,但二者都 收稿日期: 2000-06-19; 修改日期: 2001-05-09 基金项目: 国家自然科学基金资助项目 作者简介: 程显毅(1956 －), 男,黑龙江哈尔滨人,副教授,主要研究领域为多 Agent 系统;石纯一(1935 －), 男,河北秦皇岛人,教 授,博士生导师,主要研究领域为人工智能应用基础. 程显毅 等:避免逻辑全知的BDI 语义 967 只是给出了有关信念逻辑,而没有考虑有关知识的逻辑,这对于一个能体现人类认知的 Agent 来说是不够完善 的.文献[2]给出了认知逻辑EL, 只是