arXiv:2303.09271v2 宣告类型：替换-交叉 摘要：当机器学习模型被关键系统的人类操作员用作决策支持时，能够解释模型得出特定预测的原因至关重要。提供的解释必须是可证明正确的，并且最好是无冗余信息的，称为最简解释。在本文中，我们旨在为树集合生成的预测找到不仅是最简，而且在成本函数方面也是最简的解释。 为此，我们首先提出了一种极其高效的或acles，可以确定解释的正确性，在计算最简解释时，其运行时间性能比当前最先进的替代方案快几个数量级。 其次，我们将相关工作中的一种算法MARCO（命名为m-MARCO）进行适应，使之用于计算每个预测的单一最简解释，并证明与MARCO算法相比，其整体速度提升因子为两倍，MARCO算法会列举所有最简解释。 最后，我们从多种应用场景中研究获得的解释，进一步揭示了其特点。特别是，我们观察到，在一些情况下，一个预测中可供选择的最简解释超过100,000个。在这些情况下，我们发现只有小部分最简解释也是最简的，而且最简解释也显著地更简洁，这促使了本工作的目标。