美计算机社区联盟发布人工智能白皮书

美国计算机社区联盟（CCC）发布《人工智能的进步需要所有计算机科学的共同进步》白皮书，指出人工智能与更广泛的计算机科学之间相互影响的六大潜力领域的研发机遇，以支持人工智能的进一步发展。

1

计算机系统和硬件

开发人工智能系统中采用的核心计算程序的加速方法，例如用于训练和使用卷积神经网络执行感知任务分类的方法；开发并行性、智能缓存、使用FPGA等专用硬件等新方法，降低人工智能应用的计算成本，满足其需求和鲁棒性。

2

理论计算机科学

开发算法分析领域中的工具和技术，包括组合学、计算复杂性理论、可计算性研究。

3

网络安全

人工智能系统正被用于开发医疗和运输等领域中的高风险系统，这些系统带来了需要被理解和保护的新攻击面，包括理解和强化系统以应对“机器学习攻击”等全新类型的攻击。人工智能系统带来的新挑战需要更先进的安全技术来解决，确保人工智能系统安全、可靠、稳健地应对恶意攻击。

4

形式化方法（formal method）

形式化方法在人工智能系统的定义和约束中发挥着关键作用，以确保其行为符合规范。未来应开发对程序进行形式化验证的方法，以及通过新型监测对系统进行实时验证的方法。

5

编程语言、工具和环境

新的编程语言、工具和编程环境可以帮助工程师构建、测试、优化人工智能系统。高级语言为工程师和科学家提供了将视觉、语音识别、自然语言理解等多种能力组合起来的新能力，以便能够开发和调试依赖于多个人工智能分析流程的紧密协调的程序。

6

人机交互

开发人机交互新方法，用于向人们解释人工智能系统的结果，实现人们与人工智能系统交互工作（例如交互式机器学习），理解自动化系统所设定的不同政策、价值观、偏好的影响，支持混合主动交互和增强人类认知等新型人机协作。