ISOIEC 24029-22023 人工智能（AI）——神经网络鲁棒性的评估——第2部分形式方法的使用方法标准立项发展报告.docx

人工智能（AI）——神经网络鲁棒性的评估——第2部分：形式方法的使用方法标准立项发展报告

StandardizationDevelopmentReport:ArtificialIntelligence(AI)—Assessmentoftherobustnessofneuralnetworks—Part2:Methodologyfortheuseofformalmethods

摘要

随着人工智能（AI）技术的飞速发展，尤其是深度神经网络的广泛应用，其在安全攸关领域（如自动驾驶、医疗诊断、航空航天）的鲁棒性与可靠性评估成为亟待解决的核心挑战。本报告聚