發(fā)布時(shí)間：2021-07-18 11:20

　　隨著人工智能的發(fā)展,人們的生活越來越智能化,日常生活中在客觀評(píng)價(jià)和推理時(shí),會(huì)有很多不確定性的信息。人類在表達(dá)不確定信息時(shí)習(xí)慣用語言值,語言真值格蘊(yùn)涵代數(shù)的提出不僅能夠很好地處理既具有可比性又具有不可比性的語言值信息問題,而且用語言值進(jìn)行推理,可以減少信息缺失以及提高信息處理效率。針對(duì)人類在做推理時(shí)發(fā)現(xiàn)同一個(gè)語言值的否定會(huì)根據(jù)不同的思維有不同的否定結(jié)果的問題,本文基于語言真值格蘊(yùn)涵代數(shù)的語言真值邏輯系統(tǒng),提出了廣義語言真值格值邏輯系統(tǒng)的不確定性推理方法和基于廣義語言真值謂詞邏輯系統(tǒng)不確定性推理方法,主要研究?jī)?nèi)容包括:基于語言真值格蘊(yùn)涵代數(shù)的語言真值邏輯系統(tǒng),結(jié)合語言值的否定,構(gòu)建廣義語言真值格值邏輯系統(tǒng),討論了廣義語言真值格值邏輯系統(tǒng)中命題的否定算子,并將否定算子區(qū)分為強(qiáng)否定算子、全否定算子和弱否定算子,研究了否定算子的相關(guān)性質(zhì),通過否定算子的多樣性,提出不同否定算子之間的聚合運(yùn)算。結(jié)合基于濾子的語言真值歸結(jié)推理方法,提出基于濾子的廣義語言真值的歸結(jié)推理方法,該方法可以有效地解決具有不同否定算子的情況下的歸結(jié)問題。應(yīng)用實(shí)例說明了該方法的合理性和有效性。為了解決經(jīng)典謂詞邏輯中,存在量詞與全... 

【文章來源】：遼寧師范大學(xué)遼寧省

【文章頁數(shù)】：49 頁

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

【部分圖文】：

Lv(n2)的Hasse圖

(hn,c2)與(hn,c2)在Lv(n×2)上的關(guān)系

(hn,c2)與~(hn,c2)在Lv(n×2)上的關(guān)系

【參考文獻(xiàn)】：
期刊論文
[1]基于帶有三種否定的模糊集FScom的多屬性決策方法[J]. 楊磊,潘正華.  模糊系統(tǒng)與數(shù)學(xué). 2018(05)
[2]基于語言值相似度推理的網(wǎng)絡(luò)商家自評(píng)價(jià)方法[J]. 崔曉松,王穎,孟佳,鄒麗.  山東大學(xué)學(xué)報(bào)(工學(xué)版). 2018(01)
[3]直覺模糊邏輯的（α,β）-準(zhǔn)鎖語義歸結(jié)方法[J]. 鄒麗,劉迪,譚雪微,鄭宏亮.  模式識(shí)別與人工智能. 2016(03)
[4]否定知識(shí)的代數(shù)表示及在模糊系統(tǒng)設(shè)計(jì)中的應(yīng)用[J]. 張勝禮,李永明.  計(jì)算機(jī)學(xué)報(bào). 2016(12)
[5]具有三種否定的模糊命題邏輯形式系統(tǒng)FLCOM的λ-歸結(jié)[J]. 趙潔心,潘正華.  模式識(shí)別與人工智能. 2015(03)
[6]區(qū)分3種否定的模糊命題邏輯系統(tǒng)及其應(yīng)用[J]. 潘正華.  軟件學(xué)報(bào). 2014(06)
[7]模糊知識(shí)的三種否定及其集合基礎(chǔ)[J]. 潘正華.  計(jì)算機(jī)學(xué)報(bào). 2012(07)
[8]基于中介邏輯的模糊推理算法[J]. 張麗珍,潘正華.  計(jì)算機(jī)工程與科學(xué). 2010(09)
[9]格值一階邏輯系統(tǒng)LF（X）中帶廣義量詞的α-歸結(jié)原理[J]. 周平,姜明,孫西芃.  模糊系統(tǒng)與數(shù)學(xué). 2008(05)
[10]直覺算子模糊邏輯中的蘊(yùn)含及其歸結(jié)原理[J]. 劉新,鄒麗.  遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2004(02)

博士論文
[1]基于語言真值格蘊(yùn)涵代數(shù)的格值命題邏輯及其歸結(jié)自動(dòng)推理研究[D]. 鄒麗.西南交通大學(xué) 2010

碩士論文
[1]語言值相似度推理方法及其應(yīng)用研究[D]. 王穎.遼寧師范大學(xué) 2016



本文編號(hào)：3289475