模糊命題邏輯系統(tǒng)和模糊推理是多值邏輯研究的熱點(diǎn)課題。本文就命題邏輯系統(tǒng)中最基本的概念的程度化以及模糊推理的全蘊(yùn)涵三Ⅰ算法做了深入研究。得到一些有意義的結(jié)果。本文核心內(nèi)容包括四個(gè)部分,前三部分歸入一章（第二章）,第四部分單成一章（第三章）,第一章是預(yù)備知識(shí),主要介紹二值命題邏輯系統(tǒng)L和模糊命題邏輯系統(tǒng)Luk的語義和語構(gòu)理論以及這兩個(gè)系統(tǒng)中的計(jì)量邏輯學(xué)。 如果說文獻(xiàn)[24]中計(jì)量邏輯學(xué)是從語義理論入手定義公式的真度的話,那么本文將從語構(gòu)的角度給出公式真度的形式化定義。第一部分針對二值命題邏輯系統(tǒng)L,給出公式的語構(gòu)真度的概念和兩個(gè)等價(jià)刻畫定理以及三個(gè)語構(gòu)真度的實(shí)例,并指出由語構(gòu)真度誘導(dǎo)的相似度和偽距離具有文獻(xiàn)[24]給出的相似度和偽距離的基本性質(zhì)。此外討論了語構(gòu)真度在推理中的應(yīng)用。 第二部分針對模糊命題邏輯系統(tǒng)Luk,類似于第一部分給出公式的語構(gòu)真度的概念和兩個(gè)具體的例子,然后給出語構(gòu)真度的三個(gè)等價(jià)刻畫,并通過反例指出,盡管L和Luk中的語構(gòu)真度的定義在形式上非常相似,但L中關(guān)于語構(gòu)真度的刻畫難以在Luk中實(shí)現(xiàn),而且第一部分中語構(gòu)真度的某些基本性質(zhì)在Luk中也不成立。此外,通過實(shí)... 

【文章來源】：陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

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

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

【文章目錄】：
前言
第一章 預(yù)備知識(shí)
    §1.1 二值命題邏輯系統(tǒng)L
    §1.2 模糊命題邏輯系統(tǒng)Luk和MV代數(shù)
    §1.3 計(jì)量邏輯理論初步
第二章 邏輯公式的語構(gòu)真度
    §2.1 二值命題邏輯系統(tǒng)L中公式的語構(gòu)真度
    §2.2 模糊命題邏輯系統(tǒng)Luk中公式的語構(gòu)真度
    §2.3 模糊命題邏輯系統(tǒng)Luk中公式的格值真度
第三章 構(gòu)造性三Ⅰ算法及其還原性
    §3.1 FMP問題的三Ⅰ算法
    §3.2 FMP問題的α-三Ⅰ算法
    §3.3 三IMP解的還原性
總結(jié)
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間的研究成果


【參考文獻(xiàn)】：
期刊論文
[1]格蘊(yùn)涵代數(shù)中的格蘊(yùn)涵代數(shù)方程[J]. 潘小東,徐揚(yáng),張青.  西南交通大學(xué)學(xué)報(bào). 2005(06)
[2]幾個(gè)三值命題邏輯系統(tǒng)中命題真度的分布[J]. 茹永梅,王國俊.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2005(04)
[3]模糊推理的α-三I算法[J]. 秦克云,裴崢.  模糊系統(tǒng)與數(shù)學(xué). 2005(03)
[4]基于正則蘊(yùn)涵算子與強(qiáng)否定的支持度理論[J]. 周紅軍,王國俊.  自然科學(xué)進(jìn)展. 2005(09)
[5]Lukasiewicz多值邏輯系統(tǒng)中的相似度及偽距離[J]. 劉艷,鄭慕聰.  西安科技大學(xué)學(xué)報(bào). 2005(02)
[6]Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J]. 王國俊,李璧鏡.  中國科學(xué)E輯:信息科學(xué). 2005(06)
[7]偽度量L*-Lindenbaum代數(shù)中基本運(yùn)算的連續(xù)性[J]. 王偉,王國俊.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2005(02)
[8]Lukasiewicz三值命題邏輯中命題的真度理論[J]. 李駿,蘭倩,黎鎖平.  模糊系統(tǒng)與數(shù)學(xué). 2004(04)
[9]兩類模糊推理算法的連續(xù)性和逼近性[J]. 徐蔚鴻,謝中科,楊靜宇,葉有培.  軟件學(xué)報(bào). 2004(10)
[10]標(biāo)準(zhǔn)序列邏輯系統(tǒng)S3中的相似度及偽距離[J]. 李駿,蘭倩,黎鎖平,王柏巖.  蘭州理工大學(xué)學(xué)報(bào). 2004(05)

碩士論文
[1]關(guān)于PI證明的若干注記以及邏輯公式的真度理論[D]. 秦曉燕.陜西師范大學(xué) 2005
[2]命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D]. 宋慶燕.陜西師范大學(xué) 2003



本文編號(hào)：3455683