Can autonomous machines be trusted? скачать в хорошем качестве

Can autonomous machines be trusted?

With so much relying on autonomous machines such as aerial vehicles and remote submarines, verifying that their software actually works is crucial. We have long relied upon automatic systems for many mundane tasks in our lives. But much more sophisticated adaptive systems, or fully autonomous systems, have been under development and testing for the past few years. We will shortly be able to build automobiles that can drive themselves, robot babysitters that can look after our children and the elderly, and intelligent buildings that can anticipate the needs of their inhabitants. As machines occupy a greater part of our lives, should we trust these machines to do no harm? In this talk Professor Alessio Lomuscio will survey the novel, logic-based model checking techniques he developed with collaborators at Imperial and abroad, report on the progress they have achieved in the past 10 years, and try to suggest an answer to this question. For more information please visit http://bit.ly/1aHVGsQ