论文部分内容阅读
信念、愿望和意图（BDI）模型是近年来影响最为深远的主体技术之一．文中把命题动态逻辑和无穷值的Lukasiewicz逻辑进行融合后对情感等级BDI主体模型进行了形式化．为通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理，把相应的公理添加到Lukasiewicz逻辑中．文中的情感等级BDI主体模型的行为是通过添加具体条件的每种背景的不同测度来决定，清晰地表示主体的心理状态和情感状态的不确定性．文中对情感等级BDI模型进行公理化，并说明它们对主体行为的影响．此模型可较轻易地向包括