Reference : A Deontic Logic Reasoning Infrastructure

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

Title :	A Deontic Logic Reasoning Infrastructure
Language :	English
Author, co-author :	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Parent, Xavier [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 :	2018
Main document title :	Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science, Volume 10936
Pages :	60-69
Peer reviewed :	Yes
ISBN :	978-3-319-67189-5
Event name :	CiE 2018
Event date :	from 30-07-2018 to 03-08-2018
Event place (city) :	Kiel
Event country :	Germany
Keywords :	[en] Machine ethics ; Automated Reasoning ; Deontic Logic
Abstract :	[en] A flexible infrastructure for the automation of deontic and normative reasoning is presented. Our motivation is the development, study and provision of legal and moral reasoning competencies in future intelligent machines. Since there is no consensus on the “best” deontic logic formalisms and since the answer may be application specific, a flexible infrastructure is proposed in which candidate logic formalisms can be varied, assessed and compared in experimental ethics application studies. Our work thus links the historically rich research areas of classical higher-order logic, deontic logics, normative reasoning and formal ethics.
Permalink :	http://hdl.handle.net/10993/37867
DOI :	10.1007/978-3-319-94418-0_6
Other URL :	http://christoph-benzmueller.de/papers/C69.pdf

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access C69.pdf Author preprint 621.53 kB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map