约束归纳逻辑程序设计方法的研究

摘要：

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

关键词：约束、归纳逻辑程序设计、约束归纳逻辑程序设计

所属期刊栏目：39

分类号：TP391.2(计算技术、计算机技术)

资助基金：国家自然科学基金60173014;北京市自然科学基金4022003

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：63-66