Hallé Sylvain et Tremblay Hugo. (2021). Foundations of fine-grained explainability. Dans Alexandra Silva et K. Rustan M. Leino (dir.), Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. (p. 500-523). Lecture notes in computer science. Cham, Suisse : Springer.
Prévisualisation |
PDF
- Version acceptée
924kB |
URL officielle: http://dx.doi.org/doi:10.1007/978-3-030-81688-9_24
Résumé
Explainability is the process of linking part of the inputs given to a calculation to its output, in such a way that the selected inputs somehow “cause” the result. We establish the formal foundations of a notion of explainability for arbitrary abstract functions manipulating nested data structures. We then establish explanation relationships for a set of elementary functions, and for compositions thereof. A fully functional implementation of these concepts is finally presented and experimentally evaluated.
| Type de document: | Chapitre de livre |
|---|---|
| Date: | 2021 |
| Lieu de publication: | Cham, Suisse |
| Sujets: | Sciences naturelles et génie > Sciences mathématiques > Informatique |
| Département, module, service et unité de recherche: | Départements et modules > Département d'informatique et de mathématique |
| Éditeurs: | Silva, Alexandra Leino, K. Rustan M. |
| Mots-clés: | proceedings, explainability, computer aided verification |
| Déposé le: | 26 avr. 2022 22:54 |
|---|---|
| Dernière modification: | 14 juill. 2022 04:10 |
Éditer le document (administrateurs uniquement)
Altmetric
Altmetric