本研究提出了三种新型解释方法，解决了现有推理解释方法在特征之间存在约束时可能导致冗余或多余解释的问题。通过引入解释的覆盖概念，可以有效筛选冗余解释，并分析了不同类型解释的复杂性及其形式属性。这项工作对提高分类器的可解释性具有重要意义。