Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2

We conceptualize explainability in terms of logic and formula size, giving a number of related definitions of explainability in a very general setting. Our main interest is the so-…