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

• 作者: 刘椿年 郑磊
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 约束 归纳逻辑程序设计 约束归纳逻辑程序设计
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 博士论坛
• 页码范围: 63-66
• 页数: 4页
• 分类号: TP391.2
• 字数: 5841字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.10.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘椿年	北京工业大学计算机学院多媒体与智能软件北京市重点实验室	81	1010	16.0	29.0
2	郑磊	北京工业大学计算机学院多媒体与智能软件北京市重点实验室	8	59	5.0	7.0