论文标题
在互动解释中是非单调推理
On Interactive Explanations as Non-Monotonic Reasoning
论文作者
论文摘要
最近的工作显示了与解释一致的问题，其方法生成了局部解释，这些解释在实例方面似乎是合理的，但在整个实例中都是不一致的。这不仅表明实例解释可能是不可靠的，而且主要是，当通过多个输入与系统交互时，用户实际上可能会失去对系统的信心。为了更好地分析此问题，在这项工作中，我们将解释视为可能受到推理的对象，并通过输入，输出和解释的序列，对用户和系统之间的交互式场景进行正式模型。我们认为，可以将解释视为承诺某种模型行为（即使只有表面上的表面），这表明了一种形式，我们认为应该将其视为非单调的。这允许：1）在解释中解决了一些考虑的不一致之处，例如通过特定性关系； 2）考虑非单调推理文献中的属性并讨论其可取性，从而对交互式解释方案有了更多的了解。
Recent work shows issues of consistency with explanations, with methods generating local explanations that seem reasonable instance-wise, but that are inconsistent across instances. This suggests not only that instance-wise explanations can be unreliable, but mainly that, when interacting with a system via multiple inputs, a user may actually lose confidence in the system. To better analyse this issue, in this work we treat explanations as objects that can be subject to reasoning and present a formal model of the interactive scenario between user and system, via sequences of inputs, outputs, and explanations. We argue that explanations can be thought of as committing to some model behaviour (even if only prima facie), suggesting a form of entailment, which, we argue, should be thought of as non-monotonic. This allows: 1) to solve some considered inconsistencies in explanation, such as via a specificity relation; 2) to consider properties from the non-monotonic reasoning literature and discuss their desirability, gaining more insight on the interactive explanation scenario.
