University of Limerick Institutional Repository

Safe artificial intelligence and formal methods (position paper)

DSpace Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.date.accessioned 2016-12-19T15:47:33Z
dc.date.available 2016-12-19T15:47:33Z
dc.date.issued 2016
dc.identifier.uri http://hdl.handle.net/10344/5407
dc.description peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.relation.ispartofseries International Symposium on Leveraging Applications of Formal Methods ISoLA 2016; Lecture Notes in Computer Science;9952, pp. 704-713
dc.relation.uri http://dx.doi.org/10.1007/978-3-319-47166-2_49
dc.rights The original publication is available at www.springerlink.com en_US
dc.subject artificial intelligence en_US
dc.subject AI en_US
dc.subject software engineering en_US
dc.title Safe artificial intelligence and formal methods (position paper) en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.identifier.doi 10.1007/978-3-319-47166-2_49
dc.contributor.sponsor SFI en_US
dc.relation.projectid 10/CE/I1855 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics