<div class="csl-bib-body">
<div class="csl-entry">van Berkel, K. (2022, March 31). <i>Deontic Explanations by means of Formal Argumentation</i> [Conference Presentation]. The ACLC-ILLC Workshop on Argumentation, Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/135855</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/135855
-
dc.description.abstract
Abstract: Normative reasoning is inherently defeasible. Formal argumentation has proven to be a unifying framework for representing nonmonotonic logics. In this talk, I discuss recent work with Christian Strasser where we provide an argumentative characterization of a large class of Input/Output logics, a prominent defeasible formalism for normative reasoning. In many normative reasoning contexts, one is not merely interested in knowing whether a specific obligation holds, but also in why it holds despite other norms to the contrary. We propose sequent-style argumentation systems called Deontic Argument Calculi (DAC), which serve transparency and bring meta-reasoning about the inapplicability of norms to the object language level. We prove soundness and completeness between DAC-instantiated argumentation frameworks and constrained Input/Output logics. We illustrate how to use our approach to generate deontic explanations about obligations.
en
dc.language.iso
en
-
dc.subject
Argumentation
en
dc.title
Deontic Explanations by means of Formal Argumentation
