本文關(guān)鍵詞：模糊邏輯系統(tǒng)中公式的積分真度和偽距離

  更多相關(guān)文章： 邏輯系統(tǒng)■~* 公式 積分真度 偽距離

【摘要】：在賦值格為[0,1]的模糊邏輯系統(tǒng)L~*中,本文利用序結(jié)構(gòu)和賦值函數(shù)的性質(zhì)研究公式的積分真度和偽距離,導(dǎo)出了積分真度和偽距離的若干性質(zhì),并且給出了在邏輯度量空間中邏輯運(yùn)算關(guān)于偽距離均連續(xù)這一重要定理的簡(jiǎn)潔證明。該方法避開(kāi)了多重積分的復(fù)雜計(jì)算;研究結(jié)果不僅可以用于公式的積分真度和偽距離的簡(jiǎn)化計(jì)算或合理估值,而且拓寬了邏輯度量空間理論的發(fā)散度與相容度以及近似推理的研究思路。
【作者單位】： 鹽城師范學(xué)院數(shù)學(xué)科學(xué)學(xué)院;
【關(guān)鍵詞】： 邏輯系統(tǒng)■~* 公式 積分真度 偽距離
【基金】：江蘇省高校自然科學(xué)基礎(chǔ)研究項(xiàng)目(08KJD110008)~~
【分類號(hào)】：O141.1
【正文快照】： 1引言計(jì)量邏輯學(xué)理論11一4]的基本內(nèi)容是在命題邏輯系統(tǒng)中引進(jìn)公式的真度理論，并在此基礎(chǔ)上提出公式間的相似度和偽距離概念，進(jìn)而研究邏輯度量空間的基本性質(zhì)、邏輯理論的發(fā)散度與相容度及近似推理的模式。所以公式的真度及公式間的偽距離是計(jì)量邏輯學(xué)研究的主要問(wèn)題之一[l

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

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

3 王國(guó)俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國(guó)科學(xué)E輯:信息科學(xué);2005年06期

4 崔美華;徐羅山;周純陽(yáng);;邏輯系統(tǒng)′Luk中命題積分真度的若干等式與不等式[J];模糊系統(tǒng)與數(shù)學(xué);2009年05期

【共引文獻(xiàn)】

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

1 劉保翠;王國(guó)俊;;命題集F(S)基于相似關(guān)系定義的拓?fù)鋄J];安康學(xué)院學(xué)報(bào);2007年03期

2 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運(yùn)算研究[J];北京科技大學(xué)學(xué)報(bào);2007年S2期

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

4 劉東利,茹永梅;經(jīng)典二值邏輯系統(tǒng)L中的MT問(wèn)題[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

5 段景瑤;王國(guó)俊;;Boole代數(shù)的等價(jià)刻畫[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年03期

6 杜亞靈;尹貽林;;基于模糊邏輯的公共項(xiàng)目風(fēng)險(xiǎn)分配模型[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

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

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

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

10 孟艷平;;基于相似度的信息權(quán)重模糊推理方法[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

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

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年

8 惠小靜;;關(guān)于命題獨(dú)立性的一點(diǎn)注記[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

9 潘小東;徐揚(yáng);;基于格值命題邏輯的語(yǔ)言真值不確定性推理方法[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2010年

10 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2010年

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

1 權(quán)義寧;基于L-模糊集的P2P信任模型及應(yīng)用研究[D];西安電子科技大學(xué);2009年

2 王一飛;離心式冷水機(jī)組智能故障診斷系統(tǒng)的研究與開(kāi)發(fā)[D];天津大學(xué);2010年

3 高欣;不確定測(cè)度及其應(yīng)用[D];清華大學(xué);2009年

4 劉學(xué)生;基于粗集的不確定多屬性決策排序法的研究[D];大連理工大學(xué);2009年

5 焦曉佑;智能工程推理機(jī)制研究及其在電力供需平衡復(fù)雜性分析中的應(yīng)用[D];北京交通大學(xué);2009年

6 林立新;SS7E電力機(jī)車電氣系統(tǒng)的故障診斷技術(shù)研究[D];中南大學(xué);2008年

7 李小申;三維模糊集[D];大連理工大學(xué);2009年

8 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

9 常之艷;基于格值一階邏輯系統(tǒng)的不確定性推理及其應(yīng)用研究[D];西南交通大學(xué);2010年

10 潘小東;關(guān)于格值邏輯及其語(yǔ)言真值不確定性推理研究[D];西南交通大學(xué);2010年

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

1 王曉寧;兩類模糊集的表現(xiàn)定理及其應(yīng)用[D];遼寧師范大學(xué);2009年

2 胡江山;幾種邏輯系統(tǒng)中命題真度的研究[D];山東大學(xué);2009年

3 隋云云;非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學(xué);2009年

4 宋佳;區(qū)間值模糊集與直覺(jué)模糊離散事件系統(tǒng)[D];陜西師范大學(xué);2010年

5 崔艷麗;R_0代數(shù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

6 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

7 江歡;模糊推理中CRI算法與全蘊(yùn)涵三I算法的等價(jià)性研究[D];西南大學(xué);2009年

8 劉賢江;Loomis-Sikorski表現(xiàn)定理及IMTL代數(shù)上的素布爾濾子格[D];湖南師范大學(xué);2008年

9 周純陽(yáng);半群上的拓?fù)�、偏序和相關(guān)Domain[D];揚(yáng)州大學(xué);2009年

10 朱芳芳;正則剩余格的*-理想及其性質(zhì)[D];揚(yáng)州大學(xué);2009年

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

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

1 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問(wèn)題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報(bào);2004年02期

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

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

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

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

6 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

7 宋士吉,吳澄;模糊推理的反向三I算法[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

8 裴道武,王國(guó)俊;形式系統(tǒng)L~*的擴(kuò)張L_n~*及其完備性[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2003年04期

9 王國(guó)俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國(guó)科學(xué)E輯:信息科學(xué);2005年06期

10 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

【相似文獻(xiàn)】

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

1 楊小薈;楊濤;李冬霞;;土力學(xué)課程的教學(xué)方法探討[J];山西建筑;2010年02期

2 朱慶峰;;局部Lipschitz條件下的帶跳倒向重隨機(jī)微分方程[J];煙臺(tái)大學(xué)學(xué)報(bào)(自然科學(xué)與工程版);2010年01期

3 惠小靜;;三值R_0命題邏輯系統(tǒng)中理論的隨機(jī)發(fā)散度[J];應(yīng)用數(shù)學(xué)學(xué)報(bào);2010年01期

4 于西昌;譚桂梅;張興芳;;命題邏輯系統(tǒng)中公式的概率真度理論[J];計(jì)算機(jī)工程與應(yīng)用;2010年05期

5 楊春宇;彭禮紅;;旅游地游客量預(yù)測(cè)模型新方法初探——以貴州省為例[J];技術(shù)經(jīng)濟(jì)與管理研究;2010年01期

6 ;征稿簡(jiǎn)則[J];力學(xué)與實(shí)踐;2010年01期

7 孫昊月;王清;林堅(jiān)民;葉永紅;;雙曲線法和指數(shù)曲線法推算軟土地基沉降量的準(zhǔn)確性比較[J];煤炭技術(shù);2010年01期

8 王鐵利;施為兵;;利用密度測(cè)井計(jì)算孔隙度[J];煤炭技術(shù);2010年02期

9 饒連周;鄭曉霞;肖波齊;;聚焦部分相干渦旋光束作用在介質(zhì)球上的光阱力(英文)[J];強(qiáng)激光與粒子束;2010年01期

10 高傳昌;陳萍;;基于灰色理論的黃河主河槽平均高程變化預(yù)測(cè)[J];人民黃河;2010年01期

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

1 沈光林;溫東奇;施文莊;孔浩輝;黃菲;張心穎;;抽吸參數(shù)對(duì)卷煙焦油、煙堿和CO釋放量的影響研究[A];中國(guó)煙草學(xué)會(huì)2009年年會(huì)論文集[C];2009年

2 鄭亞琴;劉艷軍;佟紹成;;具有監(jiān)督控制功能的非線性系統(tǒng)的直接自適應(yīng)模糊控制[A];2009中國(guó)控制與決策會(huì)議論文集（1）[C];2009年

3 賀乃寶;高倩;龔成龍;馮源;姜長(zhǎng)生;;近空間飛行器模糊自適應(yīng)滑�？刂芠A];2009中國(guó)控制與決策會(huì)議論文集（3）[C];2009年

4 劉興國(guó);;備件儲(chǔ)備定額的自動(dòng)計(jì)算和改進(jìn)模式[A];十三省區(qū)市機(jī)械工程學(xué)會(huì)第五屆科技論壇論文集[C];2009年

5 賀乃寶;高倩;龔成龍;姜長(zhǎng)生;;近空間飛行器模糊自適應(yīng)滑�？刂芠A];2009年中國(guó)智能自動(dòng)化會(huì)議論文集（第一分冊(cè)）[C];2009年

6 馬殿同;;模糊控制在燒結(jié)混合加水上的應(yīng)用[A];中國(guó)計(jì)量協(xié)會(huì)冶金分會(huì)2008年會(huì)論文集[C];2008年

7 惠小靜;;關(guān)于命題獨(dú)立性的一點(diǎn)注記[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

8 刁彥華;樊洪明;趙耀華;;流體力學(xué)課程中公式的講授方法探討[A];土木建筑教育改革理論與實(shí)踐[C];2008年

9 王學(xué)元;;兩步法設(shè)定粗紗成形齒輪的經(jīng)驗(yàn)公式[A];2008全國(guó)現(xiàn)代紡紗技術(shù)研討會(huì)論文集[C];2008年

10 歐陽(yáng)宏志;陳洪云;;模擬電路故障診斷的現(xiàn)狀與發(fā)展[A];第二十屆電工理論學(xué)術(shù)年會(huì)論文集[C];2008年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 劉名;漢王放棄“i-phone”商標(biāo)與蘋果和解[N];中國(guó)貿(mào)易報(bào);2010年

2 本報(bào)記者 常曉虹;王立冬教授的民族院校教學(xué)管理探索之路[N];中國(guó)民族報(bào);2010年

3 林白芹;做王彥生那樣的老實(shí)人正派人[N];中國(guó)人事報(bào);2010年

4 湖北省雜文學(xué)會(huì)副會(huì)長(zhǎng) 教授 符號(hào);“可以……可以……也可以”[N];北京日?qǐng)?bào);2010年

5 本報(bào)實(shí)習(xí)記者 趙小英;春節(jié)消費(fèi) 防騙有術(shù)之 商場(chǎng)促銷“貓膩”五花八門[N];山西經(jīng)濟(jì)日?qǐng)?bào);2010年

6 木木;左曉蕾的困惑 經(jīng)濟(jì)學(xué)的困境[N];證券時(shí)報(bào);2010年

7 記者孔祥福、通訊員魏祖華、秦海波;南漳籍華裔教授陳剛獲選美國(guó)國(guó)家工程學(xué)院院士[N];湖北日?qǐng)?bào);2010年

8 本報(bào)記者 馬子雷;“被暢銷”圖書(shū)：眼球經(jīng)濟(jì)下的視覺(jué)暴力[N];中國(guó)文化報(bào);2010年

9 特約撰稿 佟彤;想得太多易上火[N];健康時(shí)報(bào);2010年

10 本報(bào)記者 孫自豪;社區(qū)服務(wù)功能建設(shè)待加強(qiáng)[N];洛陽(yáng)日?qǐng)?bào);2010年

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

1 林雷;機(jī)器人模糊控制策略研究[D];燕山大學(xué);2009年

2 康強(qiáng);不確定非線性系統(tǒng)的自適應(yīng)模糊控制[D];大連理工大學(xué);2009年

3 張應(yīng)奇;量化反饋鎮(zhèn)定與有限時(shí)間控制[D];鄭州大學(xué);2009年

4 武星星;模糊系統(tǒng)和ANFIS的改進(jìn)及其在加工參數(shù)智能選擇中的應(yīng)用研究[D];吉林大學(xué);2007年

5 陳剛;不確定非線性系統(tǒng)的魯棒自適應(yīng)控制研究[D];浙江大學(xué);2006年

6 張曉宇;非線性系統(tǒng)智能自適應(yīng)滑�？刂萍捌鋺�(yīng)用研究[D];浙江大學(xué);2006年

7 孫海蓉;模糊神經(jīng)網(wǎng)絡(luò)的研究及其應(yīng)用[D];華北電力大學(xué)（河北）;2006年

8 富海鷹;地鐵隧道非降水法施工引起的地表沉降的研究[D];西南交通大學(xué);2006年

9 夏世芬;基于Petri網(wǎng)模型的歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2006年

10 張新房;大型風(fēng)力發(fā)電機(jī)組的智能控制研究[D];華北電力大學(xué)（北京）;2005年

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

1 孫焱平;模糊邏輯中蘊(yùn)涵算子的構(gòu)造[D];南昌大學(xué);2010年

2 李寶智;高精高速數(shù)控機(jī)床直接驅(qū)動(dòng)系統(tǒng)魯棒抑振控制策略研究[D];沈陽(yáng)工業(yè)大學(xué);2010年

3 何如海;模糊邏輯系統(tǒng)在企業(yè)知識(shí)管理績(jī)效評(píng)價(jià)中的運(yùn)用[D];北京交通大學(xué);2009年

4 陳霞;基于模糊邏輯的軟件開(kāi)發(fā)項(xiàng)目風(fēng)險(xiǎn)評(píng)估研究[D];揚(yáng)州大學(xué);2009年

5 李卓;非線性大系統(tǒng)的非脆弱模糊控制研究[D];燕山大學(xué);2009年

6 張彥柳;基于改進(jìn)模糊聚類的模糊建模方法及其應(yīng)用研究[D];燕山大學(xué);2009年

7 田學(xué)靜;X-Y數(shù)控平臺(tái)模型辨識(shí)及力/位置控制研究[D];燕山大學(xué);2009年

8 邢迪;基于模糊系統(tǒng)穩(wěn)定性的設(shè)計(jì)方法[D];江蘇大學(xué);2009年

9 趙琳霖;蒸壓粉煤灰磚砌體干燥收縮性能試驗(yàn)研究[D];鄭州大學(xué);2009年

10 王繼偉;模糊邏輯信號(hào)強(qiáng)度識(shí)別算法的設(shè)計(jì)與驗(yàn)證[D];哈爾濱工業(yè)大學(xué);2009年

，

本文編號(hào)：867395