17 November 2022, COOL Logic, Evan Iatrou

"Τεάν, Ζεῦ, δύναμιν τίς ἀνρῶν ὑπερβασία κατάσχοι"
Explanations are the crux of the contemporary AI Spring with logic lurking to claim its vindication after the last winter. So far, what keeps the Spring going is the universal admission of the practical importance of XAI. In my talk, I will introduce a certain category of (logic-based) AI applications for which explanations are motivated by an ontological necessity and not from a merely supplementary practical POV. The justification of my arguments originates in a political dilemma dating as far back as the first normative conceptualisations of the concepts of democracy, justice, and freedom that re-emerged revamped in the post-enlightenment liberal world order. The talk's central theme is that sometimes the justifications of a just judgment ought to be unjust.
Or do they?