【摘要】：基于演繹定理和完備性定理研究了二值命題邏輯系統(tǒng)、Lukasiewicz命題邏輯系統(tǒng)和R0-命題邏輯系統(tǒng)的理論的發(fā)散度與近似推理,獲得了用Γ中公式的真度表示其發(fā)散度的計(jì)算公式和若干可用于近似推理的不等式。
[Abstract]:Based on deductive theorem and completeness theorem, the divergence degree and approximate reasoning of the theory of Lukasiewicz propositional logic system and R0-propositional logic system are studied. In this paper, a formula for calculating divergence of formulas in 螕 is obtained, and some inequalities for approximate reasoning are obtained.
【作者單位】： 泉州師范學(xué)院理工學(xué)院
【基金】：福建省自然科學(xué)基金資助項(xiàng)目(2006J0221)
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 裴道武,王國(guó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

9 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

10 馬盈倉(cāng),李駿;FMP和FMT的三I解及其性質(zhì)[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2005年02期

相關(guān)會(huì)議論文 前7條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國(guó)智能計(jì)算大會(huì)論文集[C];2007年

2 王茹;王國(guó)俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 郭秀敏;王國(guó)俊;;關(guān)于描述邏輯中不動(dòng)點(diǎn)語(yǔ)義的討論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 段巧林;王國(guó)俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

5 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

6 潘小東;徐揚(yáng);;基于Lukasiewicz蘊(yùn)涵代數(shù)的模糊命題邏輯的語(yǔ)法理論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

7 胡明娣;于鵬;王國(guó)俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)碩士學(xué)位論文 前10條

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wè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 賈國(guó)恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

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

相關(guān)期刊論文 前5條

1 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯;1998年02期

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

3 王國(guó)俊;三I方法與區(qū)間值模糊推理[J];中國(guó)科學(xué)E輯;2000年04期

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

5 王國(guó)俊;廣義MP規(guī)則[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年03期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 奇棘;談“社會(huì)主義現(xiàn)實(shí)主義”在美術(shù)創(chuàng)作中的一些問(wèn)題[J];美術(shù);1980年07期

2 張義漁,李飛;劉少奇同志對(duì)抗日民族統(tǒng)一戰(zhàn)線理論的貢獻(xiàn)[J];社會(huì)科學(xué);1980年02期

3 金守庚;辯證唯物論的一條重要原理[J];哲學(xué)研究;1980年01期

4 謝洪欣;是區(qū)分兩類不同的矛盾還是區(qū)分兩種不同的邏輯?[J];哲學(xué)研究;1980年01期

5 凌立坤;邏輯證明與實(shí)踐檢驗(yàn)[J];南昌大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1980年02期

6 王子碩;文學(xué)流派要用實(shí)踐作檢驗(yàn)[J];山西師大學(xué)報(bào)(社會(huì)科學(xué)版);1980年04期

7 張畢來(lái);略說(shuō)賈氏家塾中的師友之道——賈寶玉在科舉問(wèn)題上的思想局限性[J];文史哲;1980年05期

8 施蟄存;說(shuō)“飛動(dòng)”——讀杜小記[J];文藝?yán)碚撗芯?1980年02期

9 柯木火;試論對(duì)立面的斗爭(zhēng)性和同一性的關(guān)系[J];暨南學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1980年04期

10 勞;《美學(xué)詞典》進(jìn)行編寫[J];辭書研究;1980年04期

相關(guān)會(huì)議論文 前10條

1 張浩;王根軒;劉志強(qiáng);;生態(tài)城市思想、理論與建設(shè)技術(shù)[A];首屆長(zhǎng)三角科技論壇——生態(tài)環(huán)境與可持續(xù)發(fā)展分論壇論文集[C];2004年

2 楊衛(wèi)民;程源;;子午線輪胎CAD/CAE與優(yōu)化設(shè)計(jì)[A];2004年國(guó)際橡膠會(huì)議論文集(C)[C];2004年

3 黃自漢;;對(duì)創(chuàng)建學(xué)習(xí)型企業(yè)的思考[A];中國(guó)有色金屬學(xué)會(huì)——第二屆青年論壇學(xué)術(shù)會(huì)議論文集[C];2004年

4 何傳啟;;地區(qū)現(xiàn)代化的理論與戰(zhàn)略[A];地區(qū)現(xiàn)代化理論與實(shí)踐——第二期中國(guó)現(xiàn)代化研究論壇論文集[C];2004年

5 李進(jìn)興;雷軍;崔美花;候向輝;;氣測(cè)綜合解釋方法在塔里木盆地應(yīng)用探討[A];錄井技術(shù)文集（第四輯）[C];2004年

6 王愛(ài)玲;;適合國(guó)情的數(shù)控技術(shù)及數(shù)控裝備發(fā)展戰(zhàn)略探討[A];全國(guó)先進(jìn)制造技術(shù)高層論壇暨制造業(yè)自動(dòng)化、信息化技術(shù)研討會(huì)論文集[C];2005年

7 張加林;曹晉芳;文翔;;大力發(fā)展循環(huán)經(jīng)濟(jì)——任重而道遠(yuǎn)[A];中國(guó)環(huán)境保護(hù)優(yōu)秀論文集（2005）（上冊(cè)）[C];2005年

8 王曉剛;;孤獨(dú)研究的中國(guó)化[A];第十屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2005年

9 賈洪波;;運(yùn)用項(xiàng)目管理理論優(yōu)化氣象部門項(xiàng)目管理體系的初步研究[A];江西省氣象部門第二屆高級(jí)工程師技術(shù)述職報(bào)告會(huì)論文集[C];2005年

10 仇裕豐;李玉堂;哈團(tuán)柱;;穴位的定位與主治之我見(jiàn)[A];中國(guó)針灸學(xué)會(huì)臨床分會(huì)第三屆全國(guó)代表大會(huì)暨全國(guó)針灸臨床學(xué)術(shù)論壇論文集[C];2005年

相關(guān)博士學(xué)位論文 前10條

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

2 李愛(ài)萍;美國(guó)“國(guó)際教育”：歷史、理論與政策[D];華東師范大學(xué);2005年

3 吳振武;中西醫(yī)學(xué)抗衰老領(lǐng)域之機(jī)理及治法對(duì)比研究[D];廣州中醫(yī)藥大學(xué);2005年

4 王建明;企業(yè)綠色會(huì)計(jì)理論與實(shí)踐研究[D];南京農(nóng)業(yè)大學(xué);2005年

5 曹勇;小流量渦流管特性的理論與實(shí)驗(yàn)研究[D];浙江大學(xué);2003年

6 賈慶軍;改革開放以來(lái)中國(guó)貨幣政策理論與實(shí)踐的演變[D];復(fù)旦大學(xué);2005年

7 楊建勇;現(xiàn)代港口發(fā)展的理論與實(shí)踐研究[D];上海海事大學(xué);2005年

8 張黎黎;在永恒中結(jié)晶[D];蘇州大學(xué);2005年

9 王波;中國(guó)都市農(nóng)業(yè)創(chuàng)新論[D];四川大學(xué);2005年

10 景春華;城市經(jīng)營(yíng)的理論與實(shí)證研究[D];天津大學(xué);2005年

相關(guān)碩士學(xué)位論文 前10條

1 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

2 楊慧揚(yáng);馮健男文學(xué)批評(píng)研究[D];河北大學(xué);2005年

3 劉濤;中國(guó)共產(chǎn)黨三代領(lǐng)導(dǎo)集體政治誠(chéng)信觀探論[D];陜西師范大學(xué);2005年

4 臧術(shù)美;歐洲一體化主流理論的論爭(zhēng)、混合與超越[D];華東師范大學(xué);2005年

5 鄧滿娥;企業(yè)戰(zhàn)略管理會(huì)計(jì)研究[D];廣東工業(yè)大學(xué);2005年

6 劉衛(wèi)東;中國(guó)行政監(jiān)察現(xiàn)狀分析與對(duì)策研究[D];華東師范大學(xué);2005年

7 章炯凱;媒體素養(yǎng)教育的理論和實(shí)踐[D];華東師范大學(xué);2005年

8 陳麗;土地利用規(guī)劃理論方法與實(shí)證研究[D];山西農(nóng)業(yè)大學(xué);2004年

9 黃懋;發(fā)展中國(guó)農(nóng)產(chǎn)品行業(yè)協(xié)會(huì)的現(xiàn)實(shí)與理論探討[D];浙江大學(xué);2005年

10 郝永捚;增值稅轉(zhuǎn)型理論與實(shí)證研究[D];吉林大學(xué);2005年

，

本文編號(hào)：2172905