10.3969/j.issn.0254-0037.2000.03.022
约束归纳逻辑程序设计的研究
提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ILP系统Progol为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Horn子句程序．同时介绍了这个ILP系统的实现算法和应用实例．
约束、归纳逻辑程序设计、约束归纳逻辑程序设计
26
TP391.2
国家自然科学基金NSFC09883001;国家高技术研究发展计划863计划863-306ZT-6-07-2;北京市自然科学基金4982003
2004-03-12（万方平台首次上网日期，不代表论文的发表时间）
共5页
108-112
