论文部分内容阅读
提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法。该方法以国际上具有代表性的LIP系统Progol为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Horn子句程序。同时介绍了这个ILP系统的实现算法和应用实例。