论文标题

使用SAT的最佳决策列表

Optimal Decision Lists using SAT

论文作者

Yu, Jinqiang, Ignatiev, Alexey, Bodic, Pierre Le, Stuckey, Peter J.

论文摘要

决策清单是最容易解释的机器学习模型之一。鉴于重点是可解释的机器学习决策,这种机器学习模型越来越有吸引力,结合了小规模和清晰的解释性。在本文中,我们首次展示了如何构建最佳的“完美”决策列表,这些决策清单在训练数据上完全准确,并且大小最少,从而利用现代SAT解决技术。我们还提供了一种新方法来确定最佳的稀疏决策清单,这些决策清单可以使规模和准确性进行折衷。我们将最佳决策列表的大小和测试准确性与最佳决策集以及确定最佳决策列表的其他最新方法进行对比。我们还研究了决策集和决策清单产生的平均解释的大小。

Decision lists are one of the most easily explainable machine learning models. Given the renewed emphasis on explainable machine learning decisions, this machine learning model is increasingly attractive, combining small size and clear explainability. In this paper, we show for the first time how to construct optimal "perfect" decision lists which are perfectly accurate on the training data, and minimal in size, making use of modern SAT solving technology. We also give a new method for determining optimal sparse decision lists, which trade off size and accuracy. We contrast the size and test accuracy of optimal decisions lists versus optimal decision sets, as well as other state-of-the-art methods for determining optimal decision lists. We also examine the size of average explanations generated by decision sets and decision lists.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源