發(fā)布時(shí)間：2021-06-05 12:00

　　本文將Atanassov直覺主義邏輯中型蘊(yùn)涵改為 蘊(yùn)涵，建立修正的Atanassov邏輯系統(tǒng)，給出其中的廣義重言式和部分賦值的廣義重言式的定義，研究了該系統(tǒng)及其廣義重（假）言式的性質(zhì)。全文分為兩大部分，第一部分：引言，介紹邏輯系統(tǒng)研究概況及分析，指出邏輯學(xué)與尖端技術(shù)人工智能的關(guān)系,具體介紹直覺主義邏輯,并簡(jiǎn)述了本文工作的背景與意義；第二部分論文主體,分三章，第一章：討論有限Atanassov 直覺模糊邏輯代數(shù)，給出判別其子代數(shù)的充要條件,并將王國(guó)俊教授在邏輯系統(tǒng)中的廣義重言式理論推廣并應(yīng)用到Atanassov邏輯中，得出在Atanassov 邏輯中不存在絕對(duì)重（假）言式，廣義重言式不隨系統(tǒng)變大而增多和廣義重言式前綴具有不靈敏性的結(jié)論；第二章：將原Atanassov邏輯中型蘊(yùn)涵改為 蘊(yùn)涵，建立修正的Atanassov邏輯代數(shù)，找出其最大子代數(shù)，然后把王國(guó)俊教授在一維邏輯系統(tǒng)中的廣義重言式理論推廣到中，最終得到中廣義重（假）言式的分類；第三章：給出部分賦值的廣義重言式的定義，采用同構(gòu)變換和對(duì)稱表示賦值集的方法，并結(jié)合的分類，在中的廣義重（假）言式之間建立了一種升（降）級(jí)算法。得出結(jié)論：在系... 

【文章來源】：遼寧師范大學(xué)遼寧省

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

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

【文章目錄】：
"><中文摘要>
"><中文關(guān)鍵詞>
引言
第一章 有限Atanassov邏輯代數(shù)及其廣義重言式
    1.1 有限Atanassov邏輯及其子代數(shù)
    1.2 有限Atanassov邏輯的廣義重言式
第二章 修正的Atanassov邏輯系統(tǒng)及其廣義重（假）言式
    2.1 修正的Atanassov邏輯代數(shù)Ⅰ_α
    2.2 Ⅰ_A中廣義重言式的分類
第三章 修正的Atanassov邏輯中的∑—廣義重言式理論與類類互異定理
    3.1 系統(tǒng)Ⅰ_{A_n}與部分賦值
    3.2 Ⅰ_{A_n}的對(duì)稱表示
    3.3 Ⅰ_{A_{2n}}與Ⅰ_{A_{2n+1}}中的（α,β）-重言式
    3.4 可達(dá)（α，β）-重（假）言式
    3.5 類類互異定理與升（降）級(jí)算法
    3.6 有限值系統(tǒng)中廣義重言式(矛盾式)的表示定理
結(jié)束語(yǔ)
致謝
參考文獻(xiàn)
"><參考文獻(xiàn)>
"><英文摘要>
"><英文關(guān)鍵詞>


【參考文獻(xiàn)】：
期刊論文
[1]區(qū)間值模糊命題邏輯的最大子代數(shù)及其廣義重言式[J]. 陳圖云,張宇卓,廖士中.  模糊系統(tǒng)與數(shù)學(xué). 2003(02)
[2]有限Atanassov邏輯代數(shù)及其廣義重言式[J]. 陳圖云,陳文麗.  遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2001(04)
[3]參數(shù)Kleene系統(tǒng)中的廣義重言式[J]. 吳望名.  模糊系統(tǒng)與數(shù)學(xué). 2000(01)
[4]Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J]. 楊曉斌,張文修.  模糊系統(tǒng)與數(shù)學(xué). 2000(01)
[5]關(guān)于模糊邏輯的—場(chǎng)爭(zhēng)論[J]. 吳望名.  模糊系統(tǒng)與數(shù)學(xué). 1995(02)



本文編號(hào)：3212126