Declarative Reasoning on Explanations Using Constraint Logic Programming

Laura State, Salvatore Ruggieri, Franco Turini

Explaining opaque Machine Learning (ML) models is an increasingly relevant problem. Current explanation in AI (XAI) methods suffer several shortcomings, among others an insufficien…