天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁(yè) > 社科論文 > 邏輯論文 >

格值命題邏輯系統(tǒng)LP(X)中基于α-歸結(jié)原理的自動(dòng)推理方法的研究

發(fā)布時(shí)間:2021-08-25 11:45
  本文基于徐揚(yáng)和秦克云的關(guān)于格蘊(yùn)涵代數(shù)和以格蘊(yùn)涵代數(shù)為真值域的格值命題邏輯系統(tǒng)LP(X)的研究工作,對(duì)格蘊(yùn)涵代數(shù)以及格值命題邏輯系統(tǒng)LP(X)中基于α-歸結(jié)原理的自動(dòng)推理方法進(jìn)行了系統(tǒng)深入的研究,主要有以下兩方面的研究成果:一、關(guān)于格蘊(yùn)涵代數(shù)的研究 1、對(duì)格蘊(yùn)涵代數(shù)的格論性質(zhì)進(jìn)行了研究,得到了當(dāng)L為完備格蘊(yùn)涵代數(shù)時(shí),關(guān)于∨,∧,→運(yùn)算的一些結(jié)果; 2、對(duì)格蘊(yùn)涵代數(shù)的左冪等元進(jìn)行了研究,證明了格蘊(yùn)涵代數(shù)L可以分解為任何一個(gè)左冪等元所對(duì)應(yīng)的左映射的像集合與其對(duì)偶核的直和; 3、對(duì)格蘊(yùn)涵代數(shù)的濾子的性質(zhì)進(jìn)行了研究,證明了濾子的結(jié)構(gòu)相似于邏輯學(xué)中的Hypothetical syllogism規(guī)則和替換定理; 4、給出了格蘊(yùn)涵代數(shù)中弱濾子的概念,對(duì)弱濾子的性質(zhì)個(gè)結(jié)構(gòu)進(jìn)行了研究,證明了格蘊(yùn)涵代數(shù)的全體弱濾子構(gòu)成一個(gè)拓?fù)浣Y(jié)構(gòu),格蘊(yùn)涵代數(shù)之間的蘊(yùn)涵同構(gòu)是相應(yīng)的拓?fù)淇臻g之間的拓?fù)溆成洌、關(guān)于格值命題邏輯系統(tǒng)LP(X)中α-自動(dòng)推理方法的研究 1、對(duì)LP(X)中不可分極簡(jiǎn)式的性質(zhì)進(jìn)行了研究,證明了LP(X)中任何一個(gè)格值邏輯公式等值于一個(gè)廣義合。ㄎ鋈。┓妒; 2、對(duì)L... 

【文章來(lái)源】:西南交通大學(xué)四川省 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】:153 頁(yè)

【學(xué)位級(jí)別】:博士

【文章目錄】:
中文摘要
英文摘要
第一章 緒論
    §1.1 形成本文的學(xué)術(shù)背景
    §1.2 國(guó)內(nèi)外研究現(xiàn)狀分析
        §1.2.1 關(guān)于多值邏輯、模糊邏輯及格值邏輯的研究概況
        §1.2.2 基于歸結(jié)原理的自動(dòng)推理理論與方法的研究概況
        §1.2.3 本文的研究工作
        §1.2.4 預(yù)備知識(shí)
第二章 關(guān)于格蘊(yùn)涵代數(shù)的研究
    §2.1 格蘊(yùn)涵代數(shù)簡(jiǎn)介
    §2.2 格蘊(yùn)涵代數(shù)的性質(zhì)
    §2.3 格蘊(yùn)涵代數(shù)中的左冪等元
    §2.4 格蘊(yùn)涵代數(shù)中濾子的性質(zhì)
    §2.5 格蘊(yùn)涵代數(shù)中的拓?fù)浣Y(jié)構(gòu)
第三章 格值命題邏輯系統(tǒng)LP(X)中不可分極簡(jiǎn)式的性質(zhì)
    §3.1 格值邏輯公式的廣義范式
    §3.2 不可分極簡(jiǎn)式的判定
第四章 格值命題邏輯系統(tǒng)LP(X)中不可分極簡(jiǎn)式的α-歸結(jié)域
    §4.1 0-IESF的α-歸結(jié)域
    §4.2 1-IESF的α-歸結(jié)域
第五章 基于格值命題邏輯系統(tǒng)LP(X)的α-自動(dòng)推理方法
    §5.1 基于經(jīng)典邏輯的一種新的自動(dòng)推理方法
    §5.2 基于格值命題邏輯LP(X)的α-自動(dòng)推理方法
第六章 結(jié)論與展望
    §6.1 結(jié)論
    §6.2 展望
參考文獻(xiàn)


【參考文獻(xiàn)】:
期刊論文
[1]格蘊(yùn)涵代數(shù)的拓?fù)浣Y(jié)構(gòu)[J]. 王偉,徐揚(yáng),秦克云.  西南交通大學(xué)學(xué)報(bào). 2002(03)
[2]由格蘊(yùn)涵代數(shù)誘導(dǎo)的伴隨半群[J]. 王學(xué)芳,秦克云,徐揚(yáng).  模糊系統(tǒng)與數(shù)學(xué). 2002(01)
[3]格蘊(yùn)涵代數(shù)中濾子的若干性質(zhì)[J]. 王學(xué)芳,徐揚(yáng),宋振明.  西南交通大學(xué)學(xué)報(bào). 2001(05)
[4]Lukasie wicz邏輯系統(tǒng)中的廣義重言式理論[J]. 吳洪博,王國(guó)俊.  西南交通大學(xué)學(xué)報(bào). 2000(05)
[5]廣義MP規(guī)則[J]. 王國(guó)俊.  陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2000(03)
[6]三I方法與區(qū)間值模糊推理[J]. 王國(guó)俊.  中國(guó)科學(xué)E輯:技術(shù)科學(xué). 2000(04)
[7]格蘊(yùn)涵代數(shù)的超濾[J]. 秦克云,徐揚(yáng).  西南交通大學(xué)學(xué)報(bào). 1999(01)
[8]模糊推理的全蘊(yùn)涵三I算法[J]. 王國(guó)俊.  中國(guó)科學(xué)E輯:技術(shù)科學(xué). 1999(01)
[9]格值命題邏輯系統(tǒng)L(X)(Ⅱ)[J]. 秦克云,徐揚(yáng),宋振明.  模糊系統(tǒng)與數(shù)學(xué). 1998(01)
[10]關(guān)于格蘊(yùn)涵代數(shù)[J]. 朱怡權(quán),李崢嶸.  黃岡師專學(xué)報(bào). 1997(04)

博士論文
[1]基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D]. 斐崢.西南交通大學(xué) 2002



本文編號(hào):3362055

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/3362055.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶e25ae***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
又色又爽又黄的三级视频| 我要看日本黄色小视频| 日本午夜乱色视频在线观看| 亚洲一区二区三区在线免费| 午夜国产福利在线播放| 亚洲a码一区二区三区| 欧美综合色婷婷欧美激情| 成人你懂的在线免费视频| 欧美日韩国产精品第五页| 国产日韩欧美专区一区| 亚洲欧美日本国产有色| 日本 一区二区 在线| 97人妻精品免费一区二区| 天堂热东京热男人天堂| 黄色片一区二区在线观看| 欧美特色特黄一级大黄片| 欧美三级大黄片免费看| 日本黄色录像韩国黄色录像| 精品人妻久久一品二品三品| 欧美国产精品区一区二区三区| 视频在线观看色一区二区| 免费观看一区二区三区黄片| 欧美性欧美一区二区三区| 亚洲男人的天堂就去爱| 国产一区二区三区四区免费| 激情视频在线视频在线视频 | 国产91色综合久久高清| 亚洲国产一区精品一区二区三区色| 国产美女精品午夜福利视频| 欧美日韩国产午夜福利| 日本东京热视频一区二区三区 | 日本欧美视频在线观看免费 | 国产一区二区三区四区免费| 办公室丝袜高跟秘书国产| 日韩夫妻午夜性生活视频| 丝袜诱惑一区二区三区| 少妇丰满a一区二区三区| 欧美黑人精品一区二区在线 | 视频一区二区黄色线观看| 日本福利写真在线观看| 中文字幕av诱惑一区二区|