天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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
一二区不卡不卡在线观看| 欧美精品中文字幕亚洲| 韩日黄片在线免费观看| 99国产精品国产精品九九 | 五月激情综合在线视频| 日韩精品一区二区不卡| 日韩欧美国产三级在线观看| 有坂深雪中文字幕亚洲中文 | 我想看亚洲一级黄色录像| 亚洲另类女同一二三区| 国产在线一区二区三区不卡| 少妇肥臀一区二区三区| 国产在线成人免费高清观看av| 国产欧美一区二区色综合| 国产精品久久精品毛片| 乱女午夜精品一区二区三区| 国产成人精品国产成人亚洲| 成人精品一级特黄大片| 国产视频一区二区三区四区| 中国美女偷拍福利视频| 日本高清视频在线观看不卡| 沐浴偷拍一区二区视频| 国产精品成人一区二区在线| 精品日韩欧美一区久久| 国产精品丝袜美腿一区二区| 欧美黑人在线精品极品| 日韩一级免费中文字幕视频| 国产成人精品视频一二区| 国产精品免费不卡视频| 国产欧美精品对白性色| 久久99青青精品免费| 91精品欧美综合在ⅹ| 日本在线高清精品人妻| 国产成人高清精品尤物| 97人妻精品免费一区二区| 91偷拍视频久久精品| 91香蕉视频精品在线看| 免费人妻精品一区二区三区久久久| 免费久久一级欧美特大黄孕妇| 日韩成人中文字幕在线一区| 日韩欧美在线看一卡一卡|