情感等级BDI主体模型研究

摘要：

　　信念、愿望和意图(BDI)模型是近年来影响最为深远的主体技术之一。文中把命题动态逻辑和无穷值的?ukasiewicz逻辑进行融合后对情感等级BDI主体模型进行了形式化。为通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理，把相应的公理添加到?ukasiewicz逻辑中。文中的情感等级BDI主体模型的行为是通过添加具体条件的每种背景的不同测度来决定，清晰地表示主体的心理状态和情感状态的不确定性。文中对情感等级BDI模型进行公理化，并说明它们对主体行为的影响。此模型可较轻易地向包括其它心理状态和情感状态的主体进行推广。文中在给出情感等级BDI模型的语言、语义及公理和演绎规则后，证明此逻辑系统的可靠性和完全性。随后给出情感等级BDI主体模型的不同背景之间的相互关系，并对该主体的买房行动进行实例分析。本研究立足于不确定性的表示和推理，旨在为分布式人工智能提供形式支持。

关键词：情感等级BDI主体、情感状态、不确定性推理

分类号：TP181;TP302(自动化基础理论)

资助基金：国家自然科学基金项目61273338/F030603;教育部人文社科研究规划基金项目13YJA72040001

在线出版日期：2013-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：615-622