本文關(guān)鍵詞：一種S-蘊(yùn)涵模糊邏輯系統(tǒng)的真度理論

  更多相關(guān)文章： 積分真度 推理規(guī)則 S-蘊(yùn)涵

【摘要】：利用計(jì)量邏輯學(xué)中真度理論的思想,首次對(duì)S-蘊(yùn)涵的模糊邏輯系統(tǒng)的真度理論進(jìn)行研究.在模糊邏輯與語(yǔ)義解釋為乘積算子,蘊(yùn)涵解釋為其相應(yīng)S-蘊(yùn)涵的模糊邏輯系統(tǒng)中,借助邏輯公式A所誘導(dǎo)的函數(shù)引入邏輯公式A的積分真度概念,建立一種S-模糊邏輯系統(tǒng)下的真度理論,得到其真度推理規(guī)則.
【作者單位】： 西安工程大學(xué)理學(xué)院;準(zhǔn)格爾旗實(shí)驗(yàn)小學(xué);
【關(guān)鍵詞】： 積分真度 推理規(guī)則 S-蘊(yùn)涵
【基金】：國(guó)家自然科學(xué)基金(60775038) 陜西省教育廳專項(xiàng)科研計(jì)劃項(xiàng)目(2010JK567)
【分類號(hào)】：O141.1
【正文快照】： 0引言基于模糊集思想的近似推理理論是Zadeh在文獻(xiàn)[1]中首次提出的,它不同于人工智能領(lǐng)域所倡導(dǎo)的方法.人工智能學(xué)科強(qiáng)調(diào)符號(hào)操作,它扎根于邏輯之中,以語(yǔ)構(gòu)的形式展開自動(dòng)推理而根本不看重?cái)?shù)值計(jì)算,但基于模糊集的方法自然是離不開數(shù)值計(jì)算的.Zadeh的方法在于將二者相結(jié)合[2].

【參考文獻(xiàn)】

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

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

2 王國(guó)俊,錢桂生,黨創(chuàng)寅;命題演算系統(tǒng)L~*與謂詞演算系統(tǒng)κ~*中統(tǒng)一的近似推理理論[J];中國(guó)科學(xué)E輯:信息科學(xué);2004年10期

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

4 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

5 左衛(wèi)兵;;n值命題邏輯中的P-隨機(jī)真度及近似推理[J];計(jì)算機(jī)工程與應(yīng)用;2009年07期

6 韓邦合;王國(guó)俊;;二值邏輯中命題的條件真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2007年04期

7 惠小靜;劉興祥;;三值G銉del命題邏輯系統(tǒng)的隨機(jī)化[J];模糊系統(tǒng)與數(shù)學(xué);2009年04期

8 王國(guó)俊;時(shí)慧嫻;;n值邏輯系統(tǒng)L_n~*中廣義重言式的計(jì)量化研究[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

9 王國(guó)俊;高香妮;;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年05期

10 馬麗娜;王國(guó)俊;;廣義MP問(wèn)題的α-三Ⅰ解的形式化理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年02期

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

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

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

8 尤飛,楊昔陽(yáng),李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

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

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

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

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

10 ;The Randomization of R0-logic With Six-valued Nonlinear Valuation Set[A];Proceedings of 2010 International Conference on Broadcast Technology and Multimedia Communication(Volume 5)[C];2010年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前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ó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學(xué);2010年

2 黃阿敏;基于蘊(yùn)涵算子族的模糊邏輯理論[D];浙江理工大學(xué);2010年

3 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學(xué);2010年

4 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學(xué);2010年

5 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構(gòu)造及其概率表示[D];大連理工大學(xué);2010年

6 劉婷;軟集合理論在模糊邏輯代數(shù)中的應(yīng)用研究[D];江南大學(xué);2010年

7 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問(wèn)題的研究[D];山東大學(xué);2010年

8 劉匯洋;若干廣義t-模及相關(guān)模糊邏輯系統(tǒng)[D];寧波大學(xué);2010年

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

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

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

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

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

2 王國(guó)俊;惠小靜;;概率邏輯學(xué)基本定理的推廣[J];電子學(xué)報(bào);2007年07期

3 李駿;王國(guó)俊;;基于支持度理論的廣義MP問(wèn)題的形式化解[J];電子學(xué)報(bào);2008年11期

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

5 王國(guó)俊;劉保翠;;四種命題邏輯中公式的相對(duì)Γ-重言度理論[J];工程數(shù)學(xué)學(xué)報(bào);2007年04期

6 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

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

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

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

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

【相似文獻(xiàn)】

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

1 左衛(wèi)兵;張嘎;;一種五元格值邏輯上命題真度的分布[J];計(jì)算機(jī)工程與應(yīng)用;2011年22期

2 關(guān)曉紅;張海霞;;邏輯系統(tǒng)L*中公式的Γ-演繹真度理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年18期

3 陳偉;廖洲寶;何海志;劉俊邦;;模糊邏輯推理系統(tǒng)在目標(biāo)毀傷分析中的應(yīng)用[J];電光與控制;2008年11期

4 曹宏舉;;命題邏輯的推理的構(gòu)造法的改進(jìn)[J];中國(guó)城市經(jīng)濟(jì);2010年12期

5 紀(jì)岳;姚卿達(dá);董祖明;;函數(shù)依賴結(jié)構(gòu)與演繹圖[J];中山大學(xué)學(xué)報(bào)(自然科學(xué)版);1990年03期

6 康密軍;李云情;宋長(zhǎng)虹;魏志強(qiáng);;基于語(yǔ)義規(guī)則的普適計(jì)算隱私控制方法研究[J];中國(guó)海洋大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年03期

7 曹建樹;天氣預(yù)報(bào)的模糊推理[J];山東氣象;1989年04期

8 莫志浩;中介命題擴(kuò)張系統(tǒng)MP推理規(guī)則集的簡(jiǎn)化[J];南京航空航天大學(xué)學(xué)報(bào);2001年02期

9 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2002年03期

10 曾文飛;顏玲;;一個(gè)基于謂詞邏輯的金融投資輔助決策系統(tǒng)[J];邵陽(yáng)學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年01期

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

1 方毅;;牛頓的哲學(xué)推理規(guī)則之思考[A];第二屆中國(guó)科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

2 李喜初;;試論《易經(jīng)》符號(hào)系統(tǒng)的推理規(guī)則[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

3 高欣;;基于條件不確定性的不確定推理研究[A];第三屆中國(guó)智能計(jì)算大會(huì)論文集[C];2009年

4 姚旭晨;馬建強(qiáng);;幾個(gè)漢語(yǔ)典型語(yǔ)言現(xiàn)象的范疇語(yǔ)法分析[A];中國(guó)計(jì)算機(jī)語(yǔ)言學(xué)研究前沿進(jìn)展（2007-2009）[C];2009年

5 彭展;;一階謂詞系統(tǒng)的獨(dú)立性[A];2004年邏輯研究專輯[C];2004年

6 趙嵐;胡九川;;基于數(shù)據(jù)表的模糊推理規(guī)則生成法[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

7 趙新生;高善清;邢立新;許梅生;;炮兵軍用文書智能處理的主要模型及推理規(guī)則[A];計(jì)算機(jī)模擬與信息技術(shù)會(huì)議論文集[C];2001年

8 石翌軼;;基于前向鏈策略的RDF閉包生成技術(shù)研究[A];2008'中國(guó)信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

9 郭戈;王偉;柴天佑;;一種模糊方法在結(jié)晶器液位控制中的應(yīng)用[A];1997中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

10 張錦文;;推理與計(jì)算[A];邏輯學(xué)文集[C];1978年

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

1 丁柱杉;祿豐廟山小學(xué)嘗試開設(shè)兒童哲學(xué)課[N];楚雄日?qǐng)?bào)(漢);2007年

2 文/高君;網(wǎng)站流量緣何飚升？[N];計(jì)算機(jī)世界;2004年

3 劉達(dá);GOOGLE百度聯(lián)姻中國(guó)搜索堅(jiān)持“智能化”革命[N];中國(guó)經(jīng)營(yíng)報(bào);2004年

4 黃中;自控科技走向全面智能化[N];中國(guó)知識(shí)產(chǎn)權(quán)報(bào);2001年

5 郭韋鈺 丁連紅;語(yǔ)義Web和語(yǔ)義網(wǎng)格[N];中國(guó)計(jì)算機(jī)報(bào);2004年

6 朱林源;判決書“本院認(rèn)為”部分的寫作探討[N];江蘇經(jīng)濟(jì)報(bào);2000年

7 馬振兵;加強(qiáng)黨員違紀(jì)案件審理報(bào)告的說(shuō)理性[N];鎮(zhèn)江日?qǐng)?bào);2008年

8 李建會(huì);人工智能：挑戰(zhàn)人類智慧的科學(xué)[N];科技日?qǐng)?bào);2000年

9 丁麗芳;女性管理者在企業(yè)中的作用[N];發(fā)展導(dǎo)報(bào);2003年

10 李樹琦;邏輯推理與科學(xué)精神[N];中國(guó)社會(huì)科學(xué)報(bào);2011年

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

1 張忠平;基于約束的XML數(shù)據(jù)庫(kù)模式規(guī)范化研究[D];復(fù)旦大學(xué);2004年

2 談子敬;XML的完整性約束[D];復(fù)旦大學(xué);2003年

3 毛明毅;面向?qū)ο蟮膹V義空間邏輯運(yùn)算模型與推理研究[D];西北工業(yè)大學(xué);2006年

4 項(xiàng)森;基于邏輯的程序驗(yàn)證方法在高可信軟件開發(fā)上的應(yīng)用[D];中國(guó)科學(xué)技術(shù)大學(xué);2006年

5 華保健;一種用于指針程序安全性證明的指針邏輯[D];中國(guó)科學(xué)技術(shù)大學(xué);2008年

6 李兆鵬;匯編指針程序安全性驗(yàn)證的研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2008年

7 趙華偉;兩種安全協(xié)議形式化理論的研究[D];山東大學(xué);2006年

8 周平;基于格蘊(yùn)涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學(xué);2007年

9 王治綱;分布式環(huán)境中基于本體的RBAC策略研究[D];華中科技大學(xué);2006年

10 王振明;用于指針邏輯的自動(dòng)定理證明器的設(shè)計(jì)與實(shí)現(xiàn)[D];中國(guó)科學(xué)技術(shù)大學(xué);2009年

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

1 左麗娟;基于多Agent技術(shù)的電子商務(wù)模擬系統(tǒng)的研究與實(shí)現(xiàn)[D];河海大學(xué);2002年

2 孫麗娜;言語(yǔ)交際中的語(yǔ)用推理述評(píng)[D];燕山大學(xué);2009年

3 蘇召;XML弱函數(shù)依賴與單依賴集合的研究[D];燕山大學(xué);2007年

4 李明洋;基于本體的教育資源知識(shí)點(diǎn)推理研究[D];重慶大學(xué);2009年

5 林暉;專利信息檢索實(shí)驗(yàn)系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

6 榮凌燕;XML多值依賴問(wèn)題的研究[D];燕山大學(xué);2006年

7 陳莉;基于領(lǐng)域本體的智能搜索系統(tǒng)的研究和應(yīng)用[D];南京航空航天大學(xué);2008年

8 王其冰;本體查詢和推理規(guī)則在學(xué)科概念建模中的應(yīng)用[D];華東師范大學(xué);2009年

9 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學(xué);2006年

10 王梅娟;XML數(shù)據(jù)的規(guī)范化存儲(chǔ)[D];南京師范大學(xué);2007年

，

本文編號(hào)：747126