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

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

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

【參考文獻(xiàn)】

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

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

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

3 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學(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];計算機工程與應(yīng)用;2009年07期

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[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年

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

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

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

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

4 馬駿;基于格蘊涵代數(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 李文江;基于格蘊涵代數(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 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學(xué);2010年

2 黃阿敏;基于蘊涵算子族的模糊邏輯理論[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ù)問題的研究[D];山東大學(xué);2010年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國重要報紙全文數(shù)據(jù)庫 前10條

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

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

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

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

5 郭韋鈺 丁連紅;語義Web和語義網(wǎng)格[N];中國計算機報;2004年

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

7 馬振兵;加強黨員違紀(jì)案件審理報告的說理性[N];鎮(zhèn)江日報;2008年

8 李建會;人工智能：挑戰(zhàn)人類智慧的科學(xué)[N];科技日報;2000年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 榮凌燕;XML多值依賴問題的研究[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ī)范化存儲[D];南京師范大學(xué);2007年

，

本文編號：747126