基于归结的最大一般理论特化

作     者：叶风 权光日 王熙照 YE Feng;QUAN Guang-Ri;WANG Xi-Zhao

作者机构：哈尔滨工业大学计算机科学与工程系 大庆油田设计院计量所大庆163712 

基　　金：国家"八六三"高技术研究发展计划 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1999年第22卷第12期

页      码：1233-1238页

摘      要：提出一种基于归结的并有关于背景知识及示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架．基于该理论，进一步提出ｋ 一般特化概念以解决特化的可计算性问题，并相应地给出特化算法．有关实验表明。

主 题 词：归纳学习 理论修正 特化 知识系统 知识获取 

学科分类：0810[工学-土木类] 12[管理学] 1201[管理学-管理科学与工程类] 0808[工学-自动化类] 0839[0839] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.1999.12.001

馆 藏 号：203104160...