通過添加新的連接詞Δ,在G?del n值命題邏輯系統(tǒng)中,給出了公式的條件真度的定義,并驗證了在該系統(tǒng)下條件真度的一些基本性質(zhì),并在此基礎(chǔ)上建立了度量空間.接著,在增加了Δ算子的G?del n值命題邏輯系統(tǒng)中給出了公式平均真度的定義,討論了在該條件下平均真度的一些重要性質(zhì),并給出了偏差的定義及相關(guān)性質(zhì).然后,借助誘導函數(shù)的定義,在G_^,Δ中首先給出公式的k絕對真度的定義、推理規(guī)則及性質(zhì);其次,在此基礎(chǔ)上又定義了公式的k絕對相似度、k絕對偽距離,并且討論了兩者具有的一些良好性質(zhì);最后,給出了k絕對真度的近似推理理論,并給予證明(k任取^,Δ;G_^,Δ為增加連接詞^和Δ下的G?del n值命題邏輯系統(tǒng)).最后,利用賦值集隨機化的方法,在G_^,Δ中定義了公式在t連接詞下相對于局部有限理論Γ的Γ-t隨機真度,并討論了Γ-t真度的推理規(guī)則和一些重要性質(zhì). 

【文章來源】：延安大學陜西省

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

【學位級別】：碩士

【文章目錄】：
摘要
abstract
前言
第一章 預備知識
    1.1 G?del公理化擴張系統(tǒng)的基本概念
Δ和SBL
sup>" <="" sup="">>    1.2 模糊命題邏輯系統(tǒng)SBL的公理化擴張SBL_Δ和SBL_<sup></li>
第二章 條件真度及近似推理
    2.1 條件真度定義及性質(zhì)
    2.2 基于條件推理的近似推理理論
第三章 平均真度及偏差
    3.1 平均真度的定義及其性質(zhì)
    3.2 有限理論的偏差
第四章 k絕對真度理論
    4.1 命題公式k絕對真度的定義及其性質(zhì)
    4.2 公式間的k絕對相似度和k絕對偽距離
n）中的近似推理">    4.3 （F（S）,ρ_n）中的近似推理
第五章 Γ-t隨機真度
    5.1 命題公式的Γ-t隨機真度的定義及其性質(zhì)
總結(jié)
參考文獻
致謝
攻讀碩士學位期間已發(fā)表論文


【參考文獻】：
期刊論文
[1]G?del n值命題邏輯系統(tǒng)中的Δ真度[J]. 朱乃調(diào),惠小靜,高曉莉,高姣.  模糊系統(tǒng)與數(shù)學. 2016(06)
[2]命題邏輯系統(tǒng)R0L3n+1中公式的Γ-真度及性質(zhì)[J]. 吳洪博,周建仁.  計算機學報. 2015(08)
[3]Lukasiewicz命題邏輯中公式的Γ-真度理論和極限定理[J]. 吳洪博.  中國科學:信息科學. 2014(12)
[4]基于真值的SBL～公理化擴張系統(tǒng)的計量化[J]. 惠小靜.  中國科學:信息科學. 2014(07)
[5]Lukasiewicz邏輯系統(tǒng)中理論的平均真度及偏差[J]. 李駿,李小兵.  計算機工程與應用. 2016(04)
[6]真度的均值表示形式在邏輯系統(tǒng)Ln中的應用[J]. 于鴻麗,吳洪博.  模糊系統(tǒng)與數(shù)學. 2014(03)
[7]粗糙邏輯中公式的Borel型概率粗糙真度[J]. 折延宏,賀曉麗.  軟件學報. 2014(05)
[8]Lukasiewicz命題邏輯系統(tǒng)中真度的等價定義及相關(guān)性質(zhì)[J]. 周建仁,吳洪博.  工程數(shù)學學報. 2013(04)
[9]模糊邏輯系統(tǒng)中廣義有效推理的真度遞減定理[J]. 惠小靜.  模糊系統(tǒng)與數(shù)學. 2013(04)
[10]n值Gdel命題邏輯系統(tǒng)中的F度累積理論[J]. 惠小靜.  模糊系統(tǒng)與數(shù)學. 2013(02)



本文編號：3019547