發(fā)布時(shí)間：2022-06-17 08:51

　　以模糊邏輯為代表的非經(jīng)典邏輯在人工智能中有重要應(yīng)用,與之相關(guān)的非經(jīng)典邏輯代數(shù)的研究受到人們的關(guān)注。Hoop代數(shù)是上世紀(jì)70年代由Bosbach首次提出的一類非經(jīng)典邏輯代數(shù),它與著名的模糊邏輯代數(shù)BL有密切聯(lián)系。作為Hoop代數(shù)的非可換推廣,Georgescu于2005年引入了偽Hoop代數(shù)的概念,它是一類非可換模糊邏輯形式系統(tǒng)的代數(shù)抽象。近年來,非結(jié)合模糊邏輯及其相關(guān)代數(shù)結(jié)構(gòu)的研究成為一個(gè)活躍的研究方向。本文受以上研究成果的啟發(fā),將Hoop代數(shù)和偽Hoop代數(shù)推廣到非結(jié)合的情況下,引入非結(jié)合Hoop代數(shù)、非結(jié)合偽Hoop代數(shù)的概念,深入研究它們與各種非結(jié)合模糊邏輯代數(shù)之間的關(guān)系。同時(shí),由于非結(jié)合Hoop代數(shù)和非結(jié)合偽Hoop代數(shù)關(guān)于圈乘運(yùn)算均構(gòu)成一個(gè)廣群,因此本文借鑒半群理論的方法,通過引入伴隨半群的概念,系統(tǒng)研究非結(jié)合Hoop代數(shù)、非結(jié)合偽Hoop代數(shù)與相關(guān)半群之間的內(nèi)在聯(lián)系。本文在非結(jié)合Hoop代數(shù)、非結(jié)合偽Hoop代數(shù)及相關(guān)半群方面獲得的主要結(jié)論如下:1.給出naHoop代數(shù)（非結(jié)合Hoop代數(shù)）、偽naHoop代數(shù)的合理定義,研究了它們的基本性質(zhì);深入分析了（偽）naHoop代... 

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

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

【文章目錄】：
摘要
ABSTRACT
1 緒論
    1.1 研究背景及其意義
        1.1.1 研究背景
        1.1.2 研究意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
        1.2.1(偽)Hoop代數(shù)的研究現(xiàn)狀
        1.2.2 非結(jié)合模糊邏輯代數(shù)的研究現(xiàn)狀
        1.2.3 相關(guān)半群的最新研究進(jìn)展
    1.3 本文主要工作及內(nèi)容安排
        1.3.1 本文主要工作
        1.3.2 內(nèi)容安排
2 非結(jié)合Hoop代數(shù)(naHoop代數(shù))
    2.1 引言與預(yù)備知識(shí)
    2.2 naHoop代數(shù)的定義和性質(zhì)
    2.3 關(guān)于有限naHoop代數(shù)的示例
    2.4 本章小結(jié)
3 偽naHoop代數(shù)
    3.1 引言與預(yù)備知識(shí)
    3.2 偽naHoop代數(shù)的定義和性質(zhì)
    3.3 關(guān)于偽naHoop代數(shù)的有限階示例
    3.4 本章小結(jié)
4 非結(jié)合剩余格的naBL/naHoop濾子與naBL/naHoop代數(shù)
    4.1 引言與預(yù)備知識(shí)
    4.2 非結(jié)合剩余格的naBL-濾子和naHoop濾子
    4.3 非結(jié)合剩余格與naBL/naHoop代數(shù)的聯(lián)系
    4.4 格序剩余廣群的濾子與商代數(shù)
    4.5 本章小結(jié)
5 關(guān)于naHoop代數(shù)與相關(guān)半群
    5.1 引言與預(yù)備知識(shí)
    5.2 naHoop代數(shù)的伴隨半群
    5.3 naHoop代數(shù)與中智三元組群
    5.4 中智三元組群與廣義群
    5.5 單中智三元組群
    5.6 本章小結(jié)
6 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 未來展望
致謝
參考文獻(xiàn)
附錄
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻(xiàn)】：
期刊論文
[1]Hoops上的偽賦值（英文）[J]. 王梅,辛小龍,王軍濤.  數(shù)學(xué)季刊(英文版). 2018(01)
[2]對(duì)合BCK-代數(shù)與交換可剩余半群[J]. 楊聞起.  南京師大學(xué)報(bào)(自然科學(xué)版). 2018(01)
[3]蘊(yùn)涵格的MP*-濾子[J]. 張小紅,王麗麗,劉匯洋.  模糊系統(tǒng)與數(shù)學(xué). 2011(01)
[4]三類BCI-代數(shù)與群和半群的關(guān)系[J]. 黃煒.  科學(xué)技術(shù)與工程. 2009(07)
[5]偽BR0代數(shù)及其性質(zhì)[J]. 張秋霞,吳洪博.  云南師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2008(02)
[6]BCI-代數(shù)的擬結(jié)合部分的性質(zhì)[J]. 楊聞起.  紹興文理學(xué)院學(xué)報(bào). 2005(04)
[7]左剩余格序廣群上的矩陣方程(英文)[J]. 韓成哲,李洪興.  模糊系統(tǒng)與數(shù)學(xué). 2005(03)
[8]剩余格與正則剩余格的特征定理[J]. 裴道武.  數(shù)學(xué)學(xué)報(bào). 2002(02)
[9]有界蘊(yùn)涵BCK代數(shù)的伴隨半群[J]. 羅敏霞.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2000(04)
[10]有界可換BCK-代數(shù)的半群特征[J]. 羅敏霞,黃文平.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 1997(03)

碩士論文
[1]非結(jié)合剩余格及其濾子理論[D]. 梁聰.寧波大學(xué) 2012
[2]WLR-正規(guī)純正群并半群[D]. 鄭上華.西南大學(xué) 2011
[3]L-半格范疇[D]. 魏武.湖南大學(xué) 2010



本文編號(hào)：3653706