Loading...
Date
2016
Abstract
In one aspect of our life or another, today we all live with AI. For example, the mechanisms behind the search engines operating on the Internet do not just retrieve information, but also constantly learn how to respond more rapidly and usefully to our requests. Although framed by its human inventors, this AI is getting stronger and more powerful every day to go beyond the original human intentions in the future. One of the major questions emerging along with the propagation of AI in both technology and life is about safety in AI. This paper presents the author’s view about how formal methods can assist us in building safer and reliable AI.
Supervisor
Description
peer-reviewed
Publisher
Springer
Citation
International Symposium on Leveraging Applications of Formal Methods ISoLA 2016; Lecture Notes in Computer Science;9952, pp. 704-713
Files
Loading...
Vassev_2016_safe.pdf
Adobe PDF, 653 KB
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/