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

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

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

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



本文編號(hào)：3852816

suoshi