There is a broad consensus on the importance of deep learning models in tasks involving complex data. Often, an adequate understanding of these models is required when focusing on the transparency of decisions in human-critical applications. Besides other explainability techniques, trustworthiness can be achieved by using counterfactuals, like the way a human becomes familiar with an unknown process: by understanding the hypothetical circumstances under which the output changes. In this work we argue that automated counterfactual generation should regard several aspects of the produced adversarial instances, not only their adversarial capability. To this end, we present a novel framework for the generation of counterfactual examples which formulates its goal as a multi-objective optimization problem balancing three different objectives: 1) plausibility, i.e., the likeliness of the counterfactual of being possible as per the distribution of the input data; 2) intensity of the changes to the original input; and 3) adversarial power, namely, the variability of the model's output induced by the counterfactual. The framework departs from a target model to be audited and uses a Generative Adversarial Network to model the distribution of input data, together with a multi-objective solver for the discovery of counterfactuals balancing among these objectives. The utility of the framework is showcased over six classification tasks comprising image and three-dimensional data. The experiments verify that the framework unveils counterfactuals that comply with intuition, increasing the trustworthiness of the user, and leading to further insights, such as the detection of bias and data misrepresentation.
翻译:在涉及复杂数据的任务中,对于深层次学习模式的重要性存在广泛的共识。通常,在注重人类关键应用中决策的透明度时,需要充分了解这些模式。除了其他解释技术外,通过使用反事实,例如人类熟悉一个未知过程的方式,例如通过理解产出变化的假设环境,可以实现可信度。在这项工作中,我们主张自动反事实生成应当考虑到所产生的对抗性实例的若干方面,而不仅仅是其对抗性能力。为此,我们提出了一个新的框架,用以生成反事实实例,将它的目标发展成一个多目标优化问题,平衡了三个不同的目标:(1) 合理性,即根据输入数据的分布,可以实现反事实的相似性;(2) 原始输入变化的强度;(3) 对抗性力量,即自动反事实生成模型产出的变异性,而不仅仅是其对抗性能力。 为此,我们提出了一个新的框架,即从一个目标性反现实性实例,将它设定为一个目标,将它作为一个多目标优化问题,平衡了三个不同的目标:(1) 真实性,即:根据输入数据的分布,即真实性,根据输入数据的传播,即根据输入数据的传播数据时的准确性,对数字框架的相似性,同时进行多维度的验证,使数字的检验,使这些数据比真实性框架与真实性框架的正确性框架与真实性得到对比。