Generalized Subsumption and Its Applications to Induction and Redundancy
Generalized Subsumption and Its Applications to Induction and Redundancy
复制标题
广义包含及其在归纳和冗余中的应用
DOI：
10.1016/0004-3702(88)90001-x
复制
发表时间：
1986
影响因子：
14.4
通讯作者：
Wray L. Buntine
中科院分区：
文献类型：
--
作者：
Wray L. Buntine
本文提出了一个理论框架和算法，为定语从句的归纳法研究提供了基础。这些取决于θ-包容的自然延伸，它形成了一个强大的泛化模型。该模型允许详细考虑归纳搜索空间的性质。该模型的一个有用的副产品是一个简单但功能强大的冗余模型。归纳和冗余控制都是学习系统的中心任务，更广泛地说，是知识获取系统的中心任务。结果还证明了归纳、冗余和系统当前知识变化之间的相互作用，其中包容起着关键作用。
A theoretical framework and algorithms are presented that provide a basis for the study of induction of definite (Horn) clauses. These hinge on a natural extension of θ-subsumption that forms a strong model of generalization. The model allows properties of inductive search spaces to be considered in detail. A useful by-product of the model is a simple but powerful model of redundancy. Both induction and redundancy control are central tasks in a learning system, and, more broadly, in a knowledge acquisition system. The results also demonstrate interaction between induction, redundancy, and change in a system's current knowledge—with subsumption playing a key role.