On Automating the Doctrine of Double Effect

27 March 2017

Papers citing "On Automating the Doctrine of Double Effect"

21 / 21 papers shown

Title
Virtue Ethics For Ethically Tunable Robotic Assistants Rajitha Ramanayake Vivek Nallur 33 0 0 23 Jul 2024
The Doctrine of Cyber Effect: An Ethics Framework for Defensive Cyber Deception Quanyan Zhu 55 4 0 26 Feb 2023
Automated Kantian Ethics: A Faithful Implementation Lavanya Singh 42 0 0 20 Jul 2022
Technology and Consciousness John Rushby Daniel Sánchez 70 4 0 17 Jul 2022
Action Languages Based Actual Causality for Computational Ethics: a Sound and Complete Implementation in ASP Camilo Sarmiento Gauvain Bourgne Katsumi Inoue D. Cavalli J. Ganascia 36 3 0 05 May 2022
Randomized Classifiers vs Human Decision-Makers: Trustworthy AI May Have to Act Randomly and Society Seems to Accept This Gábor Erdélyi Olivia J. Erdélyi V. Estivill-Castro FaML 34 3 0 15 Nov 2021
AI Can Stop Mass Shootings, and More S. Bringsjord Naveen Sundar Govindarajulu Michael Giancola 13 1 0 05 Feb 2021
Taking Principles Seriously: A Hybrid Approach to Value Alignment Tae Wan Kim J. N. Hooker T. Donaldson 44 32 0 21 Dec 2020
Implementations in Machine Ethics: A Survey Suzanne Tolmeijer Markus Kneer Cristina Sarasua Markus Christen Abraham Bernstein FaML 60 73 0 21 Jan 2020
On Quantified Modal Theorem Proving for Modeling Ethics Naveen Sundar Govindarajulu S. Bringsjord Matthew Peveler 21 9 0 30 Dec 2019
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 60 5 0 25 Mar 2019
$Learning $\textit{Ex Nihilo}$$ Learning $\textit{Ex Nihilo}$ S. Bringsjord Naveen Sundar Govindarajulu NAI LRM AI4CE 20 7 0 04 Mar 2019
Impossibility and Uncertainty Theorems in AI Value Alignment (or why your AGI should not have a utility function) P. Eckersley 119 46 0 31 Dec 2018
Toward the Engineering of Virtuous Machines Naveen Sundar Govindarajulu S. Bringsjord Rikhiya Ghosh FaML 32 33 0 07 Dec 2018
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced S. Bringsjord G. NaveenSundar Atriya Sen Matthew Peveler Biplav Srivastava Kartik Talamadupula 13 1 0 14 Oct 2018
One Formalization of Virtue Ethics via Learning Naveen Sundar Govindarajulu Selmer Bringjsord Rikhiya Ghosh 20 3 0 20 May 2018
Toward Formalizing Teleportation of Pedagogical Artificial Agents John Angel Naveen Sundar Govindarajulu S. Bringsjord 16 0 0 10 Apr 2018
A Formalization of Kant's Second Formulation of the Categorical Imperative F. Lindner Marte Bentzen 46 17 0 09 Jan 2018
Counterfactual Conditionals in Quantified Modal Logic Naveen Sundar Govindarajulu S. Bringsjord LRM 26 0 0 11 Oct 2017
Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld Matthew Peveler Naveen Sundar Govindarajulu S. Bringsjord Atriya Sen Biplav Srivastava Kartik Talamadupula Hui Su 27 0 0 14 Sep 2017
Strength Factors: An Uncertainty System for a Quantified Modal Logic Naveen Sundar Govindarajulu S. Bringsjord LRM 22 15 0 30 May 2017