Learning Higher-Order Logic Programs From Failures

从故障中学习高阶逻辑程序

第三十一届国际人工智能联合会议记录

PDF格式 BibTeX公司

通过归纳逻辑编程（ILP）学习复杂程序仍然是一项艰巨的挑战。现有的高阶ILP系统显示出改进的准确性和学习性能，但仍受到底层学习机制的限制。实验结果表明，我们通过高阶定义扩展了多功能故障学习范式，在不使用现有系统需要繁琐的人工指导。我们的理论框架捕获了一类保持现有基于包含的剪枝方法稳健性的高阶定义。

关键词：

知识表示与推理：学习与推理

知识表示与推理：应用

知识表示与推理：逻辑程序设计