摘要
文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg-BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg-BDI逻辑可以对知识状态、心智状态(比如:信念、愿望和意图)和情感状态(比如:害怕、焦虑和自信)这些能够能够影响keg-BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg-BDI模型的语言、语义之后,对此种模型的不同背景之间的相互关系进行了论述,最后对keg-BDI主体的军事决策行为进行了实例分析。本研究的目的在于为分布式人工智能和军事仿真提供形式支持。
In this paper we extend the range of truth value of infinite-valued Lukasiewicz logic from [0, 1] to [-1,1], and propose an extended emotional graded BDI logic, i.e., keg-BDI logic that is based on this extended Lukasiewicz logic and propositional dynamic logic to formalize knowledge states, mental states （such as belief, desire, intention） and emotional states （such as fear, anxiety and self-confidence） which influence on the keg-BDI agent＇s decision-making behavior. This behavior is determined by the different measure of each context that is added by concrete conditions. After presenting the language and semantics of keg-BDI logic and illustrating relationships between/among contexts for the keg-BDI agent, an example of military decision-making behavior is given. This study will provide a formal support for distributed artificial intelligence and military simulation.
出处
《逻辑学研究》
CSSCI
2016年第1期23-36,共14页
Studies in Logic
基金
supported by the Humanities and Social Sciences Planning Foundation of Chinese Ministry of Education(Grant No.13YJA72040001)
by the National Natural Science Foundation of China under Grant No.61273338/F030603
