arXiv:2601.13162cs.LGcs.ET2026-01被引 2

用符号规则提升神经网络抗干扰能力,同时让决策过程可解释。

NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness

  • 将形状颜色等属性的逻辑规则融入训练,通过符号损失约束网络行为。
  • 在GTSRB数据集上对抗攻击下准确率提升18.1%和17.35%,远超传统方法。
  • 轻量级设计,仅用10轮训练的ResNet18即可达到顶尖防御效果。

深度神经网络在自动驾驶等安全场景中面临对抗脆弱性和缺乏可解释性的挑战。本文提出 DesignII,一种神经符号框架,将领域知识以形状、颜色等外观属性的逻辑约束形式编码,并通过语义与符号逻辑损失在训练中施加。在GTSRB数据集上,针对ℓ∞扰动预算为ε = 8/255的FGSM与PGD攻击进行评估。相较于干净训练,标准对抗训练仅带来约10个百分点的鲁棒性提升;而我们的FGSM-Neuro-Symbolic与PGD-Neuro-Symbolic模型分别实现18.1%和17.35%的对抗准确率增益,相对于同一干净训练基线,鲁棒性提升约为标准对抗训练的三倍,且不损害干净样本性能。相比需复杂架构与大量数据增强的Transformer类防御(如LNL-MoEx),本方法仅使用训练10轮的ResNet18即达到相当或更优的鲁棒性。结果表明,符号推理是实现鲁棒且可解释AI的有效路径。

原文摘要 · Abstract (English)

Adversarial vulnerability and lack of interpretability are critical limitations of deep neural networks, especially in safety-sensitive settings such as autonomous driving. We introduce \DesignII, a neuro-symbolic framework that integrates symbolic rule supervision into neural networks to enhance both adversarial robustness and explainability. Domain knowledge is encoded as logical constraints over appearance attributes such as shape and color, and enforced through semantic and symbolic logic losses applied during training. Using the GTSRB dataset, we evaluate robustness against FGSM and PGD attacks at a standard $\ell_\infty$ perturbation budget of $\varepsilon = 8/255$. Relative to clean training, standard adversarial training provides modest improvements in robustness ($\sim$10 percentage points). Conversely, our FGSM-Neuro-Symbolic and PGD-Neuro-Symbolic models achieve substantially larger gains, improving adversarial accuracy by 18.1\% and 17.35\% over their corresponding adversarial-training baselines, representing roughly a three-fold larger robustness gain than standard adversarial training provides when both are measured relative to the same clean-training baseline, without reducing clean-sample accuracy. Compared to transformer-based defenses such as LNL-MoEx, which require heavy architectures and extensive data augmentation, our PGD-Neuro-Symbolic variant attains comparable or superior robustness using a ResNet18 backbone trained for 10 epochs. These results show that symbolic reasoning offers an effective path to robust and interpretable AI.

神经符号对抗鲁棒可解释性

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。