| 约束归纳逻辑程序设计系统 |
| |
| 引用本文： | 郑磊,刘椿年,贾东.约束归纳逻辑程序设计系统[J].计算机工程,2003,29(19):6-7,25. |
| |
| 作者姓名： | 郑磊 刘椿年 贾东 |
| |
| 作者单位： | 北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室,北京,100022 |
| |
| 基金项目： | 国家自然科学基金资助项目(60173014)，北京市自然科学基金资助项目(4022003) |
| |
| 摘 要： | 提出了一种新的约束归纳逻辑程序设计方法，并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束，得出覆盖正例而排斥负例的含约束的Hom子句程序。
|
| 关 键 词： | 约束 归纳逻辑程序设计 约束归纳逻辑程序设计 |
| 文章编号： | 1000-3428(2003)19-0006-02 |
Constraint Inductive Logic Programming System |
| |
| ZHENG Lei,LIU Chunnian,JIA Dong.Constraint Inductive Logic Programming System[J].Computer Engineering,2003,29(19):6-7,25. |
| |
| Authors: | ZHENG Lei LIU Chunnian JIA Dong |
| |
| Abstract: | This paper proposes a new approach to constraint inductive logic programming. With this new approach, the paper implements a prototype of top-down CILP system, which can generate various forms of linear constraints with multiple variables. As a result, the CLP program covers all positive examples and consistents with all negative examples being automatically derived by the CILP systerm. |
| |
| Keywords: | Constraints Inductive logic programming(ILP) Constraint inductive logic programmin(CILP) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
