论文部分内容阅读
提出了一种新的约束归纳逻辑程序设计方案。该方法能够与自顶向下的归纳逻辑程序设计系统结合，通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法，使得系统能够导出不受变量个数限制的多种形式的线性约束，在不需要用户诱导，不依赖约束求解器的情况下，学习出覆盖正例而排斥负例的含约束的Horn子句程序。