本文關(guān)鍵詞：幾種邏輯系統(tǒng)中命題真度的研究，由筆耕文化傳播整理發(fā)布。

文檔介紹：
【精品】畢業(yè)論文優(yōu)秀畢業(yè)論文本科論文專業(yè)學(xué)術(shù)論文參考文獻(xiàn)資料應(yīng)用數(shù)學(xué)專業(yè)優(yōu)秀論文幾種邏輯系統(tǒng)中命題真度的研究關(guān)鍵詞:邏輯系統(tǒng)命題真度條件真度推理規(guī)則非線性序集模糊控制摘要:模糊系統(tǒng)控制的理論和技術(shù)已經(jīng)取得了舉世公認(rèn)的成功,作為模糊控制理論基礎(chǔ)的模糊推理與模糊邏輯也日益受到關(guān)注。早期的邏輯代數(shù)研究始于Leibniz,他用符號表示命題,建立了二值邏輯演算理論。但是,隨著科學(xué)技術(shù)的不斷進(jìn)步和發(fā)展,經(jīng)典二值邏輯不能滿足各種新型推理的需要,在現(xiàn)實生活中,無法用絕對真與絕對假的二值邏輯來處理的現(xiàn)象也有很多。所以必須將經(jīng)典二值邏輯加以改進(jìn)和推廣才能滿足新型推理和現(xiàn)實生活的需要。改進(jìn)和推廣的方法之一就是擴(kuò)充經(jīng)典二值邏輯的賦值域,這就形成了多值邏輯系統(tǒng)和模糊邏輯系統(tǒng)。比較著名的系統(tǒng)有Lukasiewicz邏輯系統(tǒng),Godel邏輯系統(tǒng)等。在以上系統(tǒng)中,一種具有明顯數(shù)值特征的公式真度概念和邏輯度量空間理論已經(jīng)提出。一個公式的真度是一個確定的數(shù)值。那么如何刻劃一個公式A在信息Г下的真度呢?(這里Г為有限公式之集。)有學(xué)者對此進(jìn)行了一定的討論和研究,得到了一些結(jié)論。本文在前面學(xué)者的成果的基礎(chǔ)上,在W3、G3、Ⅱ3、L3等三值邏輯系統(tǒng)以及n值R0-命題邏輯系統(tǒng)L*n中... 內(nèi)容來自轉(zhuǎn)載請標(biāo)明出處.

  本文關(guān)鍵詞：幾種邏輯系統(tǒng)中命題真度的研究，，由筆耕文化傳播整理發(fā)布。