Towards Verified Artificial Intelligence
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry. Towards Verified Artificial Intelligence. ArXiv e-prints, July 2016.
Download
Abstract
Verified artificial intelligence (AI) is the goal of designing AI-based systems that are provably correct with respect to mathematically-specified requirements. This paper considers Verified AI from a formal methods perspective. We describe five challenges for achieving Verified AI, and five corresponding principles for addressing these challenges.
BibTeX
@ARTICLE{seshia-arxiv16, author = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry}, title = "{Towards Verified Artificial Intelligence}", journal = {ArXiv e-prints}, archivePrefix = "arXiv", eprint = {1606.08514}, year = 2016, month = "July", abstract = {Verified artificial intelligence (AI) is the goal of designing AI-based systems that are provably correct with respect to mathematically-specified requirements. This paper considers Verified AI from a formal methods perspective. We describe five challenges for achieving Verified AI, and five corresponding principles for addressing these challenges.}, }