Atlas Lecture 6/03/19 in Kilburn L.T 1.5 at 15:00Published: Tuesday, 05 February 2019
TITLE: Verifiable Autonomy and Responsible RoboticsSPEAKER: Michael Fisher [ https://cgi.csc.liv.ac.uk/~michael ]ABSTRACT:
TITLE: Verifiable Autonomy and Responsible Robotics
SPEAKER: Michael Fisher [ https://cgi.csc.liv.ac.uk/~michael ]
Robots will increasingly make their own decisions about what to do and when to do it without necessarily consulting humans. How can we
trust these systems if we do not know what they will choose to do and, crucially, why they make these choices?
In this talk, I will describe how the use of rational agents at the core of autonomous systems forms the basis for not only transparency
and explainability, but verifiability of behaviour and decision-making. Once we have systems based on such hybrid agent architectures, then
we can strongly analyse them and move towards not only trustworthiness, but safe, ethical and responsible behaviour.
I will provide some examples from our current and previous projects examining the deployment of hybrid agent architectures in both robots
(domestic and industrial) and autonomous vehicles (road and air), covering the verificsaiton of safety, ethics, fault tolerance, etc.
This work, and the examples described, derive from projects funded by EPSRC: https://autonomy-and-verification-uol.github.io/projects