Article (Scientific journals)
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph
2018In Archive of Formal Proofs
Peer reviewed
 

Files


Full Text
document-38.pdf
Publisher postprint (146.57 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
machine ethics; computational metaphysics; universal logical reasoning
Abstract :
[en] An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence.
Disciplines :
Philosophy & ethics
Author, co-author :
Fuenmayor, David;  Freie Universität Berlin
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
Publication date :
2018
Journal title :
Archive of Formal Proofs
ISSN :
2150-914X
Publisher :
SourceForge
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 24 November 2018

Statistics


Number of views
214 (0 by Unilu)
Number of downloads
97 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu