On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
- Submitting institution
-
The University of Manchester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 173412881
- Type
- D - Journal article
- DOI
-
10.1109/JPROC.2019.2898267
- Title of journal
- IEEE. Proceedings
- Article number
- -
- First page
- 541
- Volume
- 107
- Issue
- 3
- ISSN
- 0018-9219
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2019
- 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
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- "This paper describes pioneering work on the formal verification of ethical reasoning for robots. As stated in New Foundations of Ethical Multiagent Systems (DOI 10.5555/3398761.3398958) ""Bremner et al. present a leading approach for formal verification geared toward ethical reasoning.""
Paper selected by IEEE in webinar to promote this journal issue.
Basis of Fisher/Dennis role in the Trustworthy Autonomous Systems Node on Verifiability (EPSRC EP/V026801).
Work underpins involvement in several standards committees (earlier version of the paper is referenced in BS8611 ""Guide to the ethical design and application of robots and robotic systems""), and funding related to AI and Ethics."
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
