When a decision, such as the approval or denial of a bank loan, is delegated to a computer, an explanation of that decision ought to be given with it. This ethical need to explain the decisions leads to the search for a formal definition of the notion of explanation. This question meets older questions in logic regarding the explanatory nature of proof.
翻译:当一个决定(例如批准或拒绝银行贷款)被委托给计算机时,应当附上解释该决定的说明。这种道德需求要求找到定义解释概念的形式。这个问题就遇到了有关证明解释性质的老问题。