本文利用概率測(cè)度來度量模糊命題邏輯公式的真度，定義了公式的α-真度，并研究了其相關(guān)性質(zhì)。首先在[0，1]賦值格上研究公式的α-真度，定義了α（?）重言式，討論了α（?）重言式與α-重言式，及與公式的α-真度之間的關(guān)系，研究了α-真度值在[0，1]中的分布，并在以上內(nèi)容的基礎(chǔ)上定義了公式的α-相似度的概念，進(jìn)而導(dǎo)出了全體公式集上的一種偽距離，為[0，1]賦值格上模糊命題邏輯的近似推理理論提供了一種可能的框架。由于考慮到二維邏輯既能處理全序信息，又能處理不可比信息，本文又研究了區(qū)間值模糊命題邏輯公式的α-真度及其性質(zhì)，試圖為二維真值模糊邏輯的語義研究尋求一條新的途徑。本文定義的公式的α-真度不同于王國俊教授定義的積分真度，但最終結(jié)果可與王國俊教授的積分語義學(xué)統(tǒng)一起來。 

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

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

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

【文章目錄】：
摘要
Abstract
1 引言
    1.1 歷史概述及研究背景
    1.2 本文的研究工作
2 [0,1]上模糊命題邏輯公式的概率真度
    2.1 [0,1]上模糊命題邏輯公式的α-真度
    2.2 推理規(guī)則
    2.3 α-真度與α(?)重言式
    2.4 α-真度值在[0,1]中的分布
    2.5 公式間的α-相似度
    2.6 F(S)上的偽距離
3 區(qū)間值模糊命題邏輯公式的概率真度
    3.1 區(qū)間值模糊命題邏輯公式的α-真度
    3.2 α-真度與α-重言式
    3.3 推理規(guī)則
    3.4 α-真度值在[0,1]中的分布
4 總結(jié)與展望
參考文獻(xiàn)
致謝


【參考文獻(xiàn)】：
期刊論文
[1]區(qū)間值模糊命題邏輯的最大子代數(shù)及其廣義重言式[J]. 陳圖云,張宇卓,廖士中.  模糊系統(tǒng)與數(shù)學(xué). 2003(02)
[2]二值命題邏輯中命題的真度理論[J]. 王國俊,傅麗,宋建社.  中國科學(xué)（A輯）. 2001(11)
[3]區(qū)間值模糊命題邏輯系統(tǒng)的廣義恒真式[J]. 陸秋君,吳望名.  模糊系統(tǒng)與數(shù)學(xué). 2001(02)
[4]廣義MP規(guī)則[J]. 王國俊.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2000(03)
[5]模糊推理與模糊邏輯[J]. 王國俊.  系統(tǒng)工程學(xué)報(bào). 1998(02)
[6]關(guān)于模糊邏輯的—場(chǎng)爭(zhēng)論[J]. 吳望名.  模糊系統(tǒng)與數(shù)學(xué). 1995(02)



本文編號(hào)：3609081