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

• 作者: 叶风 权光日 王熙照
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 归纳学习 特化 理论修正 归纳逻辑程序设计
• 年，卷（期）: 1999,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1233-1238
• 页数: 6页
• 分类号: TP18
• 字数: 7228字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.12.001

摘要

提出一种基于归结的并有关于背景知识及示例的一致特化理论,该理论给出了最大一般特化假设的归结构造方法,可将其作为一种蕴涵意义下的一般理论特化框架.基于该理论,进一步提出k一般特化概念以解决特化的可计算性问题,并相应地给出特化算法.有关实验表明,该理论与算法能够正确并有效地进行一阶理论特化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	权光日	哈尔滨工业大学计算机科学与工程系	4	5	1.0	2.0
3	叶风	哈尔滨工业大学计算机科学与工程系	2	40	2.0	2.0
9	王熙照	哈尔滨工业大学计算机科学与工程系	2	42	2.0	2.0