arXiv:2502.03274v1 通知类型: 新 摘要: 神经-符号人工智能（NeSy AI）已经成为了将神经学习与符号推理相结合的一个有前途的方向。在这样的系统的一种概率性变体中，一个神经网络首先从亚符号输入中提取一组符号，然后这些符号被符号组件用于以概率性的方式进行推理以回答查询。在本文中，我们解决了正式验证此类NeSy概率性推理系统的鲁棒性的问题，从而为它们在关键领域中的安全部署铺平了道路。我们分析了解决这个问题的复杂性，表明它是$\mathrm{NP}^{\# \mathrm{P}}$-hard。为了克服这一问题，我们提出了第一个基于近似和松弛的NeSy概率性系统验证方法。实验结果表明，所提出的方法在可扩展性上远优于基于求解器的方法，并将我们的技术应用于一个实际的自动驾驶数据集，在此数据集中，我们验证了在大输入维度和网络规模下的安全性属性。