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

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）