Abductive Latent Explanations for Prototype-Based Networks

Afin de gagner la confiance des utilisateurs, les systèmes d'IAs doivent être clair et transparent, faute de quoi être expliqués. Pour classifier des images, un sous-domaine de la recherche s'intéresse au développement d'algorithmes qui raisonnent par cas, ou parties de cas, dans le but de justifier et prendre leurs décisions. Mes travaux consistent à rendre ces explications formelles, c'est-à-dire, qu'elles aient des garanties et des propriétés qui sont désirables dans des explications--par exemple, la même explication ne devrait pas soutenir deux prédictions différentes,tout en restant interprétables.