arXiv:2508.06716cs.AIcs.LG2025-08被引 2

GLIDR用可微分图结构提升逻辑规则推理,让符号模型更准确、更抗噪。

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning

  • 用可微消息传递建模带分支和环的复杂逻辑规则
  • 在知识图谱补全任务上超越现有方法,接近嵌入模型性能
  • 规则可提取用于符号求解,且能与神经网络端到端联合优化

可微归纳逻辑编程(ILP)在知识图谱的链接预测和节点分类任务中表现良好,但普遍假设规则为链式结构,限制了性能与可解释性。本文提出GLIDR,一种支持更丰富语法的可微规则学习方法,通过可微消息传递算法将传统链式规则推广至包含分支与循环的结构。其规则搜索空间简单而强大,由规则中最大自由变量数控制。从模型权重中可提取显式逻辑规则,供符号求解器使用。实验表明,GLIDR在知识图谱补全任务中显著优于现有规则学习方法,甚至可媲美嵌入方法,尽管仅依赖结构信息。提取的规则仍保持高预测性能,且对训练数据噪声高度鲁棒。最后,验证了GLIDR可与深度神经网络级联,并在任意数据模态下实现端到端优化。

原文摘要 · Abstract (English)

Differentiable inductive logic programming (ILP) techniques have proven effective at finding approximate rule-based solutions to link prediction and node classification problems on knowledge graphs; however, the common assumption of chain-like rule structure can hamper the performance and interpretability of existing approaches. We introduce GLIDR, a differentiable rule learning method that models the inference of logic rules with more expressive syntax than previous methods. GLIDR uses a differentiable message passing inference algorithm that generalizes previous chain-like rule learning methods to allow rules with features like branches and cycles. GLIDR has a simple and expressive rule search space which is parameterized by a limit on the maximum number of free variables that may be included in a rule. Explicit logic rules can be extracted from the weights of a GLIDR model for use with symbolic solvers. We demonstrate that GLIDR can significantly outperform existing rule learning methods on knowledge graph completion tasks and even compete with embedding methods despite the inherent disadvantage of being a structure-only prediction method. We show that rules extracted from GLIDR retain significant predictive performance, and that GLIDR is highly robust to training data noise. Finally, we demonstrate that GLIDR can be chained with deep neural networks and optimized end-to-end for rule learning on arbitrary data modalities.

逻辑编程可微推理知识图谱符号学习

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