本文選題：命題邏輯 + 誘導(dǎo)函數(shù)　； 參考：《電子學(xué)報(bào)》2006年02期

【摘要】：在二值命題邏輯、各類n值命題邏輯和各類模糊命題邏輯中引入了命題的誘導(dǎo)函數(shù)的概念,在此基礎(chǔ)上分別就離散和連續(xù)情形利用均勻概率空間的無窮乘積和積分語義學(xué)方法引入了命題的真度概念.其次,基于演繹定理建立了程度化的近似推理理論.最后,提出了有限邏輯理論的相容度理論.
[Abstract]:The concept of inductive function of propositions is introduced in binary propositional logic, n-valued propositional logic and fuzzy propositional logic. On this basis, the concept of truth degree of propositions is introduced for discrete and continuous cases, respectively, by means of infinite product and integral semantics of uniform probabilistic space. Secondly, an approximate reasoning theory based on deductive theorem is established. Finally, the compatibility degree theory of finite logic theory is proposed.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)研究所 西安高技術(shù)研究所
【基金】：國(guó)家自然科學(xué)基金(No.1033101060272022)
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

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

1 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

2 王國(guó)俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準(zhǔn)真度理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

3 王國(guó)俊,宋慶燕;一種新型的三I算法及其邏輯基礎(chǔ)[J];自然科學(xué)進(jìn)展;2003年06期

【共引文獻(xiàn)】

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

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

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

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

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

5 李立峰;;一類基于R_0蘊(yùn)涵算子的模糊概念格[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年02期

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

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

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

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

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

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

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

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

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

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

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

9 潘小東;;模糊一階邏輯研究進(jìn)展綜述[A];第十屆中國(guó)不確定系統(tǒng)年會(huì)、第十四屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2012年

10 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

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

1 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

2 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

3 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

4 韓召偉;幾類基于量子邏輯的自動(dòng)機(jī)的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

5 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

6 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

7 鄒麗;基于語言真值格蘊(yùn)涵代數(shù)的格值命題邏輯及其歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2010年

8 于海田;民航安全分析與管理研究[D];上海大學(xué);2011年

9 范永青;幾類復(fù)雜動(dòng)態(tài)系統(tǒng)穩(wěn)定及同步控制研究[D];廣東工業(yè)大學(xué);2012年

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

相關(guān)碩士學(xué)位論文 前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ù)問題的研究[D];山東大學(xué);2010年

8 趙力;模糊推理的三Ⅰ算法研究[D];山東大學(xué);2010年

9 吳媛;剩余格的模糊濾子和廣義模糊濾子[D];西北大學(xué);2011年

10 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

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

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

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

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

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

4 李洪興,苗志宏,王加銀,李洪興,李洪興;四級(jí)倒立擺的變論域自適應(yīng)模糊控制[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年01期

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

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

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

8 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

9 裴道武;形式演繹系統(tǒng)L~*中的懔運(yùn)算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

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

【相似文獻(xiàn)】

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

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

2 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學(xué)學(xué)報(bào);2004年04期

3 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

4 馬麗娜;王國(guó)俊;;Lukasiewicz三值邏輯中命題的真度值之集在[0,1]上的分布[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2009年10期

5 關(guān)曉紅;李駿;;一種非均勻概率空間下邏輯系統(tǒng)G_3中命題的真度理論[J];蘭州理工大學(xué)學(xué)報(bào);2009年05期

6 隋云云;;邏輯系統(tǒng)L_4~2中公式的相似度[J];濰坊學(xué)院學(xué)報(bào);2011年04期

7 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年02期

8 何應(yīng)燦;真值表的判定方法[J];思維與智慧;1982年06期

9 王國(guó)俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準(zhǔn)真度理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

10 左衛(wèi)兵;;邏輯系統(tǒng)G_3在非均勻概率空間下命題的真度理論[J];數(shù)學(xué)研究;2008年02期

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

1 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

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

3 徐揚(yáng);;基于格值命題邏輯L_(vpl)的近似推理[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

4 程里春;;近似推理的幾個(gè)定理[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

5 任平;喻東;黃穎強(qiáng);;近似推理模式的行為科學(xué)研究[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

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

7 張永清;;準(zhǔn)優(yōu)模糊蘊(yùn)涵與近似推理[A];數(shù)學(xué)及其應(yīng)用文集——中南模糊數(shù)學(xué)和系統(tǒng)分會(huì)第三屆年會(huì)論文集（上卷）[C];1995年

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

9 徐揚(yáng);;格值命題邏輯公式及其L真(假)性[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

10 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

相關(guān)重要報(bào)紙文章 前10條

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日?qǐng)?bào);2009年

2 佟佳芳;奮斗攻關(guān)四十載 自主創(chuàng)新結(jié)碩果[N];科技日?qǐng)?bào);2009年

3 高南生（作者單位：秦安縣教師進(jìn)修學(xué)校）;中學(xué)數(shù)學(xué)學(xué)習(xí)指南[N];甘肅日?qǐng)?bào);2005年

4 王蘇伊 王立嘉;想在北京買假名牌難了[N];市場(chǎng)報(bào);2005年

5 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢(shì)及其對(duì)我們的啟示[N];光明日?qǐng)?bào);2008年

6 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

7 賈春華 王永炎;“方證論治系統(tǒng)”原理論思考[N];中國(guó)中醫(yī)藥報(bào);2006年

8 哲科;哲學(xué)所舉辦第二屆青年學(xué)術(shù)論壇[N];中國(guó)社會(huì)科學(xué)院院報(bào);2008年

9 小馬;走近LCD[N];中國(guó)電腦教育報(bào);2002年

10 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

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

1 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

2 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

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

4 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

5 孫燕;基于機(jī)器學(xué)習(xí)技術(shù)的《傷寒論》方證分析方法研究[D];北京中醫(yī)藥大學(xué);2007年

6 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2006年

7 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

8 白治江;基于遺傳算法的模糊系統(tǒng)研究[D];華東師范大學(xué);2006年

9 俞峰;基于直覺區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

10 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

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

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

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

3 李海亞;n值SMTL系統(tǒng)中命題的∑-（[α，β]-真度）理論[D];蘭州理工大學(xué);2012年

4 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

5 謝晶晶;L_n系統(tǒng)和L_n*系統(tǒng)中的真度理論[D];陜西師范大學(xué);2012年

6 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

7 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

8 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對(duì)Γ-重言度理論[D];陜西師范大學(xué);2008年

9 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學(xué);2006年

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

，

本文編號(hào)：1891334