Explanation: from ethics to logic
Logic in Computer Science
2023-09-26 v2
Abstract
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.
Cite
@article{arxiv.2304.00821,
title = {Explanation: from ethics to logic},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2304.00821},
year = {2023}
}