Indexed by：
Abstract：
提出了一种新的约束归纳逻辑程序设计方法.该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Hom子句程序.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机工程与应用
ISSN： 1002-8331
Year： 2003
Issue： 10
Volume： 39
Page： 63-66
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 5
Chinese Cited Count：
30 Days PV： 6
Affiliated Colleges：
