Paper published in a book (Scientific congresses, symposiums and conference proceedings)
From Classical to Non-monotonic Deontic Logic Using ASPIC+
Dong, Huimin; Liao, Beishui; Markovich, Réka et al.
2019In Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Peer reviewed
 

Files


Full Text
lori2019.pdf
Author preprint (345.67 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[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
Pages :
71--85
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 17 February 2020

Statistics


Number of views
100 (2 by Unilu)
Number of downloads
182 (7 by Unilu)

Bibliography


Similar publications



Contact ORBilu