CASA：因果关系驱动的论据充分性评估

机器学习模型在贷款批准、预审保释、招聘等领域广泛应用，但大多数模型不透明。本文介绍了自动生成反事实解释的方法，使用了答案集规划和目标导向ASP系统。通过计算和证明反事实解释，导航解释间的关系。同时，还介绍了如何利用算法为无法满足查询的答案集程序找到插值。