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

【文章來(lái)源】：延安大學(xué)陜西省

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

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

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


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



本文編號(hào)：3019547