迈向经验证的人工智能
人工智能
2020-07-24 v4
摘要
经验证的人工智能（Verified AI）旨在设计基于AI的系统，使其对于数学上明确规定的需求具有强有力、理想情况下可证明的正确性保证。本文从形式化方法的角度探讨经验证的人工智能。我们描述了实现经验证的人工智能所面临的五项挑战，以及应对这些挑战的五项相应原则。
引用
@article{arxiv.1606.08514,
title = {Towards Verified Artificial Intelligence},
author = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry},
journal= {arXiv preprint arXiv:1606.08514},
year = {2020}
}