van Berkel, K. (2024, October 16). Deontic Explanations Through Dialogue and 5 Key Challenges [Conference Presentation]. ENIGMA 2024, Luxembourg, Luxembourg.
Logical methods for Deontic Explanations: I 6372 (FWF - Österr. Wissenschaftsfonds)
-
Additional information:
Deontic explanations answer why-questions concerning agents’ obligations (permissions, rights, etc). Normative systems are notoriously conflict sensitive, making contrastive explanations pressing: “Why am I obliged to do 𝜙, despite my (seemingly) conflicting obligation to do 𝜓?” In this talk, I present a model of contrastive explanatory dialogues for the well-established defeasible reasoning formalism Input/Output logic. The work is a collaboration with Christian Strasser (published at ArgXAI2024). We harness recent results on the correspondence between I/O reasoning and formal argumentation to leverage existing dialogue methodology to model contrastive deontic explanations. Our model distinguishes between successful, semi-successful, and unsuccessful deontic dialogues by identifying four subdialogues: i) explaining the claim, ii) rejecting the foil, iii) justifying the contrastive link, and iv) demonstrating the explainer’s coherence. This work is the first of its kind and for this reason I will highlight and discuss 5 key future challenges for deontic explanations through dialogue.