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

RESOLUTION BASED MOST GENERAL SPECIALIZATION OF THEORY

作　　者：叶风[1,2] 权光日[1,2] 王熙照[1,2] 

机构地区：[1]哈尔滨工业大学计算机科学与工程系 [2]大庆油田设计院计量所大庆163712

出　　处：《计算机学报》1999年第12期1233-1238,共6页Chinese Journal of Computers

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

摘　　要：提出一种基于归结的并有关于背景知识及示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架．基于该理论，进一步提出ｋ 一般特化概念以解决特化的可计算性问题，并相应地给出特化算法．有关实验表明。The acquisition or improvement of knowledge by learning is still one of essential issues in knowledge engineering. Inductive Logic Programming is such a learning method that makes use of background knowledge and learning examples in acquisition or improvement of knowledge. At present, the specialization of inductive hypotheses, one of main operations of the method, is limited to a few classes of inductive hypotheses and does not meet the principle of most generalization. Based on resolution and related to background knowledge and learning examples, this paper presents a theory of consistent specialization for the problem, which shows a way to construct the most general specialization of inductive hypotheses. This theory can be considered to be a general framework of theory specialization under logic implication. Furthermore, this paper sets forth, with the theory, a concept of k general specialization and corresponding algorithm to cope with the computability of the problem. The experiment shows that the theory specialization can be correctly and effectively computed with the theory and algorithm presented in this paper.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]