Dear all,

We will have our next LIRa session tomorrow, on Thursday, 6 April 16:30.

This will be an ONLINE ONLY session. To attend please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

Speaker: Emiliano Lorini

Date and Time: Thursday, April 6th 2023, 16:30-18:00

Venue: ONLINE ONLY. (i.e. not hybrid!)

Title: Non-Classical Logics for Explanations in AI Systems

Abstract. I will show how non-classical logics with special emphasis on modal logic, epistemic logic, conditional logic and deontic logic can be used to represent and compare a rich variety of explanations in classifier systems widely used in the field machine learning including abductive, constrastive, counterfactual, objective vs subjective, interactive as well as concepts of bias, discrimination and protected feature. I will present proof-theoretic and complexity results for these logics and illustrate their expressiveness through some concrete examples.

Hope to see you there!

The LIRa team