高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
约束归纳逻辑程序设计方法的研究
作者：
收录：
摘要：
提出了一种新的约束归纳逻辑程序设计方法.该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Hom子句程序.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2003，计算机工程与应用
2003，计算机工程
2000，北京工业大学学报
2005，计算机应用研究
来源 ：
计算机工程与应用
ISSN： 1002-8331
年份： 2003
期： 10
卷： 39
页码： 63-66
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 5
中文被引频次：
近30日浏览量： 3
归属院系：
全文获取
外部链接：
