典型文献
智能系统的分析和验证专题前言
文献摘要：
近年来, 基于深度学习算法的智能系统在一些长期未解决的任务中取得了与人类相当的能力. 然而另一方面, 智能系统同时面临着亟待解决的安全性和可靠性等可信性问题, 比如对于自动驾驶系统, 路标识别错误可能会导致灾难性的后果. 智能系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题, 尤其是安全攸关领域. 专题围绕智能系统的可信性问题, 探讨可信智能系统在学术和产业界面临的难题、挑战和瓶颈. 该专题重点关注智能系统的安全内涵与可解释性、智能系统的形式化验证、智能系统的测试技术、智能系统的对抗攻击技术等相关技术方法, 并探讨可信智能系统的应用前景.
文献关键词：
中图分类号：
作者姓名：
明仲;张立军;秦胜潮
作者机构：
深圳大学 计算机与软件学院, 广东 深圳 518061;中国科学院 软件研究所, 北京 100190;中国科学院大学, 北京 100049;华为香港研究所, 香港 999077
文献出处：
引用格式：
[1]明仲;张立军;秦胜潮-.智能系统的分析和验证专题前言)[J].软件学报,2022(07):2365-2366
A类：
B类：
智能系统,前言,深度学习算法,安全性和可靠性,可信性,自动驾驶系统,路标,致灾,灾难性,约人,生产和生活,攸关,产业界,可解释性,形式化验证,测试技术,对抗攻击,攻击技术
AB值：
0.343245
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
