本文關(guān)鍵詞：Lukasiewicz邏輯系統(tǒng)中的模糊推理及模糊概念格的屬性約簡，，由筆耕文化傳播整理發(fā)布。

文檔介紹：
Lukasiewicz邏輯系統(tǒng)中的模糊推理及模糊概念格的屬性約簡李立峰摘要在模糊理論的發(fā)展過程中,蘊(yùn)涵算子在其中起著重要作用,比如,在建立多值邏輯的語義理論方面,不同的邏輯系統(tǒng)涉及不同的蘊(yùn)涵算子.在知識發(fā)現(xiàn)(比如模糊概念格)方面,蘊(yùn)涵算子也起著非常重要的作用.本文主要就模糊推理在Lukasiewicz邏輯系統(tǒng)中的實現(xiàn)問題以及基于GSdel蘊(yùn)涵算子的模糊概念格的屬性約簡理論展開探討,取得了一些有意義的成果.為了給模糊推理在邏輯語義方面建立嚴(yán)格的邏輯基礎(chǔ),王國俊教授通過將賦值取為邏輯公式中的變元的方法在經(jīng)典二值邏輯中建立了FMP問題的推理模式,提出了(△,∑)型三I解,并把這種方法推廣到了Lukasiewicz三值系統(tǒng)中,這時所謂賦值決定公式問題(Valuationally decided formula question,簡稱VDF問題)起著至關(guān)重要的作用.本文在第二章首先給出了VDF問題的合理性條件,aughton函數(shù)結(jié)構(gòu)的分析,研究了賦值域為有限集、可數(shù)無限集以及具有連續(xù)統(tǒng)勢的無限集時的模糊MP推理的邏輯基礎(chǔ),證明了模糊推理可以在任意Lukasiewicz多值邏輯系統(tǒng)中得到實現(xiàn).1982年,Will.R提出了概念格理論,它是依據(jù)對象與屬性之間的二元關(guān)系基于Galois聯(lián)絡(luò)而建立起的一種概念層次結(jié)構(gòu).由于概念格理論在軟件工程、數(shù)據(jù)結(jié)構(gòu)... 內(nèi)容來自轉(zhuǎn)載請標(biāo)明出處.

  本文關(guān)鍵詞：Lukasiewicz邏輯系統(tǒng)中的模糊推理及模糊概念格的屬性約簡，由筆耕文化傳播整理發(fā)布。