摘要： 提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

关键词: 约束, 归纳逻辑程序设计, 约束归纳逻辑程序设计

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.

中图分类号: 

• TP311.1