| 智能系统的分析和验证专题前言 |
| |
| 引用本文： | 明仲,张立军,秦胜潮.智能系统的分析和验证专题前言[J].软件学报,2022,33(7):2365-2366. |
| |
| 作者姓名： | 明仲 张立军 秦胜潮 |
| |
| 作者单位： | 深圳大学 计算机与软件学院, 广东 深圳 518061;中国科学院 软件研究所, 北京 100190;中国科学院大学, 北京 100049;华为香港研究所, 香港 999077 |
| |
| 摘 要： | <正>近年来,基于深度学习算法的智能系统在一些长期未解决的任务中取得了与人类相当的能力.然而另一方面,智能系统同时面临着亟待解决的安全性和可靠性等可信性问题,比如对于自动驾驶系统,路标识别错误可能会导致灾难性的后果.智能系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题,尤其是安全攸关领域.专题围绕智能系统的可信性问题,探讨可信智能系统在学术和产业界面临的难题、挑战和瓶颈.该专题重点关注智能系统的安全内涵与可解释性、智能系统的形式化验证、智能系统的测试技术、智能系统的对抗攻击技术等相关技术方法,并探讨可信智能系统的应用前景.
|
| 收稿时间： | 2022/1/30 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
