%0 Journal Article
%T 约束归纳逻辑程序设计的研究
%J 北京工业大学学报
%D 2000
%X 提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例．
%K 约束
%K 归纳逻辑程序设计
%K 约束归纳逻辑程序设计
%U http://www.bjgd.cbpt.cnki.net/WKA/WebPublication/paperDigest.aspx?paperID=7452DCFD-1869-4869-A902-F64C08191BBF