基于k eg-BDI主体的决策行为建模

摘要：

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

机标关键词：军事决策行为、行为建模、动态逻辑、artificial intelligence、情感状态、卢卡斯、知识状态、行为决策、心智状态、相互关系、实例分析、人工智能、取值范围、模型、扩展、军事仿真、range of、形式化、分布式、自信

所属期刊栏目：9

分类号：TP3;E26

资助基金：the Humanities and Social Sciences Planning Foundation of Chinese Ministry of EducationGrant 13YJA72040001;by the National Natural Science Foundation of China under Grant No.61273338/F030603

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

页数：共14页

页码：23-36