论文标题
值得信赖的AI
Trustworthy AI
论文作者
论文摘要
AI的承诺是巨大的。 AI系统已经取得了足够好的性能，可以在我们的街道和家中。但是，它们可能是脆弱和不公平的。为了使社会获得AI系统的好处，社会需要能够信任它们。受到数十年来值得信赖的计算的进展的启发，我们建议您对AI系统的可信赖性属性。通过列举一组新的研究问题，我们探索了一种方法 - 正式验证 - 以确保对AI的信任。值得信赖的AI在值得信赖的计算和形式方法上都提高了赌注。
The promise of AI is huge. AI systems have already achieved good enough performance to be in our streets and in our homes. However, they can be brittle and unfair. For society to reap the benefits of AI systems, society needs to be able to trust them. Inspired by decades of progress in trustworthy computing, we suggest what trustworthy properties would be desired of AI systems. By enumerating a set of new research questions, we explore one approach--formal verification--for ensuring trust in AI. Trustworthy AI ups the ante on both trustworthy computing and formal methods.
