| 约束归纳逻辑程序设计的研究 |
| 夏姗姗 刘椿年 |
| 关键词：约束 归纳逻辑程序设计 约束归纳逻辑程序设计 机器学习 |
| 主要内容：提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法。该方法以国际上具有代表性的LIP系统Progol为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Horn子句程序。同时介绍了这个ILP系统的实现算法和应用实例。 |
| 《北京工业大学学报》 2000,26(3).-108-112 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号