Institut multidisciplinaire d'intelligence artificielle

RÉSUMÉ

Nous présenterons les recherches récentes sur la définition et le calcul des scores d'explication, tels que les scores de responsabilité et de Shap, en nous concentrant principalement sur le calcul facile des scores d'explication de Shap sur les classificateurs à boîte ouverte définis par des classes intéressantes de circuits booléens. Nous présenterons également des recherches assez récentes sur le calcul de ces scores sur des réseaux neuronaux binaires par le biais de techniques de compilation des connaissances.

LEOPOLDO BERTOSSI

Leopoldo Bertossi est professeur à la SKEMA Business School (Montréal, Canada). Depuis 2019, il est professeur émérite avec le statut de superviseur diplômé de l'École d'informatique de l'Université Carleton (Ottawa, Canada) ; chercheur principal à l'"Institut du millénaire sur les fondations de la recherche sur les données" (IMFD, Chili), et chercheur principal au "Centre national de base pour la recherche sur l'IA" (CENIA, Chili). Entre 2019 et 2012, il a été affilié à l'"Universidad Adolfo Ibañez" (UAI, Chili) en tant que professeur titulaire à la faculté d'ingénierie et de sciences, et directeur des programmes de maîtrise et de doctorat en science des données. Il est actuellement Senior UAI Fellow. Il a également été informaticien principal chez RelationalAI Inc. et professeur à l'Université catholique pontificale du Chili (PUC, Chili). Il est titulaire d'un doctorat en mathématiques de la PUC du Chili. Ses recherches portent sur la science des données et l'intelligence artificielle ; plus précisément, il a effectué des recherches sur l'intelligence artificielle explicable, la représentation et le raisonnement des connaissances logiques et incertaines, la gestion des données, la logique computationnelle, les représentations et le raisonnement ontologiques, la causalité et l'apprentissage automatique.