本文選題：Goguen命題邏輯系統(tǒng) + Γ-k真度��； 參考：《軟件學報》2017年07期

【摘要】：首先對n值Goguen命題邏輯進行公理化擴張,Goguen_(~,△),記為,Ⅱ_(~,△)利用公式的誘導函數(shù)給出公式在k(k任取~或Δ)連接詞下相對于局部有限理論Γ-k的Γ-k真度的定義;討論了Ⅱ_(~,△)中Γ-k真度的MP規(guī)則、HS規(guī)則等相關性質(zhì);最后,在Ⅱ_(~,△)中定義了兩公式間的Γ-k相似度與Γ-k偽距離,得到了公式在k連接詞下相對于局部有限理論Γ-k的Γ-k相似度與Γ-k偽距離所具有的一些良好性質(zhì).
[Abstract]:First, the axiomatic extension of n-valued Goguen propositional logic is given. In this paper, we discuss the MP rules and HS rules of 螕 -k trueness, and define the 螕 -k similarity between the two formulas and the pseudo-distance of 螕 -k. Some good properties of 螕 -k similarity degree and 螕 -k pseudo-distance of the formula under k-connectors are obtained relative to the local finite theory 螕 -k.
【作者單位】： 延安大學數(shù)學與計算機科學學院;
【基金】：國家自然科學基金(11471007) 陜西省自然科學基金(2014JM1020) 延安大學研究生創(chuàng)新基金資助項目(YCX201612)~~
【分類號】：O141

【參考文獻】

相關期刊論文 前10條

1 吳洪博;周建仁;;命題邏輯系統(tǒng)R_0L_(3n+1)中公式的Γ-真度及性質(zhì)[J];計算機學報;2015年08期

2 吳洪博;;Lukasiewicz命題邏輯中公式的Γ-真度理論和極限定理[J];中國科學:信息科學;2014年12期

3 惠小靜;;基于真值的SBL_～公理化擴張系統(tǒng)的計量化[J];中國科學:信息科學;2014年07期

4 折延宏;賀曉麗;;粗糙邏輯中公式的Borel型概率粗糙真度[J];軟件學報;2014年05期

5 周建仁;吳洪博;;Lukasiewicz命題邏輯系統(tǒng)中真度的等價定義及相關性質(zhì)[J];工程數(shù)學學報;2013年04期

6 惠小靜;;模糊邏輯系統(tǒng)中廣義有效推理的真度遞減定理[J];模糊系統(tǒng)與數(shù)學;2013年04期

7 周紅軍;;■ukasiewicz命題邏輯中命題的Borel概率真度理論和極限定理[J];軟件學報;2012年09期

8 惠小靜;;三值R_0命題邏輯系統(tǒng)的隨機化[J];應用數(shù)學學報;2009年01期

9 惠小靜;王國俊;;經(jīng)典推理模式的隨機化研究及其應用(Ⅱ)[J];模糊系統(tǒng)與數(shù)學;2008年03期

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

【共引文獻】

相關期刊論文 前10條

1 朱乃調(diào);惠小靜;高曉莉;高姣;;G?del n值命題邏輯系統(tǒng)的真度理論[J];計算機工程與應用;2017年11期

2 吳霞;張家錄;;隨機模糊環(huán)境下的命題邏輯真度理論[J];模式識別與人工智能;2017年04期

3 馬巧云;吳洪博;;經(jīng)典邏輯系統(tǒng)中的隨機化再研究[J];計算機科學與探索;2017年08期

4 周紅軍;蘭淑敏;馬琴;;概率計量邏輯研究進展簡述[J];模糊系統(tǒng)與數(shù)學;2017年01期

5 朱乃調(diào);惠小靜;高曉莉;高姣;;G?del n值命題邏輯系統(tǒng)中的Δ真度[J];模糊系統(tǒng)與數(shù)學;2016年06期

6 朱乃調(diào);惠小靜;高曉莉;;Gdel n值命題邏輯系統(tǒng)中命題公式的t真度及近似推理[J];計算機科學;2016年S2期

7 高曉莉;惠小靜;朱乃調(diào);;Goguen命題邏輯系統(tǒng)公理化擴張的Γ-k真度理論及性質(zhì)[J];軟件學報;2017年07期

8 高曉莉;惠小靜;朱乃調(diào);;n值?ukasiewicz邏輯系統(tǒng)中公式的向量表示及其研究[J];計算機科學;2016年S2期

9 李順琴;王小霞;;n值命題邏輯系統(tǒng)L_n~*中真度的等價定義及性質(zhì)[J];延安大學學報(自然科學版);2016年03期

10 吳洪博;王倫磊;;函數(shù)算術均值極限的黎曼積分形式及其在R_0命題邏輯中的應用[J];電子學報;2016年08期

【二級參考文獻】

相關期刊論文 前10條

1 時慧嫻;王國俊;;多值模態(tài)邏輯的計量化方法[J];軟件學報;2012年12期

2 時慧嫻;王國俊;;基于有限遷移系統(tǒng)的線性時態(tài)邏輯的計量化方法[J];模糊系統(tǒng)與數(shù)學;2012年05期

3 吳洪博;周建仁;;計量邏輯中真度的均值表示形式及應用[J];電子學報;2012年09期

4 王國俊;;一類一階邏輯公式中的公理化真度理論及其應用[J];中國科學:信息科學;2012年05期

5 周紅軍;王國俊;;Borel型概率計量邏輯[J];中國科學:信息科學;2011年11期

6 吳洪博;周建仁;張瓊;;(3n+1)值邏輯系統(tǒng)R_0L中公式的真度性質(zhì)[J];電子學報;2011年10期

7 ;Borel probabilistic and quantitative logic[J];Science China(Information Sciences);2011年09期

8 惠小靜;;概率邏輯學基本定理在多值命題邏輯系統(tǒng)中的推廣[J];應用數(shù)學學報;2011年02期

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

10 吳洪博;張瓊;;NML系統(tǒng)的有限強完備性[J];電子學報;2010年06期

【相似文獻】

相關期刊論文 前10條

1 齊冬冬;;淺談命題邏輯[J];學理論;2010年31期

2 唐金文;解析命題符號化[J];曲靖師范學院學報;2002年06期

3 李建湘,鄧康,湯四平;命題邏輯中的蘊涵置換法[J];數(shù)學理論與應用;2003年04期

4 徐鳳生;命題邏輯中的集合表示[J];計算機與現(xiàn)代化;2005年05期

5 李剛;李春;;命題邏輯簡化功能的應用[J];科技信息(學術研究);2007年04期

6 李立峰;張東曉;;概念格在二值命題邏輯命題集約簡中的應用[J];電子學報;2007年08期

7 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[J];模糊系統(tǒng)與數(shù)學;2009年03期

8 金樊;;推理有效性的判定方法及其特點比較——以命題邏輯為例[J];長春工程學院學報(社會科學版);2010年02期

9 張勝禮;;中介命題邏輯一種改進的無窮值語義模型[J];興義民族師范學院學報;2011年01期

10 陳敬華;胡松林;;關于命題邏輯中兩個問題的思考[J];湖北師范學院學報(自然科學版);2011年04期

相關會議論文 前9條

1 陳國勛;陳斌;;F-時態(tài)命題邏輯中的歸結(jié)原理[A];模糊數(shù)學和系統(tǒng)成果會論文集[C];1991年

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

3 賴家俊;潘小東;徐開俊;徐揚;;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結(jié)方法的研究[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 吳堅;;關于假言命題的真假問題的思考[A];1998年邏輯研究專輯[C];1998年

5 張家鋒;徐揚;;格值命題邏輯LP(X)中的語義歸結(jié)方法[A];中國運籌學會模糊信息與模糊工程分會第五屆學術年會論文集[C];2010年

6 戴細華;;邏輯系統(tǒng)中的語義博弈[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

7 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

8 張清宇;;極小的弗協(xié)調(diào)U、S時態(tài)命題邏輯[A];邏輯、語言與思維——周禮全先生八十壽辰紀念文集[C];2001年

9 莫紹揆;;傳統(tǒng)邏輯與數(shù)理邏輯[A];邏輯學文集[C];1978年

相關重要報紙文章 前1條

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日報;2009年

相關博士學位論文 前1條

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

相關碩士學位論文 前10條

1 侯麗平;基本命題邏輯模型類的可定義性研究[D];西南大學;2015年

2 鄧鵬;命題邏輯中子句集的分類研究[D];西南交通大學;2015年

3 張志佳;基于有向超圖的命題邏輯合取范式的約簡[D];西南交通大學;2016年

4 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

5 劉小山;基本命題邏輯的模態(tài)擴張[D];西南大學;2014年

6 黃沖;組合優(yōu)化中的命題邏輯[D];華中科技大學;2011年

7 宋慶燕;命題邏輯公式集上的正則相似關系和一種新型的三I算法[D];陜西師范大學;2003年

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

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

10 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學;2004年

，

本文編號：1806788