Reference : A Deontic Logic Reasoning Infrastructure
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/37867
A Deontic Logic Reasoning Infrastructure
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2018
Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Springer
Lecture Notes in Computer Science, Volume 10936
60-69
Yes
978-3-319-67189-5
CiE 2018
from 30-07-2018 to 03-08-2018
Kiel
Germany
[en] Machine ethics ; Automated Reasoning ; Deontic Logic
[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.
http://hdl.handle.net/10993/37867
10.1007/978-3-319-94418-0_6
http://christoph-benzmueller.de/papers/C69.pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
C69.pdfAuthor preprint621.53 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.