避免逻辑全知的bdi语义

bdi(belief,desire,intention)是基于agent计算的理论模型,bdi语义关系着agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的bdi语义.该语义既能描述agent,又避免了"逻辑全知"问题.