苏州大学学报（工科版）
囌州大學學報（工科版）
소주대학학보（공과판）
JOURNAL OF SOOCHOW UNIVERSITY ENGINEERING SCIENCE EDITION
2009年
2期
1-5
,共5页
归纳逻辑程序设计%FOIL%一阶规则集合
歸納邏輯程序設計%FOIL%一階規則集閤
귀납라집정서설계%FOIL%일계규칙집합
对FOIL算法进行了深入剖析,针对归纳逻辑程序设计处理数值量弱的缺点,在FOIL算法的基础上作了改进.研究一种新的约束归纳算法,该算法通过在特殊化时对假设空间的划分和引入Fisher判别方法,能够导出不受变量个数限制的多种形式的线性约束.实验结果证明,改造后的算法在约束求解方面具有有效性.
對FOIL算法進行瞭深入剖析,針對歸納邏輯程序設計處理數值量弱的缺點,在FOIL算法的基礎上作瞭改進.研究一種新的約束歸納算法,該算法通過在特殊化時對假設空間的劃分和引入Fisher判彆方法,能夠導齣不受變量箇數限製的多種形式的線性約束.實驗結果證明,改造後的算法在約束求解方麵具有有效性.
대FOIL산법진행료심입부석,침대귀납라집정서설계처리수치량약적결점,재FOIL산법적기출상작료개진.연구일충신적약속귀납산법,해산법통과재특수화시대가설공간적화분화인입Fisher판별방법,능구도출불수변량개수한제적다충형식적선성약속.실험결과증명,개조후적산법재약속구해방면구유유효성.
