本文關鍵詞：二值謂詞邏輯中公式的向量真度

  更多相關文章： 計量邏輯 向量真度 準真度 概率測度

【摘要】：首次將謂詞邏輯系統(tǒng)中一階語言的有限解釋按照其論域的勢進行分層,提出每一層解釋類下公式的n真度,最終給出公式向量真度的定義,更直觀精確地刻畫一階公式的真實程度.接著證明向量真度的一些基本性質,指出向量真度保持謂詞邏輯形式推理的MP規(guī)則、HS規(guī)則與推廣規(guī)則,從而為進一步在謂詞邏輯系統(tǒng)中開展近似推理研究提供一種可能的框架.
【作者單位】： 西南交通大學
【基金】：國家自然科學基金項目(No.61175055) 四川省科技支撐計劃項目(No.2011FZ0051)資助
【分類號】：O141.1
【正文快照】： 1引言數(shù)理邏輯的特點在于符號化與形式化,而計算數(shù)學則似乎是遠離形式推理的完全不同的學科.如果將程度化思想與數(shù)值計算引入到數(shù)理邏輯中,那么將使形式推理更靈活,更具有實際應用價值.事實上,早在20世紀50年代,文獻[1]就用“指派真值”反應邏輯公式真實度的做法將程度化思想

【參考文獻】

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

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

2 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

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

4 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

5 ;Theory of (n) truth degrees of formulas in modal logic and a consistency theorem[J];Science in China(Series F:Information Sciences);2009年01期

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

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

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

9 崔美華;;n值Lukasiewicz命題邏輯系統(tǒng)中公式的隨機真度及近似推理[J];應用數(shù)學學報;2012年02期

【共引文獻】

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

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

2 王廷明;;二值命題邏輯中的蘊涵度量與近似推理[J];重慶師范大學學報(自然科學版);2009年03期

3 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價關系及其應用[J];東北師大學報(自然科學版);2012年02期

4 王廷明;;二值命題邏輯中Г-的蘊涵距離和近似推理[J];德州學院學報;2008年06期

5 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對真度的理論研究[J];德州學院學報;2009年04期

6 王廷明;;二值命題邏輯中有限理論的相對偏差及其應用[J];德州學院學報;2010年02期

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

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

9 張東曉;李立峰;;二值命題邏輯公式的語構程度化方法[J];電子學報;2008年02期

10 胡明娣;王國俊;;對稱邏輯公式在經(jīng)典邏輯度量空間中的分布[J];電子學報;2011年02期

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

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

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

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

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

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

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

2 胡明娣;邏輯度量空間的內蘊結構的研究[D];陜西師范大學;2011年

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

4 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學;2006年

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

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

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

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

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

2 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學;2011年

3 徐曉亮;家用伙伴機器人控制系統(tǒng)的研制[D];哈爾濱工業(yè)大學;2011年

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

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

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

7 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學;2004年

8 周湘南;理論的相容度及效應代數(shù)的濾子與商[D];陜西師范大學;2005年

9 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學;2005年

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

【二級參考文獻】

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

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

2 張東曉;李立峰;;二值命題邏輯公式的語構程度化方法[J];電子學報;2008年02期

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

4 王國俊 ,傅麗 ,宋建社;Theory of truth degrees of propositions in two-valued logic[J];Science in China,Ser.A;2002年09期

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

6 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯:技術科學;1999年01期

7 惠小靜;王國俊;;經(jīng)典推理模式的隨機化研究及其應用[J];中國科學(E輯:信息科學);2007年06期

8 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

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

10 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

【相似文獻】

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

1 馬華孝;;2~3值邏輯系統(tǒng)的基本運算規(guī)則與物理模型[J];四川大學學報(工程科學版);1986年03期

2 馬巧云;吳洪博;;邏輯系統(tǒng)W,W,W_n中的廣義矛盾式[J];西安文理學院學報(自然科學版);2006年03期

3 馬巧云;吳洪博;趙艷;;邏輯系統(tǒng)鄘、W、W_n中的廣義矛盾式及一種降級算法[J];純粹數(shù)學與應用數(shù)學;2007年04期

4 陳宗升;于西昌;李成允;;邏輯系統(tǒng)G銉del,Luk,L*中命題真度值的分布[J];計算機工程與應用;2009年13期

5 馬巧云;吳洪博;;邏輯系統(tǒng)H_t中的三-Ⅰ算法[J];計算機工程與應用;2009年20期

6 李紹勇;李成允;;n值邏輯系統(tǒng)子代數(shù)個數(shù)之討論[J];計算機工程與應用;2009年27期

7 馬巧云;吳洪博;;否定度理論及其在模糊推理中的應用[J];西安文理學院學報(自然科學版);2010年03期

8 楊安洲;;邏輯系統(tǒng)(謂詞系統(tǒng))L(w1,w)的(≤w1,infinite)-緊性(英文)[J];前沿科學;2010年03期

9 王慶平;王大全;張興芳;;n值命題邏輯系統(tǒng)中公式真度的進一步研究[J];模糊系統(tǒng)與數(shù)學;2009年01期

10 李友雨;張興芳;李成允;;公式真度的大小之比較[J];模糊系統(tǒng)與數(shù)學;2011年02期

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

1 陳永義;;NF邏輯系統(tǒng)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

2 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國運籌學會模糊信息與模糊工程分會第五屆學術年會論文集[C];2010年

3 王國俊;;Fuzzy邏輯與有序代數(shù)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

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

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

6 霍書全;鞠實兒;;SLO的代數(shù)結構[A];開放類邏輯論文集[C];2004年

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

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

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

10 朱劍英;肖奚安;朱梧i，

本文編號：1158428