摘要
在经典命题逻辑的基础上,运用Pavelka有理数逻辑以及克里普克语义学,建立起来的带有偏爱算子的等级信念-愿望-意图(简称BDI)逻辑系统可以对主体心智状态的强烈程度进行柔性化处理,为Agent(主体、真体、智能)的决策行为进行精确的数值计算以及形式化的逻辑推理,此模型具有广泛的应用价值。
The graded BDI logic with preference operator is established on the basis of classical proposi⁃tional logic,Pavelka rational number logic and Kripke semantics.This logic can flexibly deal with the grades of agents’mental states,and carry out accurate numerical calculation and formal logic reasoning for agents’decision-making behaviors.This model has wide utility value.
作者
陈亚楠
CHEN Ya-nan(Institute of Logic and Information,Sichuan Normal University,Chengdu,Sichuan 610066,China)
出处
《贵州工程应用技术学院学报》
2021年第2期37-42,共6页
Journal of Guizhou University Of Engineering Science
基金
国家社科基金后期资助“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思”,项目编号:20FZXB037。
关键词
偏爱算子
等级BDI逻辑
心智状态
决策行为
Preference Operator
Graded BDI Logic
Mental State
Decision-making Behavior
