Reference : Defeasible Deontic Logic: Arguing about Permission and Obligation
Scientific journals : Article
Engineering, computing & technology : Computer science
Defeasible Deontic Logic: Arguing about Permission and Obligation
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 mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
IfCoLog Journal of Logics and Their Applications
College Publications
[en] Computer circuits ; Argumentation theory ; Contrary-to-duties ; Deontic ; Deontic Logic ; Formal argumentation ; Modal logic ; Monotonics ; Nonmonotonic logic ; Normative reasoning ; Formal logic
[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
© 2022, College Publications. All rights reserved.
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
FnR ; FNR13995684 > Leon Van Der Torre > DLAI > Deontic Logic For Artificial Intelligence > 01/09/2020 > 31/08/2022 > 2019

File(s) associated to this reference

Fulltext file(s):

Limited access
placeholder.pdfAuthor preprint2.8 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.