van Berkel, K. (2025, May 14). Reasoning with and about Normative Conflicts: an Argumentation Approach [Conference Presentation]. Workshop on Proof, Argumentation, Computation, Modalities And Negation (PACMAN 2025), Rom, Italy.
Normative reasoning is inherently conflict sensitive. Over the past decades, many conflict-resolution mechanisms have been developed. However, most of the proposed formal systems do not model interactions between the different conflict types we encounter in normative reasoning. In this talk, I present the Deontic Conflict Calculus (DDC), a formalism developed together with Christian Strasser. The calculus enables us to explicitly reason with and about conflict tupes including: contrary-to-duty, specificity, dilemmas. We, furthermore, discuss their interaction. DCC generates arguments that represent normative conflicts in terms of argumentative attacks. Instantiating argumentation frameworks with such arguments naturally gives rise to various nonmonotonic inference relations capturing ideal and sub-ideal obligations. I will also discuss some properties of conflict types and their interactions.