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

• 作者: 周昌乐 张晓君 林颖
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 等级BDI(信念、愿望和意图)主体 不确定性推理 背景 行动 模型
• 年，卷（期）: 2016,（7）
• 页码范围: 35-40
• 页数: 6页
• 分类号: TP18|TP302
• 字数: 8884字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.7.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林颖		25	23	3.0	4.0