arXiv:2502.01232v1 宣告类型: 新 摘要: 归纳逻辑程序设计（ILP）的目标是找到一组逻辑规则，这些规则可以泛化训练示例和背景知识。我们介绍了一种ILP方法，用于识别无用的规则。一条规则如果包含冗余的谓词或无法区分负例，则被视为无用。我们展示了忽略无用规则可以使ILP系统安全地修剪假设空间。在多个领域的实验，包括视觉推理和游戏玩，表明我们的方法可以在保持预测精度的同时将学习时间减少99%。