基于偏好排斥等级BDI主体的决策行为研究  

Study on decision-making behaviors based on the graded BDI agents with preferences or rejections

作　　者：郝一江[1] 陈亚楠 HAO Yijiang;CHEN Yanan(Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China;School of Philosophy,Nanjing University,Nanjing 210023,China)

机构地区：[1]中国社会科学院哲学研究所,北京100732 [2]南京大学哲学系,江苏南京210023

出　　处：《重庆理工大学学报（社会科学）》2022年第9期46-54,共9页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”(18ZDA032);安徽省高校科研重点项目“人工智能视域下的信念愿望意图逻辑及(多)Agent行为表征研究”(SK2021A0023)。

摘　　要：使用偏好算子对命题动态逻辑进行扩展,可以对Agent的决策行为进行符号形式演绎,利用扩展的无穷值ukasiewicz逻辑可以对Agent的决策行为进行数值计算,因此在克里普克语义学、命题动态逻辑和扩展的无穷值ukasiewicz逻辑基础上,建立的偏好排斥等级BDI逻辑是符号形式演绎与数值计算并存的柔性逻辑,该系统可以清晰地表示偏好排斥等级BDI主体心智状态的不确定性。该研究不仅可以促进BDI逻辑的发展,而且可以为Agent理论的诸多应用领域提供形式支持。Using preference operators to extend propositional dynamic logic,an agent’s decision behaviors can be deduced in the symbolic form,and can be numerically calculated by using extended infinite value ukasiewicz logic.Hence,the graded BDI logic system with preferences or rejections based on Kripke semantics,propositional dynamic logic,and extended infinite value ukasiewicz logic is a flexible logic with symbolic deduction and numerical calculation.The logic can clearly express the uncertainty of the mental states of BDI agents.This research can not only promote the development of BDI logic,but also provide formal support for many application fields of agent theory.

关 键 词：偏好排斥等级BDI主体 决策行为 心智状态 

分 类 号：B81[哲学宗教—逻辑学] TP18[自动化与计算机技术—控制理论与控制工程] TP302[自动化与计算机技术—控制科学与工程]