智能主体的等级BDI(信念、愿望和意图)模型

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