Towards verifiably ethical robot behaviour

No Altmetrics are currently available for this publication.

Dennis, L. A., Fisher, M. and Winfield, A. F. (2015) Towards verifiably ethical robot behaviour. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, Texas, USA, 25 - 30 January 2015. Available from:

10119-45895-1-PB.pdf - Published Version
Available under License All Rights Reserved.

Download (918kB) | Preview


Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional ‘governor’ that assesses options the system has, and prunes them to select the most ethical choices is well understood. Recent work has produced such a governor consisting of a ‘consequence engine’ that assesses the likely future outcomes of actions then applies a Safety/Ethical logic to select actions. Although this is appealing, it is impossible to be certain that the most ethical options are actually taken. In this paper we extend and apply a well-known agent verification approach to our consequence engine, allowing us to verify the correctness of its ethical decision-making.

Item Type: Conference or Workshop Item (Other)
Uncontrolled Keywords: robot behaviour, ethics
Faculty/Department: Faculty of Environment and Technology > Department of Engineering Design and Mathematics
Depositing User: B. Jones
Date Deposited: 06 Jul 2016 13:43
Last Modified: 06 Apr 2017 06:45


Activity Overview
Origin of downloads

Additional statistics for this repository are available via IRStats2

Actions (login required)

View Item View Item