[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.
Disciplines :
Computer science
Identifiers :
eid=2-s2.0-85132427754
Author, co-author :
Dong, Huimin; Department of Philosophy, Sun Yat-sen University, Zhuhai, China
Liao, Beishui; Department of Philosophy, Zhejiang University, China
MARKOVICH, Réka ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
Defeasible Deontic Logic: Arguing about Permission and Obligation
Publication date :
2022
Journal title :
IfCoLog Journal of Logics and Their Applications
ISSN :
2631-9810
Publisher :
College Publications
Volume :
9
Issue :
4
Pages :
957-1018
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
FnR Project :
FNR13995684 - Deontic Logic For Artificial Intelligence, 2019 (01/09/2020-31/08/2022) - Leon Van Der Torre
Funders :
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 CE - Commission Européenne