天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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
成人日韩在线播放视频| 五月综合激情婷婷丁香| 高跟丝袜av在线一区二区三区| 麻豆视传媒短视频免费观看| 国产亚洲欧美自拍中文自拍| 欧美一级日韩中文字幕| 精品丝袜一区二区三区性色| 在线观看欧美视频一区| 国产女高清在线看免费观看| 国产精品一区二区视频| 日韩精品一区二区三区av在线| 国产精品视频一级香蕉| 一本色道久久综合狠狠躁| 亚洲国产性生活高潮免费视频| 亚洲超碰成人天堂涩涩| 免费观看成人免费视频| 午夜视频免费观看成人| 国产三级欧美三级日韩三级| 日本三区不卡高清更新二区| 日韩日韩日韩日韩在线| 国产专区亚洲专区久久| 内用黄老外示儒术出处| 欧美又黑又粗大又硬又爽| 亚洲国产欧美精品久久| 免费黄色一区二区三区| 人妻乱近亲奸中文字幕| 视频一区二区黄色线观看| 色丁香之五月婷婷开心| 日本丰满大奶熟女一区二区| 国自产拍偷拍福利精品图片| 欧美精品日韩精品一区| 午夜福利国产精品不卡| 欧美日韩一级aa大片| 成人精品欧美一级乱黄| 欧美午夜性刺激在线观看| 日韩和欧美的一区二区三区| 亚洲精品福利入口在线| 欧洲自拍偷拍一区二区| 午夜免费精品视频在线看| 欧美精品激情视频一区| 欧美成人黄色一区二区三区|