UoM School of Computer Science Seminar
Venue: Lecture Theatre 1.5, Kilburn Building, The University of Manchester
Sorry, this event has now ended.
School Seminar - Verifiable Autonomy and Responsible Robotics presented by Prof. Michael Fisher, University of Liverpool
Host Angelo Cangelosi
Abstract: 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 verification of safety, ethics, fault tolerance, etc.
This work, and the examples described, derive from projects funded by EPSRC.