IJCAIDec, 2021

无元解释学习的高阶程序学习

TL;DR通过引入 Higher-order definitions 的扩展 Learning From Failures 方法,可以提高归纳逻辑编程(ILP)系统的学习性能和准确性,并且无需人类指导,其理论框架可以保持现有基于子消去方法的 Soundness。