[en] In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission.
Disciplines :
Computer science
Author, co-author :
Dong, Huimin
Liao, Beishui
MARKOVICH, Réka ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
From Classical to Non-monotonic Deontic Logic Using ASPIC+
Publication date :
2019
Event name :
LORI 2019: Logic, Rationality, and Interaction
Event date :
October 18-21, 2019
Main work title :
Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings