天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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麻豆尤物| 欧美一区二区三区五月婷婷| 麻豆剧果冻传媒一二三区| 日韩精品综合免费视频| 亚洲做性视频在线播放| 麻豆91成人国产在线观看| 一区二区三区四区亚洲另类| 精品综合欧美一区二区三区| 日韩一区二区免费在线观看| 黑丝国产精品一区二区| 日本午夜精品视频在线观看| 国产一级特黄在线观看| 美日韩一区二区精品系列| 久久人妻人人澡人人妻| 国产精品久久精品国产| 国产色一区二区三区精品视频| 久久精品伊人一区二区| 精品日韩av一区二区三区| 国产成人高清精品尤物| 护士又紧又深又湿又爽的视频| 国产午夜福利在线免费观看| 亚洲妇女黄色三级视频| 日本妇女高清一区二区三区| 欧美日韩一级黄片免费观看| 精品国产91亚洲一区二区三区| 精品人妻av区波多野结依 | 日韩av亚洲一区二区三区| 一个人的久久精彩视频| 国产一级内射麻豆91| 黑人巨大精品欧美一区二区区| av中文字幕一区二区三区在线| 久久亚洲国产视频三级黄 | 韩日黄片在线免费观看| 国产亚洲不卡一区二区| 国产精品亚洲欧美一区麻豆| 免费一级欧美大片免费看| 国产原创激情一区二区三区| 日本办公室三级在线观看| 日本加勒比中文在线观看| 亚洲视频在线观看免费中文字幕|