發(fā)布時(shí)間：2020-09-15 15:38

　　 在模糊理論的發(fā)展過(guò)程中，蘊(yùn)涵算子在其中起著重要作用，比如，在建立多值邏輯的語(yǔ)義理論方面，不同的邏輯系統(tǒng)涉及不同的蘊(yùn)涵算子，在知識(shí)發(fā)現(xiàn)(比如模糊概念格)方面，蘊(yùn)涵算子也起著非常重要的作用，本文主要就模糊推理在Lukasiewicz邏輯系統(tǒng)中的實(shí)現(xiàn)問(wèn)題以及基于G(?)del蘊(yùn)涵算子的模糊概念格的屬性約簡(jiǎn)理論展開(kāi)探討，取得了一些有意義的成果。 為了給模糊推理在邏輯語(yǔ)義方面建立嚴(yán)格的邏輯基礎(chǔ)，王國(guó)俊教授通過(guò)將賦值取為邏輯公式中的變?cè)�的方法在�?jīng)典二值邏輯中建立了FMP問(wèn)題的推理模式，提出了(△，∑)型三Ⅰ解，并把這種方法推廣到了Lukasiewicz三值系統(tǒng)中，這時(shí)所謂賦值決定公式問(wèn)題(Valuationally decided formula question，簡(jiǎn)稱(chēng)VDF問(wèn)題)起著至關(guān)重要的作用。本文在第二章首先給出了VDF問(wèn)題的合理性條件，并且基于對(duì)賦值決定公式的原理和單原子邏輯公式所誘導(dǎo)的McNaughton函數(shù)結(jié)構(gòu)的分析，研究了賦值域?yàn)橛邢藜�、可�?shù)無(wú)限集以及具有連續(xù)統(tǒng)勢(shì)的無(wú)限集時(shí)的模糊MP推理的邏輯基礎(chǔ)，證明了模糊推理可以在任意Lukasiewicz多值邏輯系統(tǒng)中得到實(shí)現(xiàn)。 1982年，Will．R提出了概念格理論，它是依據(jù)對(duì)象與屬性之間的二元關(guān)系基于Galois聯(lián)絡(luò)而建立起的一種概念層次結(jié)構(gòu)，由于概念格理論在軟件工程、數(shù)據(jù)結(jié)構(gòu)分析、信息工程等方面有著重要的作用，有關(guān)概念格的研究目前十分活躍，在現(xiàn)實(shí)生活中對(duì)象與屬性的關(guān)系大多是不確定的模糊關(guān)系，因此，許多類(lèi)型所謂的模糊概念也紛紛被提出。本文的第三章分析由S．Elloumi所提出在δ∈[0，1]水平上的模糊概念的定義，選用G(?)del蘊(yùn)含算子建立一種模糊概念格并且討論了該類(lèi)模糊概念格的屬性約簡(jiǎn)理論，提供了幾種判斷屬性約簡(jiǎn)的方法，從而為知識(shí)約簡(jiǎn)提供了一種方法。
【學(xué)位單位】：陜西師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2006
【中圖分類(lèi)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 徐章艷;Fuzzy集上基于R蘊(yùn)含算子的三I算法[J];廣西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年03期

2 孫長(zhǎng)銀,費(fèi)樹(shù)岷,孫長(zhǎng)貴;模糊推理三I算法的幾個(gè)結(jié)果[J];湖北三峽學(xué)院學(xué)報(bào);2000年05期

3 徐章艷,馮嘉禮,李凡;基于R蘊(yùn)含算子的α-三I算法[J];計(jì)算機(jī)應(yīng)用與軟件;2004年01期

4 郭方芳,陳圖云,夏尊銓;基于極大模糊熵原理的模糊推理三I算法[J];模糊系統(tǒng)與數(shù)學(xué);2003年04期

5 宋士吉,吳澄;模糊推理的反向三I算法[J];中國(guó)科學(xué)E輯;2002年02期

6 王國(guó)俊;模糊推理的全蘊(yùn)涵三I算法[J];中國(guó)科學(xué)E輯;1999年01期

7 張文修,魏玲,祁建軍;概念格的屬性約簡(jiǎn)理論與方法[J];中國(guó)科學(xué)E輯;2005年06期

8 王瓊;剩余蘊(yùn)涵的模糊三Ⅰ方法的約束度分析[J];華僑大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年03期

9 宋玉靖;Lukasiewicz p+1值邏輯系統(tǒng)中VDF問(wèn)題的解決[J];數(shù)學(xué)進(jìn)展;2004年05期

10 傅麗,王國(guó)俊;三I算法的統(tǒng)一形式[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年03期

本文編號(hào)：2819151