托普洛格

TopLG:ILP使用逻辑程序声明偏倚,本文介绍了一种新的归纳逻辑编程(ILP)框架,称为顶部引导假设推导(TDHD)。在这个框架中,每个假设子句必须从一个给定的称为顶理论的逻辑程序推导出来。顶部理论可以被看作是定义假设空间的声明性偏倚。这取代了在许多ILP系统中使用的元模式语句。首先,我们提出了一个理论框架TDHD,并显示标准SLD推导可以用来有效地推导假设。其次,我们提出了一个新的ILP系统称为ToPro的TDHD的原型实现。第三,我们表明,在多个基准数据集上,ToPro的精度和效率与像AlEPH这样的最先进的ILP系统竞争。