ILP Code：指数级降低搜索空间：通过组合程序来学习逻辑程序

文章预览

Learning logic programs by combining programs通过组合程序来学习逻辑程序 https://github.com/logic-and-learning-lab/ecai23-combo 作者相关工作： 解决终身学习迁移学习：30年ILP介绍，四万字 Code：最有前途的ARC-AGI比赛方法：关系分解，关系型表示胜过函数型表示 ILP Code：从 假设、验证、失败 中学习 摘要 ‍ 归纳逻辑编程的 目标是归纳出一个逻辑程序（一组逻辑规则），这些规则能够概括训练示例 。归纳出包含许多规则和文字的程序是一个主要的挑战。为了应对这一挑战，我们引入了一种方法，我们 学习小的不可分割程序并将它们组合起来 。我们在 约束驱动的ILP系统中实现了我们的方法 。我们的方法可以 学习最优和递归程序，并执行谓词发明 。我们在多个领域的实验，包括游戏玩法和程序合成，表明我们的方法在 预测准确性和学习时间 方面可以大幅超越现有方 ………………………………