IJCAIDec, 2021
无元解释学习的高阶程序学习
Learning Higher-Order Programs without Meta-Interpretive Learning
Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk
TL;DR通过引入 Higher-order definitions 的扩展 Learning From Failures 方法,可以提高归纳逻辑编程(ILP)系统的学习性能和准确性,并且无需人类指导,其理论框架可以保持现有基于子消去方法的 Soundness。