本文關(guān)鍵詞：模糊邏輯系統(tǒng)公理真度分析

  更多相關(guān)文章： 公理 G銉del系統(tǒng) Lukasiewicz系統(tǒng) R系統(tǒng) 真度

【摘要】：分別對Lukasiewicz邏輯系統(tǒng)中的公理在R0系統(tǒng)和G銉del系統(tǒng)中的真度大小、R0系統(tǒng)邏輯系統(tǒng)中的公理在Lukasiewicz系統(tǒng)和中G銉del系統(tǒng)的真度大小和G銉del邏輯系統(tǒng)中的公理在R0系統(tǒng)和Lukasiewicz系統(tǒng)中的真度大小進(jìn)行了計算和分析,從真度方面研究和分析了常用邏輯系統(tǒng)之間的關(guān)系。
【作者單位】： 聊城大學(xué)數(shù)學(xué)科學(xué)學(xué)院;
【關(guān)鍵詞】： 公理 G銉del系統(tǒng) Lukasiewicz系統(tǒng) R系統(tǒng) 真度
【基金】：國家自然科學(xué)基金資助項目(60875034) 聊城大學(xué)科學(xué)項目(X081001)
【分類號】：O141.1
【正文快照】： 1引言數(shù)理邏輯的特點(diǎn)在于符號化和形式化,它和計算數(shù)學(xué)有著截然不同的風(fēng)格,我就可以把計算數(shù)學(xué)的思想融入到數(shù)理邏輯中,使其更為靈活并擴(kuò)大其應(yīng)用范圍。王國俊教授先后提出了模糊值、二值、n值命題邏輯公式真度的理論[1-2]。在現(xiàn)實生活中,經(jīng)典邏輯是研究非真即假命題的邏輯,

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前3條

1 張興芳;孟廣武;;一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用[J];計算機(jī)科學(xué);2005年10期

2 張興芳;孟廣武;張安英;;蘊(yùn)涵算子族及其應(yīng)用[J];計算機(jī)學(xué)報;2007年03期

3 張興芳;王國俊;孟廣武;;一階模糊謂詞邏輯公式的區(qū)間解釋真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2006年02期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 許文艷,韓誠;R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2003年04期

2 蘇忍鎖;蘊(yùn)涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2004年02期

3 尤飛,馮艷賓,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅰ)——模糊蘊(yùn)涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2003年05期

4 尤飛,馮艷賓,王加銀,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅱ)——模糊蘊(yùn)涵算子的伴隨對及其圈乘算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年02期

5 尤飛,楊昔陽,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角模或余三角模構(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年04期

6 尤飛,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅳ)——模糊蘊(yùn)涵算子的對偶算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年05期

7 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2005年02期

8 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

9 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

10 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(自然科學(xué)版);2003年01期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學(xué);2001年

2 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

3 趙光峰;格蘊(yùn)涵代數(shù)與圖的升分解問題的研究[D];西南交通大學(xué);2002年

4 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學(xué);2002年

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

6 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學(xué);2002年

7 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學(xué);2002年

8 李海明;關(guān)于格值邏輯及自動推理的研究[D];西南交通大學(xué);2003年

9 沈暉;基于知識管理的企業(yè)集成支撐技術(shù)研究[D];清華大學(xué);2003年

10 劉曉紅;關(guān)于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學(xué);2004年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問題[D];陜西師范大學(xué);2001年

2 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

4 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

5 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

8 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

9 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

【二級參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 尤飛,楊昔陽,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角模或余三角模構(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年04期

2 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(自然科學(xué)版);2003年01期

3 任芳;L~*系統(tǒng)中由單個原子生成的公式的真值函數(shù)的特征[J];工程數(shù)學(xué)學(xué)報;2005年03期

4 王國俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國科學(xué)A輯;2001年11期

5 王國俊;模糊推理的全蘊(yùn)涵三I算法[J];中國科學(xué)E輯;1999年01期

6 張興芳;孟廣武;;一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用[J];計算機(jī)科學(xué);2005年10期

7 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報;1997年10期

8 王國俊;MV-代數(shù)、BL-代數(shù)、R_0-代數(shù)與多值邏輯[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

9 裴道武;一階形式系統(tǒng)K~*及其完備性[J];數(shù)學(xué)年刊A輯(中文版);2002年06期

10 喬全喜，徐揚(yáng);蘊(yùn)涵算子[J];西南交通大學(xué)學(xué)報;1995年02期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 郭巍;郭應(yīng)煥;郭振華;朱玉蘭;;地圖染色定理的證明[J];前沿科學(xué);2011年02期

2 王猛;張興芳;;帶有不確定時間的單機(jī)加權(quán)成套訂單數(shù)問題[J];聊城大學(xué)學(xué)報(自然科學(xué)版);2011年01期

3 岳宗超;張興芳;;基于不確定理論的短期風(fēng)險模型[J];聊城大學(xué)學(xué)報(自然科學(xué)版);2011年01期

4 王若鵬;;席位公平分配問題Q值法的改進(jìn)[J];北京石油化工學(xué)院學(xué)報;2011年02期

5 呂國亮;余保民;;由多項擬陣函數(shù)f所確定的擬陣M_f的秩r_f[J];科學(xué)技術(shù)與工程;2011年20期

6 王世強(qiáng);;兩種形式的素數(shù)與攣生素數(shù)猜想[J];汕頭大學(xué)學(xué)報(自然科學(xué)版);2011年03期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 邢滔滔;;Mycielski的有窮數(shù)學(xué)[A];1998年邏輯研究專輯[C];1998年

2 陳鵬;;模糊拓?fù)淇臻g兩組度量公理的等價性及度量化[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

3 魏權(quán)齡;;DEA及其經(jīng)濟(jì)背景[A];中國運(yùn)籌學(xué)會第七屆學(xué)術(shù)交流會論文集（上卷）[C];2004年

4 王國俊;;Fuzzy邏輯與有序代數(shù)[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

5 霍書全;鞠實兒;;SLO的代數(shù)結(jié)構(gòu)[A];開放類邏輯論文集[C];2004年

6 孫紅霞;張強(qiáng);;基于心態(tài)指標(biāo)Shapley值的利益分配問題[A];第十一屆中國管理科學(xué)學(xué)術(shù)年會論文集[C];2009年

7 龐善起;秦克云;趙希順;王雪生;;模糊邏輯與二值邏輯[A];模糊數(shù)學(xué)和系統(tǒng)成果會論文集[C];1991年

8 張冠軍;姜豪;;非負(fù)偏序BCH—代數(shù)的性質(zhì)[A];數(shù)學(xué)·物理·力學(xué)·高新技術(shù)研究進(jìn)展（一九九六·第六期）——中國數(shù)學(xué)力學(xué)物理學(xué)高新技術(shù)交叉研究會第6屆學(xué)術(shù)研討會論文集[C];1996年

9 龐彥軍;王曉睿;栗文國;;模糊關(guān)系矩陣合成運(yùn)算中t范數(shù)的不完備性[A];第八屆中國青年運(yùn)籌信息管理學(xué)者大會論文集[C];2006年

10 劉文奇;;關(guān)于隸屬度函數(shù)的攝動分解的注記[A];模糊數(shù)學(xué)和系統(tǒng)成果會論文集[C];1991年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前6條

1 孫康;n人合作博弈理論、方法及其在戰(zhàn)略聯(lián)盟上的應(yīng)用[D];大連理工大學(xué);2005年

2 李金紅;抽象素數(shù)定理及廣義黎曼假設(shè)的判別準(zhǔn)則[D];山東大學(xué);2009年

3 王貴寶;感知信息熵測度及其在可靠性工程中的應(yīng)用研究[D];電子科技大學(xué);2009年

4 陳立中;中國轉(zhuǎn)型時期城鎮(zhèn)貧困測度研究[D];華中科技大學(xué);2007年

5 郭麗娜;非廣延統(tǒng)計中的氣體熱容及雙參數(shù)廣義統(tǒng)計[D];天津大學(xué);2010年

6 郭曉林;有害物品運(yùn)輸風(fēng)險度量模型及其應(yīng)用研究[D];西南交通大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 張鑫;概率論公理化進(jìn)程的歷史研究[D];山東大學(xué);2012年

2 柴日升;雙重Ockham代數(shù)的相關(guān)子代數(shù)[D];汕頭大學(xué);2008年

3 曾玉娥;三角范疇中的兩個問題[D];上海交通大學(xué);2011年

4 陳琢;數(shù)學(xué)抽象度理論及其應(yīng)用[D];東北大學(xué);2006年

5 張忠;閉模糊擬陣的超平面公理[D];重慶大學(xué);2004年

6 張會平;關(guān)于純擴(kuò)充的BHW定理的推廣[D];河南大學(xué);2001年

7 甘曉麗;基于描述邏輯的概念建模研究[D];廣西師范大學(xué);2006年

8 劉萌;改進(jìn)后的綜合DEA模型及其靈敏度分析[D];上海交通大學(xué);2007年

9 陳婕;Disjunctive命題的模型理論[D];上海師范大學(xué);2007年

10 王少龍;模糊多目標(biāo)多人合作對策及其解的研究[D];重慶大學(xué);2009年

，

本文編號：777143