| 约束归纳逻辑程序设计的研究 |
| |
| 引用本文： | 夏姗姗,刘椿年.约束归纳逻辑程序设计的研究[J].北京工业大学学报,2000,26(3):108-112. |
| |
| 作者姓名： | 夏姗姗 刘椿年 |
| |
| 作者单位： | 北京工业大学计算机学院，北京， 100022 |
| |
| 基金项目： | 国家自然科学基金;NSFC09883001; |
| |
| 摘 要： | 提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例．
|
| 关 键 词： | 约束 归纳逻辑程序设计 约束归纳逻辑程序设计 |
| 修稿时间： | 2000年1月10日 |
A Study of Constraint Inductive Logic Programming |
| |
| Xia Shanshan,Liu Chunnian.A Study of Constraint Inductive Logic Programming[J].Journal of Beijing Polytechnic University,2000,26(3):108-112. |
| |
| Authors: | Xia Shanshan Liu Chunnian |
| |
| Abstract: | A novel approach to learning first order logic formula with constraints from positive and negative examples and background knowledge is presented. Adding with our new method to learn constraints to the ILP system Progol, the new system can derive a CLP program, covering all positive examples and consistent with all negative examples, by comparison between the positive and negative examples, without the user's hint and intervention. This paper presents this new CILP system and some experiments, and points out some directions of the future research. |
| |
| Keywords: | constraints inductive logic programming constraint inductive logic programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
