arXiv:2605.04916cs.AIcs.LG2026-05中稿 · IJCAI被引 1

让模型零样本生成逻辑规则,无需重新训练即可适应新任务。

A Foundation Model for Zero-Shot Logical Rule Induction

论文配图:A Foundation Model for Zero-Shot Logical Rule Induction
图 1 · 摘自论文原文
  • 用统计特征代替具体符号,实现跨任务泛化。
  • 在多个基准上零样本迁移表现优于传统方法。
  • 适合需要可解释推理的AI系统开发人员。

归纳逻辑编程(ILP)从数据中学习可解释的逻辑规则。现有方法为特定任务设计,需针对每个新任务重新训练。我们提出神经规则诱导器(NRI),一种用于零样本规则归纳的预训练模型。NRI不编码具体谓词身份,而是使用领域无关的统计属性(如类别条件率、熵、共现性)表示谓词,无需重训即可跨变量身份和数量泛化。模型包含统计编码器与并行槽式解码器;并行解码保持逻辑析取的排列不变性,而自回归解码会引入任意子句顺序。产品T-范数松弛使规则执行可微,支持仅基于预测准确率的端到端训练。我们在规则恢复、对标签噪声和虚假相关性的鲁棒性,以及真实世界基准的零样本迁移上评估NRI,认为该工作开启了符号推理基础模型的可能性。代码与参考检查点见https://github.com/phuayj/neural-rule-inducer。

原文摘要 · Abstract (English)

Inductive Logic Programming (ILP) learns interpretable logical rules from data. Existing methods are transductive: their learned parameters are bound to specific predicates and require retraining for each new task. We introduce Neural Rule Inducer (NRI), a pretrained model for zero-shot rule induction. Rather than encoding literal identities, NRI represents literals using domain-agnostic statistical properties such as class-conditional rates, entropy, and co-occurrence, which generalize across variable identities and counts without retraining. The model consists of a statistical encoder and a parallel slot-based decoder. Parallel decoding preserves the permutation invariance of logical disjunction; an autoregressive decoder would instead impose an arbitrary clause order. Product T-norm relaxation makes rule execution differentiable, allowing end-to-end training on prediction accuracy alone. We evaluate NRI on rule recovery, robustness to label noise and spurious correlations, and zero-shot transfer to real-world benchmarks, and we believe this work opens up the possibility of foundation models for symbolic reasoning. Code and the reference checkpoint are available at https://github.com/phuayj/neural-rule-inducer.

逻辑规则零样本可解释性符号推理

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