提出量化粗粒度评估信息损失的数学框架,助力AI决策可解释性
Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
- 用离散分组建模粗粒度评估,通过推前分布生成粗化结果
- 定义基于KL散度的信息损失度量,零损失仅当每组内分布均匀
- 适用于教育评分与可解释AI,揭示保真度、可读性与成本权衡
随着人工智能在教育、医疗、交通等伦理敏感领域的广泛应用,准确率与可解释性的平衡成为核心挑战。粗粒度评估(CE)在认知、制度和情境约束下推动粗略评价,但缺乏对可接受粗粒度划分及其信息后果的简洁数学描述。本文引入粗粒度划分(CGP)作为有限全序评分尺度上的离散框架,将粗化评估表示为带索引分配的分组,通过推前操作诱导出粗化分布。为比较可接受的粗化方式,提出类别统一(CU),在最小假设下从粗化表示重构精细尺度分布。基于此,定义了以KL散度为基础的信息损失度量 $D_{\mathrm{KL\text{-}CU}}$,即原始精细分布与其CU重构之间的差异。证明了 $D_{\mathrm{KL\text{-}CU}}=0$ 当且仅当原始分布在其每个颗粒内均匀。这表明零损失是极罕见的极限情况,而非实际评估的合理基准。此外,该框架自然导出用于比较不同可接受CGP的优化问题。在教育评分与可解释人工智能(XAI)中的应用表明,该框架能清晰揭示信息保真度、可解释性与粗化成本之间的权衡。
原文摘要 · Abstract (English)
As artificial intelligence (AI) systems are increasingly used in ethically sensitive domains such as education, healthcare, and transportation, balancing accuracy and interpretability has become a central concern. Coarse ethics (CE) motivates coarse-grained evaluations under cognitive, institutional, and contextual constraints, but it still lacks a simple mathematical formalization of admissible coarse-graining and its informational consequences. This paper introduces coarse-grained partitions (CGPs) as a discrete framework for modeling coarse evaluation on a finite totally ordered score scale. A CGP represents coarse evaluation as a partition into grains with an index assignment, and induces a coarse-grained distribution by pushforward. To compare admissible coarse-grainings, we introduce categorical unification (CU), which constructs a canonical fine-scale reconstruction from the coarse representation under minimal assumptions. On this basis, we define a KL-based measure of information loss, $D_{\mathrm{KL\text{-}CU}}$, as the divergence between the original fine-grained distribution and its CU-based reconstruction. We prove that $D_{\mathrm{KL\text{-}CU}}=0$ if and only if the original distribution is already uniform within each grain. This shows that zero loss, in the sense of the proposed measure, is a highly exceptional limiting case rather than a realistic benchmark for ordinary evaluative practice. We also show that the framework leads naturally to an optimization problem for comparing alternative admissible CGPs. Applications to educational grading and explainable AI (XAI) illustrate how the framework clarifies trade-offs among informational fidelity, interpretability, and coarsening cost.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。