计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
1999年
12期
1233-1238
,共6页
归纳学习%特化%理论修正%归纳逻辑程序设计
歸納學習%特化%理論脩正%歸納邏輯程序設計
귀납학습%특화%이론수정%귀납라집정서설계
提出一种基于归结的并有关于背景知识及示例的一致特化理论,该理论给出了最大一般特化假设的归结构造方法,可将其作为一种蕴涵意义下的一般理论特化框架.基于该理论,进一步提出k一般特化概念以解决特化的可计算性问题,并相应地给出特化算法.有关实验表明,该理论与算法能够正确并有效地进行一阶理论特化.
提齣一種基于歸結的併有關于揹景知識及示例的一緻特化理論,該理論給齣瞭最大一般特化假設的歸結構造方法,可將其作為一種蘊涵意義下的一般理論特化框架.基于該理論,進一步提齣k一般特化概唸以解決特化的可計算性問題,併相應地給齣特化算法.有關實驗錶明,該理論與算法能夠正確併有效地進行一階理論特化.
제출일충기우귀결적병유관우배경지식급시례적일치특화이론,해이론급출료최대일반특화가설적귀결구조방법,가장기작위일충온함의의하적일반이론특화광가.기우해이론,진일보제출k일반특화개념이해결특화적가계산성문제,병상응지급출특화산법.유관실험표명,해이론여산법능구정학병유효지진행일계이론특화.
