From Classical to Non-monotonic Deontic Logic Using ASPIC+

Reference : From Classical to Non-monotonic Deontic Logic Using ASPIC+


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/42519

Title :	From Classical to Non-monotonic Deontic Logic Using ASPIC+
Language :	English
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)]
Publication date :	2019
Main document title :	Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Pages :	71--85
Peer reviewed :	Yes
Event name :	LORI 2019: Logic, Rationality, and Interaction
Event date :	October 18-21, 2019
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.
Permalink :	http://hdl.handle.net/10993/42519
DOI :	10.1007/978-3-662-60292-8\_6
Other URL :	https://doi.org/10.1007/978-3-662-60292-8\_6
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	lori2019.pdf		Author preprint	337.57 kB	View/Open

All documents in ORBi^lu are protected by a user license.