Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Deontic Logic Reasoning Infrastructure
BENZMÜLLER, Christoph; PARENT, Xavier; VAN DER TORRE, Leon
2018In Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Peer reviewed
 

Files


Full Text
C69.pdf
Author preprint (636.45 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
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.
Disciplines :
Computer science
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)
External co-authors :
yes
Language :
English
Title :
A Deontic Logic Reasoning Infrastructure
Publication date :
2018
Event name :
CiE 2018
Event place :
Kiel, Germany
Event date :
from 30-07-2018 to 03-08-2018
Main work 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
ISBN/EAN :
978-3-319-67189-5
Collection name :
Lecture Notes in Computer Science, Volume 10936
Pages :
60-69
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 24 December 2018

Statistics


Number of views
176 (5 by Unilu)
Number of downloads
219 (6 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
5
OpenCitations
 
2
OpenAlex citations
 
14

publications
10
supporting
0
mentioning
12
contrasting
0
Smart Citations
10
0
12
0
Citing PublicationsSupportingMentioningContrasting
View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

Bibliography


Similar publications



Contact ORBilu