[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 :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
From Classical to Non-monotonic Deontic Logic Using ASPIC+
Date de publication/diffusion :
2019
Nom de la manifestation :
LORI 2019: Logic, Rationality, and Interaction
Date de la manifestation :
October 18-21, 2019
Titre de l'ouvrage principal :
Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
