約束歸納邏輯程序設(shè)計(jì)研究.pdf

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

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