智能主体的等级BDI(信念、愿望和意图)模型
近年来，影响最为广泛的主体技术就是BDI(信念、愿望和意图)模型。笔者把无穷值的？ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化。为了通过概率、必然性和可能性对不确定性行为进行表示和推理，我们把相应的公理添加到？ukasiewicz逻辑中。文中的等级BDI主体模型使用多背景系统，清晰地表示了信念、愿望和意图的不确定性。等级BDI主体的行为则通过添加了具体条件的每种背景的不同测度来决定。笔者对信念、愿望和意图的模型进行了公理化，并说明了它们对主体行为的影响。此模型可以很轻易地向包括其他心理状态的主体进行推广。笔者在给出了等级BDI模型的语言、语义和等级BDI逻辑的公理和演绎规则后，证明了此逻辑系统的完全性和可靠性。之后，在对复合行动进行形式刻画的基础上，描述了BDI模型的不同语境之间的关系。文章立足于不确定性的表示和推理，志在为分布式人工智能提供形式支持。
等级BDI(信念 愿望和意图)主体 不确定性推理 背景 行动 模型
张晓君 周昌乐
厦门大学哲学系;福建省仿脑智能系统重点实验室 福建厦门 361005 厦门大学智能科学与技术系、福建省仿脑智能系统重点实验室 福建厦门 361005
国内会议
长春
中文
1-10
2012-08-04（万方平台首次上网日期，不代表论文的发表时间）