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

摘要：

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

关键词：归纳学习、特化、理论修正、归纳逻辑程序设计

所属期刊栏目：22

分类号：TP18(自动化基础理论)

资助基金：国家高技术研究发展计划863计划863-306-ZD-06-1

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1233-1238