人工智能研究的是智能行為的機(jī)制,它通過(guò)構(gòu)造和評(píng)估具有智能行為的人工制品來(lái)研究智能。機(jī)器學(xué)習(xí)系統(tǒng)根據(jù)環(huán)境數(shù)據(jù),通過(guò)一定的學(xué)習(xí)方法,獲得處理某問(wèn)題的方法。在機(jī)器學(xué)習(xí)領(lǐng)域中,歸納學(xué)習(xí)是指給定一個(gè)描述語(yǔ)言,智能體根據(jù)給定的語(yǔ)言所描述的符號(hào)數(shù)據(jù),通過(guò)一定的搜索方法,獲得一個(gè)一般概念、規(guī)則或理論的過(guò)程。歸屬演算就是可以表示歸納學(xué)習(xí)過(guò)程的一種描述語(yǔ)言,它由計(jì)算機(jī)科學(xué)家米哈爾斯基所介紹,以“屬性和屬性值的關(guān)系”為基礎(chǔ)進(jìn)行形式化,并給出了多于二值邏輯的多種解釋模式。算法要做的就是問(wèn)題求解,所以算法就是求解問(wèn)題的過(guò)程描述。歸納學(xué)習(xí)過(guò)程聚焦到某類(lèi)歸納學(xué)習(xí)問(wèn)題時(shí),就可以通過(guò)歸納學(xué)習(xí)算法來(lái)描述。歸納學(xué)習(xí)算法在重言蘊(yùn)涵的基礎(chǔ)上定義了泛化和特化兩種相反操作符,從而定義了泛化規(guī)則。本文就是在結(jié)合歸屬演算和泛化規(guī)則的基礎(chǔ)上,嘗試將歸屬演算運(yùn)用于簡(jiǎn)單的候選消除算法,從而在解決人工神經(jīng)網(wǎng)絡(luò)難解釋性的指導(dǎo)下,探索歸納學(xué)習(xí)和人工神經(jīng)網(wǎng)絡(luò)結(jié)合的可能性。歸屬演算表示歸納學(xué)習(xí)的反思表明,對(duì)于泛化符等符號(hào)來(lái)說(shuō),它有歸納、屬性關(guān)系、操作符和函數(shù)的解釋。對(duì)一種符號(hào)具有多種解釋方式,既是基于計(jì)算機(jī)實(shí)踐需要的邏輯語(yǔ)言有表示力強(qiáng)的優(yōu)點(diǎn),也是具有... 

【文章來(lái)源】：湘潭大學(xué)湖南省

【文章頁(yè)數(shù)】：58 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

事件空間和CM(E)訓(xùn)練實(shí)例②其中X，X為屬性，橫縱坐標(biāo)的0，1為屬性值

11圖 2-3 訓(xùn)練事件和泛化描述①每一個(gè)方框表示了一個(gè)命題決策規(guī)則，可以由一個(gè)規(guī)則集來(lái)表示一個(gè)概念描述，(b到(d)的概念描述表示了從(a)的假定泛化。通過(guò)圖可以得到命題規(guī)則 S1到 S3：S1: ~x~y => c, xz => c, x~yw =>cS2: ~x~z~w =>c, xyzw => c, z~w => c, x~zw => c, x~yw => cS3: ~x~w => c, z~w => c, xw => cS1和 S2表示了不同的概念，S2和 S3表示完全相同的概念，但是在復(fù)雜度上不同。雖然 S3比 S1更簡(jiǎn)單，但是選擇 S1還是 S3是未知的，因?yàn)楦?jiǎn)單不表明 S3比 S1在運(yùn)用新數(shù)據(jù)時(shí)更準(zhǔn)確。雖然 S1更復(fù)雜，但也有可能過(guò)擬合。S2和 S3可以根據(jù)邏輯規(guī)則判定等價(jià)。上例表明簡(jiǎn)單的訓(xùn)練集也可以產(chǎn)生不同的泛化，相同的概念描述在① Michalski R S.Attributional Calculus:Alogic and representation language for Natural Induction[J]. MachineLearning and Inference Laboratory Reports, 2004(3): 19

圖 2-4 表 2-1 給定正反例的康托圖示例易知，如果 e4為正例可以學(xué)習(xí)到 round 概念，如果 e4為反例則不能。如圖用數(shù)示屬性值，那么在 e4為正例下，在 Post 的三值邏輯 P3①表示語(yǔ)言下，用規(guī)則表習(xí) round 的概念描述可以為：S4：shape => roundS5: shape∧~type => round, shape∧~~type => round以理解為，事件 e 中 shape 屬性只要值為 1，那么根據(jù)重言蘊(yùn)涵（=>不是實(shí)質(zhì)），就可得到 round 值為 1。它表示大圓的上半部分。因?yàn)?Pm中否定定義為：(2-4)，e1中 type 屬性值為 0，~type 值為 1，表示同心圓中最小的部分，再和大圓上分相交得到 round 概念的一部分。同理，shape∧~(~type)表示中間同心圓的上半。這樣，就得到 S5描述的 round 概念。可以發(fā)現(xiàn)，S5是 S4的子集但是它們都描1 0u101uu um = = ≠ ，如果，如果

【參考文獻(xiàn)】：
期刊論文
[1]歸納邏輯程序設(shè)計(jì)綜述[J]. 戴望州,周志華.  計(jì)算機(jī)研究與發(fā)展. 2019(01)
[2]智能可計(jì)算性思想的發(fā)展[J]. 張寅生,蔡曙山.  貴州民族大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2017(01)
[3]走向綜合的計(jì)算主義[J]. 趙小軍.  哲學(xué)動(dòng)態(tài). 2014(05)
[4]哥德?tīng)柌煌耆远ɡ淼恼軐W(xué)思考[J]. 謝佛榮.  系統(tǒng)科學(xué)學(xué)報(bào). 2012(01)
[5]基于謂詞邏輯的Prolog程序設(shè)計(jì)[J]. 李娜,王湘云.  西南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2009(06)
[6]基于高階邏輯的復(fù)雜結(jié)構(gòu)歸納學(xué)習(xí)研究[J]. 李琳娜,楊炳儒,周法國(guó).  計(jì)算機(jī)科學(xué). 2008(09)
[7]邏輯與歸納邏輯程序設(shè)計(jì)[J]. 熊立文.  哲學(xué)動(dòng)態(tài). 2007(03)
[8]人工智能的邏輯極限[J]. 劉曉力.  邏輯研究專輯. 2001(00)
[9]歸納邏輯及其在歸納學(xué)習(xí)中的應(yīng)用問(wèn)題[J]. 王雨田.  軟件學(xué)報(bào). 1993(06)
[10]弗雷格哲學(xué)思想述論[J]. 汪堂家.  哲學(xué)研究. 1986(06)

碩士論文
[1]歸納邏輯程序設(shè)計(jì)初探[D]. 謝穎.北京師范大學(xué) 2008



本文編號(hào)：3493304