約束歸納邏輯程序設計研究.pdf

1、北京工業(yè)大學博士學位論文約束歸納邏輯程序設計研究姓名：鄭磊申請學位級別：博士專業(yè)：計算機應用技術指導教師：劉椿年20040301北京工業(yè)大學工學博士學位論文式約束兩大類。本文首先從線性不等式約束入手，將多元數(shù)據(jù)分析和模式識別研究領域中的Fisher判別方法引入CILP，從而有效地導出線性不等式約束。在此基礎上，本文提出通過將數(shù)值數(shù)據(jù)轉化成更高維空間的數(shù)據(jù)來推廣導出線性約束的方法，從而得到多種形式的多項式約束。其中在轉化所得的高維空間上導

2、出線性約束時，本文提出將要導出的各種形式的約束的復雜度排序，從而使算法易于導出形式簡單的約束子旬。在導出近似等式和非等式約束時，提出用動態(tài)聚類算法和主成分分析中的方法導出近似線性等式約束，并簡要介紹了與之相似的導出線性近似非等式約束的方法。用在前面介紹的將數(shù)據(jù)轉化為更高維數(shù)據(jù)的方法，可以得到導出多項式近似等式／非等式約束的方法。基于本文的CILP新技術，本文初步實現(xiàn)了BPU—CILP原型系統(tǒng)。實驗表明，本文提出的CILP新技術能夠克服現(xiàn)