公理化动态排序语义：一个用于情感计算中 异构排序整合的元逻辑框架

逻辑学研究 2026 年第 1 期， 89–114                       文章编号： 1674-3202(2026)-01-0089-26

作者：邱德钧，李玮农

摘要：情感计算需整合 KLM 条件逻辑、 AGM 信念修正、形式概念分析 FCA 及偏好逻辑等异构逻辑系统已有方法进行情感相关推理，各系统均可输出排序性判断，但其语义异质性与潜在冲突导致了“前提选择困境”。本文提出基于排序性的动态排序语义（Dynamic Sorted Semantics, DSS）元逻辑框架，通过（准）公理化方法为这一困境提供形式化、有原则的解决方案，将异构逻辑的输出统一映射到共通可比较项领域（U）上的通用排序谓词 ≥；通过上下文元特征向量 F⃗ctx 实现情境感知；并运用满足一组（准）公理化属性（P1-P9）的动态影响函数 ω 和同样受（准）公理化属性（F-UD 至 F-G）约束的排序融合算子 F，生成统一的、上下文相关的综合排序关系 ≥F usedCtx。本文的元逻辑论证采用刻画 DSS 的上下文敏感性与非单调性实现。通过这种（准）公理化的设计，增强了情感 AI 进行前提选择时的原则性、适应性与可分析性，为动态决策场景下的复杂推理提供了坚实的逻辑基础。

关键词：动态排序语义；元逻辑；异构排序整合；公理化方法

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