%0 Journal Article
%T 避免逻辑全知的BDI语义
%A 石纯一
%A 程显毅
%J -
%D 2002
%X BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了"逻辑全知"问题
%K Agent计算 BDI 语义 模态算子 认知
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20020512&flag=1