将图谱特征分解融入符号推理,实现可解释且高效的逻辑推断。
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
- 用图谱频域滤波器嵌入逻辑规则,直接在频域进行推理。
- 在ProofWriter和CLUTRR上准确率超基线,推理速度更快,抗干扰更强。
- 适合需要透明决策过程的高可靠性推理场景。
我们提出Spectral NSR,一种全谱神经符号推理框架,将逻辑规则以谱模板形式嵌入,并在图谱频域内执行推理。该框架基于知识图谱拉普拉斯特征结构的图信号处理(GSP)与频率选择性滤波器,融合符号推理的可解释性与谱学习的可扩展性和适应性。除核心架构外,还引入多项扩展:动态图与基学习、有理与扩散滤波器以提升频域选择精度、混合谱专家模块实现功能专化、基于证明的谱课程训练策略及置信度校准的不确定性量化。其他增强包括大语言模型耦合、共谱对齐迁移、对抗鲁棒性、高效GPU内核、广义拉普拉斯算子与因果干预,显著提升框架泛化能力。在ProofWriter和CLUTRR等前沿推理基准上的实验表明,Spectral NSR在准确性、推理速度、对抗扰动鲁棒性及可解释性方面均优于主流模型(如Transformer、消息传递网络、神经符号逻辑系统)。谱归因与证明带一致性分析显示模型决策紧密匹配符号证明结构,迁移实验验证了通过共谱对齐实现有效领域自适应。结果确立Spectral NSR作为下一代推理系统的可扩展、原理化基础,兼具透明性、鲁棒性与泛化能力。
原文摘要 · Abstract (English)
We introduce Spectral NSR, a fully spectral neuro-symbolic reasoning framework that embeds logical rules as spectral templates and performs inference directly in the graph spectral domain. By leveraging graph signal processing (GSP) and frequency-selective filters grounded in the Laplacian eigenstructure of knowledge graphs, the architecture unifies the interpretability of symbolic reasoning with the scalability and adaptability of spectral learning. Beyond the core formulation, we incorporate a comprehensive set of extensions, including dynamic graph and basis learning, rational and diffusion filters for sharper spectral selectivity, mixture-of-spectral-experts for modular specialization, proof-guided training with spectral curricula, and uncertainty quantification for calibrated confidence. Additional enhancements such as large language model coupling, co-spectral transfer alignment, adversarial robustness, efficient GPU kernels, generalized Laplacians, and causal interventions further expand the versatility of the framework. Empirical evaluation on state-of-the-art reasoning benchmarks such as ProofWriter and CLUTRR demonstrates that Spectral NSR achieves superior accuracy, faster inference, improved robustness to adversarial perturbations, and higher interpretability compared to leading baselines including transformers, message-passing neural networks, and neuro-symbolic logic programming systems. Spectral attribution and proof-band agreement analyses confirm that model decisions align closely with symbolic proof structures, while transfer experiments validate effective domain adaptation through co-spectral alignment. These results establish Spectral NSR as a scalable and principled foundation for the next generation of reasoning systems, offering transparency, robustness, and generalization beyond conventional approaches.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。