动态知识–信念–意图逻辑 DEKBIL 及其医疗认知 AI 应用

逻辑学研究 2025 年第 5 期， 95–119                      文章编号： 1674-3202(2025)-05-0095-25

作者：宁梦芹，罗昊轩，郭佳宏

摘要：本文主要从逻辑学与人工智能领域交叉研究的视角，采用形式化方法，重点研究如何在动态认知逻辑扩展框架（DEL）下进行理性智能主体信念–愿望–意图结构（BDI）的结合。通过对 DEL 三重组件扩展、定义意图与动作的关系、区分四种意图语义等方面进行创新，本文提出一种能够更加全面表征智能主体信息态度和动机态度的新逻辑 DEKBIL，给出该逻辑的语言、模型和语义，并讨论了核心模态 K、B、I 算子间的互动有效式。同时结合对可解释性和安全性要求较高的医疗认知康复场景，本文设计了两个面向认知障碍患者的人机多智能体交互情境“应急响应”和“认知训练”，并使用 DEKBIL 对情境进行建模表征。综上，本文提出的 DEKBIL 将信息处理和理性决策结合共同驱动行为表征，能够更好地促使机器智能进入知识信息处理和智能模拟阶段。

关键词：动态认知逻辑； BDI 逻辑；意图逻辑；人机多智能体交互；医疗认知康复

中图分类号：B81                                文献标识码：A