天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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高清| 91亚洲国产日韩在线| 91免费精品国自产拍偷拍| 欧美一区二区三区99| 91香蕉国产观看免费人人| 蜜桃臀欧美日韩国产精品| 精品日韩国产高清毛片| 好骚国产99在线中文| 精品国产亚洲区久久露脸| 国产内射一级二级三级| 国产精品欧美一区二区三区| av一区二区三区天堂| 日韩精品中文字幕亚洲| 国产精品午夜福利免费阅读 | 国产精品99一区二区三区| 国产丝袜女优一区二区三区| 99久热只有精品视频最新| 久久老熟女一区二区三区福利| 亚洲一区二区三区四区| 日韩欧美国产精品自拍| 午夜成年人黄片免费观看|