Formal verification of ethical choices in autonomous systems
- Submitting institution
-
The University of Manchester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 173520535
- Type
- D - Journal article
- DOI
-
10.1016/j.robot.2015.11.012
- Title of journal
- Robotics and Autonomous Systems
- Article number
- -
- First page
- 1
- Volume
- 77
- Issue
- -
- ISSN
- 0921-8890
- Open access status
- Out of scope for open access requirements
- Month of publication
- March
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
A - Computer Science
- Citation count
- 46
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- "This paper presents the first verification framework for machine ethics and a prima faci duty approach to machine ethics that accounts for both abstract and substantive ethical principles.
Keynote presentation at the EUMAS 2018 conference.
Invitations to:
- Dagstuhl workshops on Ethics and Trust (June 2016, March 2016)
- Guest lecture to students at the University of Bergen (March 2017)
- A number of academic visits
- Organisation of the Dagstuhl Seminar 16222 ""Engineering Moral Agents"" (2016).
Paper is referenced within the IEEE standards ""Ethically Aligned Design"" document, in the second part on Embedding Values in Autonomous Systems."
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
