摘要
近年来,基于深度学习算法的智能系统在一些长期未解决的任务中取得了与人类相当的能力.然而另一方面,智能系统同时面临着亟待解决的安全性和可靠性等可信性问题,比如对于自动驾驶系统,路标识别错误可能会导致灾难性的后果.智能系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题,尤其是安全攸关领域.专题围绕智能系统的可信性问题,探讨可信智能系统在学术和产业界面临的难题、挑战和瓶颈.该专题重点关注智能系统的安全内涵与可解释性、智能系统的形式化验证、智能系统的测试技术、智能系统的对抗攻击技术等相关技术方法,并探讨可信智能系统的应用前景.
- 单位