Monthly Archives: November 2014

Towards Verifiably Ethical Robot Behaviour

We’ve just heard that our paper based on the work described in Developing an Ethical Consequence Engine has been accepted into the AAAI workshop in AI&Ethics

In this we integrated the work in Winfield et. al’s Towards an Ethical Robot: Internal Models, Consequences and Ethical Action Selection (which Professor Winfield has discussed on his blog) into the verification framework Liverpool have been developing for the past 8 years. The work was only preliminary but we were able to prove that the agent made the correct selection of actions in a very abstract scenario and make more detailed probabilistic analysis of the outcomes in a more concrete scenario