重庆理工大学学报(社会科学) ›› 2022, Vol. 36 ›› Issue (9): 46-54.
• 逻辑与科学方法论 • 上一篇
郝一江1, 陈亚楠2
摘要: 使用偏好算子对命题动态逻辑进行扩展, 可以对 Agent 的决策行为进行符号形式演绎, 利用扩 展的无穷值 ukasiewicz 逻辑可以对 Agent 的决策行为进行数值计算, 因此在克里普克语义学、 命题动态 逻辑和扩展的无穷值 ukasiewicz 逻辑基础上, 建立的偏好排斥等级 BDI 逻辑是符号形式演绎与数值计 算并存的柔性逻辑, 该系统可以清晰地表示偏好排斥等级 BDI 主体心智状态的不确定性。 该研究不仅可 以促进 BDI 逻辑的发展, 而且可以为 Agent 理论的诸多应用领域提供形式支持。
中图分类号: