Why this and not that? A Logic-based Framework for Contrastive Explanations

Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto +2

We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q,…