独立性假设下神经符号推理的捷径
机器学习
2025-07-16 v1 机器学习
摘要
神经符号 (NeSy) 预测器中对符号概念之间的常规独立性假设是一种便利的简化:NeSy 预测器使用该假设可加快概率推理速度。最近的研究如 van Krieken 等人 (2024) 和 Marconato 等人 (2024) 认为,独立性假设可能阻碍 NeSy 预测器的学习,更关键的是,它们会阻止这些预测器正确地建模不确定性。然而,NeSy 社区中也存在对独立性假设在何种情境下实际限制 NeSy 系统的怀疑态度 (Faronius 和 Dos Martires, 2025)。在本文中,我们通过形式化地表明,假设符号概念之间存在独立性意味着该模型永远无法表示某些概念组合的不确定性。因此,该模型会因无法意识到推理捷径而表现出病态行为,即 NeSy 预测器虽然为正确的下游任务做出正确预测,但却是由于错误的原因导致的。
引用
@article{arxiv.2507.11357,
title = {Neurosymbolic Reasoning Shortcuts under the Independence Assumption},
author = {Emile van Krieken and Pasquale Minervini and Edoardo Ponti and Antonio Vergari},
journal= {arXiv preprint arXiv:2507.11357},
year = {2025}
}
备注
Accepted at NeSy 2025