10.11896/j.issn.1002-137X.2016.7.005
智能主体的等级BDI(信念、愿望和意图)模型
BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一.在把无穷值的Lukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻辑.为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到Lukasiewicz逻辑中.文中的GBDIPDL+LL主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性.GBDIPDL+LL主体行为则通过添加具体条件的每种背景的不同测度来决定.对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广.在给出了GBDIPDL+LL模型语言、语义和GBDIPDL+LL逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性.之后,在对复合行动进行形式刻画的基础上,描述了GBDIPDL+LL模型的不同背景之间的关系.文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持.
等级BDI(信念、愿望和意图)主体、不确定性推理、背景、行动、模型
43
TP18;TP302(自动化基础理论)
教育部人文社会科学研究规划基金项目13YJA72040001;国家自然科学基金项目61273338/F030603
2016-10-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
35-40