摘要：
近年来，影响最为广泛的主体技术就是BDI(信念、愿望和意图)模型。笔者把无穷值的？ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化。为了通过概率、必然性和可能性对不确定性行为进行表示和推理，我们把相应的公理添加到？ukasiewicz逻辑中。文中的等级BDI主体模型使用多背景系统，清晰地表示了信念、愿望和意图的不确定性。等级BDI主体的行为则通过添加了具体条件的每种背景的不同测度来决定。笔者对信念、愿望和意图的模型进行了公理化，并说明了它们对主体行为的影响。此模型可以很轻易地向包括其他心理状态的主体进行推广。笔者在给出了等级BDI模型的语言、语义和等级BDI逻辑的公理和演绎规则后，证明了此逻辑系统的完全性和可靠性。之后，在对复合行动进行形式刻画的基础上，描述了BDI模型的不同语境之间的关系。文章立足于不确定性的表示和推理，志在为分布式人工智能提供形式支持。
会员登录
