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