[en] Defeasible deontic logic uses techniques from non-monotonic logic to address various challenges in normative reasoning, such as prima facie permissions and obligations, moral dilemmas, deontic detachment, contrary-to-duty reasoning and legal interpretation. In this article, we use formal argumentation to design defeasible deontic logics, based on two classical deontic logics. In particular, we use the ASPIC+ structured argumentation theory to define non-monotonic variants of well-understood monotonic modal logics. We illustrate the ASPIC+-based approach and the resulting defeasible deontic logics using argumentation about strong permission.
Horizon 2020 Framework Programme, H2020; H2020 Marie Skłodowska-Curie Actions, MSCA: 690974; Fonds National de la Recherche Luxembourg, FNR: INTER/Mobility/19/13995684/DLAl/van; National Office for Philosophy and Social Sciences, NPOPSS: 20CZX051, ZD047
[University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
