<div class="csl-bib-body">
<div class="csl-entry">van Berkel, K. (2025, May 14). <i>Reasoning with and about Normative Conflicts: an Argumentation Approach</i> [Conference Presentation]. Workshop on Proof, Argumentation, Computation, Modalities And Negation (PACMAN 2025), Rom, Italy.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/230247
-
dc.description.abstract
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.
en
dc.language.iso
en
-
dc.subject
Normative conflicts
en
dc.subject
Formal argumentation
en
dc.subject
Deontic logic
en
dc.title
Reasoning with and about Normative Conflicts: an Argumentation Approach
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
Workshop on Proof, Argumentation, Computation, Modalities And Negation (PACMAN 2025)
