基于keg-BDI主体的决策行为建模（英文）

文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg-BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg-BDI逻辑可以对知识状态、心智状态(比如:信念、愿望和意图)和情感状态(比如:害怕、焦虑和自信)这些能够能够影响keg-BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg-BDI模型的语言、语义之后,对此种模型的不同背景之间的相互关系进行了论述,最后对keg-BDI主体的军事决策行为进行了实例分析。本研究的目的在于为分布式人工智能和军事仿真提供形式支持。