發(fā)布時間：2017-08-21 08:20

  本文關(guān)鍵詞：Lukasiewicz命題邏輯系統(tǒng)中真度的等價定義及相關(guān)性質(zhì)

  更多相關(guān)文章： 計量邏輯學(xué) Lukasiewicz命題邏輯 真度定義 等價形式 推理規(guī)則

【摘要】：對Lukasiewicz命題邏輯系統(tǒng)中的公式真度理論進行了研究.首先,給出了Lukasiewiczn值命題邏輯系統(tǒng)中一個更為直觀的真度定義的等價形式;其次,利用真度定義的等價形式簡化了連接Lukasiewiczn值命題邏輯系統(tǒng)和Lukasiewicz連續(xù)值命題邏輯系統(tǒng)中真度理論的極限定理的證明;第三,得到了真度性質(zhì):在Lukasiewicz邏輯系統(tǒng)中,把命題公式中的原子命題與該原子命題的否定互換,公式的真度不變;第四,討論了真度與推理規(guī)則之間的關(guān)系,給出了Lukasiewicz命題邏輯系統(tǒng)中真度與MP規(guī)則的精確關(guān)系式以及關(guān)于真度并推理規(guī)則的結(jié)果.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： 計量邏輯學(xué) Lukasiewicz命題邏輯 真度定義 等價形式 推理規(guī)則
【基金】：國家自然科學(xué)基金(11171196)~~
【分類號】：O141.1
【正文快照】： 1引引言言數(shù)理邏輯的特點在于符號化和形式化,它以精確的、形式化的推理方法為顯著特征,這種方法與數(shù)值計算有明顯的不同.隨著人工智能的發(fā)展和模糊推理的研究,形式推理與數(shù)值計算相融合的方法近年來受到了廣泛的關(guān)注.20世紀70年代,Pavelka在系列文章[1]中用“指派真值”來反

【參考文獻】

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

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

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

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

4 李駿;王國俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國科學(xué)E輯:信息科學(xué);2006年06期

5 李駿;王國俊;;n值Lkasiewicz命題邏輯中命題的α-真度理論[J];計算機工程與應(yīng)用;2006年31期

6 吳洪博;;命題邏輯系統(tǒng)L_n~*中公式關(guān)于有限理論的Σ_Γ-真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2008年04期

7 韓邦合;李永明;;計量邏輯學(xué)中的近似推理[J];模糊系統(tǒng)與數(shù)學(xué);2010年05期

8 劉華文;王國俊;張誠一;;幾種邏輯系統(tǒng)中的近似推理理論[J];山東大學(xué)學(xué)報(理學(xué)版);2007年07期

9 吳洪博,陳景林;L~*系統(tǒng)的半對偶形式系統(tǒng)S“非漢字符號”~*[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2001年04期

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

【共引文獻】

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

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

2 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報;2009年06期

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

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

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

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

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

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

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

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

中國重要會議論文全文數(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 惠小靜;;關(guān)于命題獨立性的一點注記[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

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

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

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

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

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

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

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

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

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

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

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

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

中國碩士學(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 許筱婷;基于本體論的知識表達[D];湘潭大學(xué);2010年

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

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

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

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

【二級參考文獻】

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

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

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

3 何穎俞,王國俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡化形式[J];工程數(shù)學(xué)學(xué)報;1998年01期

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

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

6 陸汝鈐,應(yīng)明生;知識推理的一個模型[J];中國科學(xué)E輯:技術(shù)科學(xué);1998年04期

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

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

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

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

【相似文獻】

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

1 巫偉亮;;一個多參數(shù)反向Hilbert型積分不等式[J];華南師范大學(xué)學(xué)報(自然科學(xué)版);2008年04期

2 黃臻曉;;一個-4齊次核的Hilbert型積分不等式[J];華南師范大學(xué)學(xué)報(自然科學(xué)版);2009年02期

3 黃臻曉;;一個-4λ齊次核的Hilbert型積分不等式[J];湛江師范學(xué)院學(xué)報;2009年03期

4 黃臻曉;;一個逆向的Hilbert型積分不等式及其等價式[J];山西師范大學(xué)學(xué)報(自然科學(xué)版);2010年02期

5 黃臻曉;;一個具有混合核的新的Hilbert型積分不等式[J];數(shù)學(xué)的實踐與認識;2010年11期

6 候光林;對等差數(shù)列兩種“等價形式”的認識[J];數(shù)學(xué)通報;1996年11期

7 鐘五一;楊必成;;一個新的Hilbert型積分不等式的含多參數(shù)的最佳推廣[J];江西師范大學(xué)學(xué)報(自然科學(xué)版);2007年04期

8 鐘五一;;一個Hilbert型不等式的含多參量的最佳推廣[J];廣東教育學(xué)院學(xué)報;2007年05期

9 黃臻曉;;一個Hilbert型積分不等式的含多參數(shù)的最佳推廣[J];數(shù)學(xué)理論與應(yīng)用;2009年01期

10 陶娜娜;余平洋;;模糊隨機約束等價形式的有效性[J];開封大學(xué)學(xué)報;2009年02期

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

1 曹炳元;;分式絕對值幾何規(guī)劃的等價形式[A];中國運籌學(xué)會第七屆學(xué)術(shù)交流會論文集（上卷）[C];2004年

2 陳東彥;滕春賢;姚鋒敏;;MPEC等價形式的研究[A];中國運籌學(xué)會第八屆學(xué)術(shù)交流會論文集[C];2006年

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

4 戎曉霞;李霞;;一類隨機規(guī)劃的等價形式[A];2004年中國管理科學(xué)學(xué)術(shù)會議論文集[C];2004年

5 王長鈺;;廣義半無限極大極小規(guī)劃的一階最優(yōu)性條件[A];2006年中國運籌學(xué)會數(shù)學(xué)規(guī)劃分會代表會議暨第六屆學(xué)術(shù)會議論文集[C];2006年

6 姚鋒敏;滕春賢;陳東彥;;價格控制問題的精確罰等價[A];中國運籌學(xué)會第八屆學(xué)術(shù)交流會論文集[C];2006年

7 馬建華;劉家壯;;一類非增值型雙線性雙層規(guī)劃的對偶[A];中國運籌學(xué)會第六屆學(xué)術(shù)交流會論文集（下卷）[C];2000年

8 陳東彥;畢海云;;離散時間代數(shù)Riccati方程解矩陣的跡的下界[A];第二十六屆中國控制會議論文集[C];2007年

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

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

2 方芩;組合分析中若干問題的研究[D];大連理工大學(xué);2008年

3 彭興璇;三角剖分上的多元有理樣條及其應(yīng)用[D];大連理工大學(xué);2006年

4 李秀紅;粗糙集的模糊刻畫與知識顆粒特征研究[D];山東大學(xué);2006年

5 李佳民;求解帶平衡約束數(shù)學(xué)規(guī)劃問題的組合同倫內(nèi)點方法[D];吉林大學(xué);2007年

6 陳雪生;Abel群中子集和的一些問題[D];中南大學(xué);2006年

7 張韶華;歐幾里德算法及相關(guān)問題研究[D];山東大學(xué);2010年

8 高永;分拆恒等式的組合證明[D];南開大學(xué);2009年

9 陳偉;0-1二次規(guī)劃的全局最優(yōu)性條件及算法[D];上海大學(xué);2005年

10 陳曉靜;互反級數(shù)關(guān)系與經(jīng)典組合恒等式[D];大連理工大學(xué);2010年

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

1 姚鋒敏;均衡約束數(shù)學(xué)規(guī)劃的若干理論及應(yīng)用研究[D];哈爾濱理工大學(xué);2007年

2 韓邦合;計量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

3 王志勇;投資組合模型的幾種等價形式[D];大連理工大學(xué);2007年

4 李博;帶有w-距離的向量值Ekeland變分原理及其等價形式[D];蘇州大學(xué);2009年

5 鄭桂梅;不動點定理的一些等價形式及推廣[D];貴州大學(xué);2006年

6 陳建芮;變分不等式的兩類新算法[D];內(nèi)蒙古工業(yè)大學(xué);2007年

7 曾玉娥;三角范疇中的兩個問題[D];上海交通大學(xué);2011年

8 衛(wèi)福山;C*-代數(shù)的跡秩及其擬對角擴張[D];華東師范大學(xué);2006年

9 張振環(huán);（2+1）維可積非均勻海森堡鐵磁鏈方程的延拓結(jié)構(gòu)[D];首都師范大學(xué);2007年

10 宋翔;量子（流體）方程零Debye長度極限的漸近格式[D];首都師范大學(xué);2008年

，

本文編號：711805