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

【文章來源】：遼寧師范大學遼寧省

【文章頁數】：28 頁

【學位級別】：碩士

【文章目錄】：
摘要
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 總結與展望
參考文獻
致謝


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



本文編號：3609081