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.

翻译：当一项决策（例如批准或拒绝银行贷款）被委托给计算机时，该决策的合理性应同时予以说明。这种解释决策的伦理需求促使人们寻求对“解释”概念的正式定义。这一问题契合了逻辑学中关于证明的解释性特征的古老追问。