與通常相似度定義在真度基礎(chǔ)上不同,本文在S-邏輯系統(tǒng)中提出了基于S-蘊含算子的積分相似度,給出了積分相似度的推理性質(zhì).建立了與之相對應(yīng)的偽距離,證明了偽距離空間(FS(S,)ρ)中邏輯蘊涵算子”(?)，∧，∨，→”都是連續(xù)的,并研究了S-邏輯系統(tǒng)中的近似推理.在L4*邏輯度量空間中,給出了對稱四值R0。函數(shù)與對稱邏輯公式的定義.通過將對稱邏輯公式在L4*邏輯度量空間中的計數(shù)問題轉(zhuǎn)化為求解方程的整數(shù)解的個數(shù)問題,使用MATLAB實現(xiàn)了方程的整數(shù)解,從而解決了對稱邏輯公式在L4*邏輯度量空間中的計數(shù)問題.證明了3n,3n+1,3n+2元對稱邏輯公式在L4*中的計數(shù)公式.通過具體的例子,給出兩種方法實現(xiàn)了對稱邏輯公式在L4*邏輯度量空間中的個數(shù)問題,得出了相同的結(jié)果,證明了結(jié)論的正確性.得出了n元對稱邏輯公式占全體n元邏輯公式的比例隨著n的增大而趨于0;論證了對稱邏輯公式的真度之集在[0,1]中稠密.

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

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

【文章目錄】：
摘要
Abstract
前言
第一章 預(yù)備知識
    1.1 S-蘊涵算子基本理論
    1.2 L4
*邏輯度量空間
第二章 S-邏輯系統(tǒng)中積分相似度及偽距離
    2.1 S-蘊涵算子的積分相似度
    2.2 偽距離空間及其性質(zhì)
    2.3 F_S(S)中的近似推理
第三章 對稱邏輯公式在邏輯度量空間中的分布
    3.1 對稱邏輯公式
    3.2 對稱邏輯公式在L4
*邏輯度量空間中的計數(shù)問題
    3.3 對稱邏輯公式在L4
*邏輯度量空間中的分布
總結(jié)
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間已發(fā)表論文
附錄



本文編號：3852816

suoshi