Formal verification of ethical choices in autonomous systems

, , &
Robotics And Autonomous Systems 77:1-14 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1016/j.robot.2015.11.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Practical verification of decision-making in agent-based autonomous systems.Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa & Sandor M. Veres - 2016 - Automated Software Engineering 23 (3):305-359.
Ethical Aspects of Military Maritime and Aerial Autonomous Systems.Linda Johansson - 2018 - Journal of Military Ethics 17 (2-3):140-155.
AI Journal Special Issue on Ethics for Autonomous Systems.Michael Fisher, Sven Koenig & Marija Slavkovik - 2022 - Artificial Intelligence 305 (C):103677.
Modal and Temporal Properties of Processes.Colin Stirling - 2001 - Springer Verlag.
Killer Robots and Inauthenticity: A Heideggerian Response to the Ethical Challenge Posed by Lethal Autonomous Weapons Systems.Ashley Roden-Bow - 2023 - Conatus 8 (2):477-486.
An Evaluation Schema for the Ethical Use of Autonomous Robotic Systems in Security Applications.Markus Christen, Thomas Burri, Joseph O. Chapa, Raphael Salvi, Filippo Santoni de Sio & John P. Sullins - 2017 - University of Zurich Digital Society Initiative White Paper Series, No. 1.
Complexity and information technologies: an ethical inquiry into human autonomous action.José Artur Quilici-Gonzalez, Mariana Claudia Broens, Maria Eunice Quilici-Gonzalez & Guiou Kobayashi - 2014 - Scientiae Studia 12 (SPE):161-179.
Trust and resilient autonomous driving systems.Adam Henschke - 2020 - Ethics and Information Technology 22 (1):81-92.
The Ethics “Fix”: When Formal Systems Make a Difference.Kristin Smith-Crowe, Ann E. Tenbrunsel, Suzanne Chan-Serafin, Arthur P. Brief, Elizabeth E. Umphress & Joshua Joseph - 2015 - Journal of Business Ethics 131 (4):791-801.
Reasoning with Recommender Systems? Practical Reasoning, Digital Nudging, and Autonomy.Marius Bartmann - 2023 - In Sergio Genovesi, Katharina Kaesling & Scott Robbins (eds.), Recommender Systems: Legal and Ethical Issues. Springer Verlag. pp. 129-145.
Against the moral Turing test: accountable design and the moral reasoning of autonomous systems.Thomas Arnold & Matthias Scheutz - 2016 - Ethics and Information Technology 18 (2):103-115.
Robo- and informationethics: some fundamentals.Michael P. Decker & Mathias Gutmann (eds.) - 2012 - Zürich: Lit.
Strictly Human: Limitations of Autonomous Systems.Sadjad Soltanzadeh - 2022 - Minds and Machines 32 (2):269-288.
Reasoning about Rational Agents.Michael Wooldridge & Bruce Edmonds - unknown
Autonomous Weapon Systems: Failing the Principle of Discrimination.Ariel Guersenzvaig - 2018 - IEEE Technology and Society Magazine 37 (1):55-61.

Analytics

Added to PP
2024-05-12

Downloads
1 (#1,905,497)

6 months
1 (#1,478,518)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Landscape of Machine Implemented Ethics.Vivek Nallur - 2020 - Science and Engineering Ethics 26 (5):2381-2399.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references