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

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