BriefGPT.xyz
Feb, 2022
通过发现无需搜索的地方来学习逻辑程序
Learning logic programs by discovering where not to search
HTML
PDF
Andrew Cropper, Céline Hocquette
TL;DR
通过发现假设约束来提高学习效率和可扩展性，我们提出了基于约束驱动的规约归纳逻辑编程系统，对多个领域进行了实验，证明其可以显著缩短学习时间并扩展到具有数百万事实的领域。
Abstract
The goal of
inductive logic programming
(ILP) is to search for a hypothesis that generalises training examples and
background knowledge
(BK). To improve performance, we introduce an approach that, before searchin
→