关于必要与充分解释的 computation

决策背后的完整原因是一个刻画决策为何做出的布尔公式。这一近期引入的概念具有多种应用，包括生成解释、检测决策偏置以及评估反事实查询。完整原因的素蕴涵被称为决策的充分原因，它们对应于所谓的 PI 解释与溯因解释。在本文中，我们将完整原因的素衍涵称为决策的必要原因。我们从语义上论证了这一术语的合理性，并表明必要原因对应于所谓的对比解释。我们还研究了多类决策树及具有名义与数值特征的图的完整原因计算，为此我们推导了高效的闭式完整原因。我们进一步研究了一大类完整原因的最短必要与充分原因的计算，这类完整原因包含所推导的闭式以及 Sentential Decision Diagrams (SDDs) 的完整原因。我们提供了一种算法，能以输出多项式时间枚举其最短必要原因。枚举该类完整原因的最短充分原因即使是单个原因也是困难的。对于该问题，我们提供了一种经验上看来相当高效的算法。