可解释人工智能 Explainable Artificial Intelligence
可解释人工智能(XAI)研究如何以人能够理解的方式描述模型的行为、预测依据或内部计算过程。它关注的问题包括:哪些输入影响了某次预测,模型是否利用了与任务无关的线索,以及怎样检验一段解释是否可靠。解释的用途与使用者有关,模型开发者、领域专家和最终用户需要的信息未必相同,因此解释方法也需要结合具体任务评价。参见 Doshi-Velez 与 Kim 对研究目标和评价方法的讨论。
这一方向包含两条相互联系的路径。一类工作直接设计易于理解的模型,例如结构足够简洁的线性模型、决策树和规则系统,使人能够检查其决策规则;另一类工作为已经训练好的复杂模型生成事后解释(post-hoc explanation),通过近似模型或分析输入、输出及内部状态来描述其行为。前者的可理解程度取决于模型规模和使用者知识,后者则需要检验解释与原模型之间的吻合程度。参见 Rudin 对可解释模型与黑箱解释的辨析。
解释还可以面向不同范围:局部解释关注某一个输入的预测,全局解释试图概括模型在一类数据上的整体行为。特征归因(feature attribution)为输入特征分配贡献分数;在图像任务中,这些分数常被画成显著图(saliency map)。但“对这次预测影响较大”并不等同于“对所有输入都重要”,分数的含义还取决于比较基准以及如何定义特征缺失。参见加性特征归因框架。
解释的忠实性(faithfulness)关注它是否准确反映被解释模型的行为或计算机制;人是否容易理解、能否据此完成任务,则是另外的评价维度。一张看起来合理的热力图或一段流畅的文字,仍可能没有揭示模型实际利用的信息。因此,解释通常需要结合模型干预、输入变化和用户实验来检验,其本身也不能替代对准确性与适用范围的独立评估。显著图的检验研究与解释评价框架。
研究进展与活跃问题
截至
主要进展
局部近似与特征归因形成了多种代表性方法。局部可解释模型无关解释(Local Interpretable Model-agnostic Explanations,LIME)在待解释输入附近采样,用简单模型近似原模型的局部行为;沙普利加性解释(SHapley Additive exPlanations,SHAP)将一类加性归因方法与合作博弈中的沙普利值(Shapley value)联系起来;积分梯度(Integrated Gradients)则沿基准输入到实际输入的路径累积梯度。这些方法回答的问题与依赖的假设有所不同,选择邻域、背景数据或基准输入都会影响解释的含义。LIME 论文、SHAP 论文与积分梯度论文。
概念瓶颈模型(concept bottleneck model)把人能够理解的概念纳入模型结构:先从输入预测概念,再用概念预测结果。例如,图像分类可以先预测物体的颜色、形状等属性。这样的结构允许修改模型预测的概念值并观察最终输出的变化,将解释与人对模型的干预联系起来。不过,概念是否完整、预测是否准确以及概念表示是否夹带其他信息,都会影响这种解释的可靠性。概念瓶颈模型论文与概念信息泄漏研究。
面向大语言模型,机制可解释性(mechanistic interpretability)进一步研究内部表示和计算部件如何共同产生输出。Ameisen等人于 2025 年提出的电路追踪(circuit tracing)方法,用更易解释的替代模型近似原模型的部分计算,并构造归因图(attribution graph)分析特征之间的作用路径。这类方法已支持对具体模型行为提出并检验机制假设,但替代误差、计算成本以及对不同输入的适用范围仍限制着解释的完整性。电路追踪研究。
活跃研究问题
- 忠实性、稳定性与任务相关的评价。研究解释是否会随模型参数和预测依据的改变而相应变化,以及在不影响模型行为的小幅输入变化下是否保持稳定。评价还需要区分“为什么属于这个类别”和“为什么属于这个类别而不是另一个类别”等不同问题。Elisha等人于 2026 年发表的工作从比较对象和语义粒度两个维度分析显著图,提出相应评价方法。如何把这些指标与人的实际判断表现联系起来,仍是重要问题。模型与数据随机化检验及2026 年显著图评价研究。
- 概念表示与干预的可靠性。给内部表示附上人类概念名称,并不能自动保证模型只利用了该概念对应的信息。概念泄漏(concept leakage)指概念表示携带了超出预期语义的信息,可能使概念层面的修改产生难以解释的结果。研究需要衡量这种泄漏,分析概念之间的依赖,并在预测能力、概念准确性和干预效果之间进行评估。Parisini等人的预印本于 2026 年更新,给出了基于信息论的分析框架。相关研究。
- 反事实解释与可执行的改变。反事实解释(counterfactual explanation)研究输入需要怎样改变,才会得到另一种模型输出。找到这样的输入,并不意味着现实中能够通过相应行动实现它;变量之间的因果关系、不可改变的属性与行动成本都需要纳入考虑。Karimi等人的工作区分了寻找相近反事实与寻找可执行干预,这一问题也使解释研究与因果建模发生联系。从反事实解释到干预的研究。
- 内部机制的验证与规模扩展。如何从大量内部特征中识别关键计算路径,并通过改变相应部件来验证其作用,是机制解释的核心问题。局部输入上的归因图还需要接受更多输入、模型和任务的检验;替代模型是否保留原模型行为、遗漏了哪些计算,也需要明确评估。降低分析成本并扩大验证范围,是从个案分析走向系统理解的重要方向。电路追踪的方法与局限。
- 推理文本的忠实性。大语言模型生成的思维链(chain of thought)提供了可阅读的推理文本,但这些文本可能遗漏实际影响答案的因素。Anthropic研究团队在 2025 年对Claude 3.7 Sonnet和DeepSeek R1的实验中发现,模型受到提示中额外线索的影响时,并不总会在推理文本中说明这一点。如何检验文本解释与模型行为的联系,以及怎样提升其在监测任务中的可靠性,是持续研究的问题。推理文本忠实性研究。
基础文献
-
Towards A Rigorous Science of Interpretable Machine Learning
讨论可解释性的研究目标,区分不同层次的评价方式,强调解释应结合使用者和任务接受检验。
-
Stop Explaining Black Box Machine Learning Models for High Stakes Decisions and Use Interpretable Models Instead
区分内在可解释模型与事后解释,论证在高风险决策中直接构造可解释模型的价值,并讨论相关挑战。链接为作者稿。
-
"Why Should I Trust You?": Explaining the Predictions of Any Classifier
提出 LIME,通过输入附近的可解释模型近似复杂分类器,并以模型选择、调试等任务研究解释的用途。
-
A Unified Approach to Interpreting Model Predictions
提出 SHAP,统一分析一类加性特征归因方法,并研究在相应条件下满足特定性质的归因解。
-
Axiomatic Attribution for Deep Networks
从公理要求出发构造积分梯度方法,研究如何将深度网络的预测归因到输入特征。
-
Sanity Checks for Saliency Maps
通过随机化模型参数和训练标签检验显著图,展示部分方法的可视化结果可能对模型或数据缺乏应有的敏感性。
-
Concept Bottleneck Models
通过先预测概念再预测结果的结构,将高层概念与模型输出相联系,并研究在测试时修正概念预测的作用。