论文部分内容阅读
文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0，1]扩展到[-1，1]，提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg—BDI逻辑（即：知识情感等级BDI逻辑），此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg—BDI逻辑可以对知识状态、心智状态（比如：信念、愿望和意图）和情感状态（比如：害怕、焦虑和自信）这些能够能够影响keg—BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg—BDI模型的语言、语义之后，对此种模型的