本文關(guān)鍵詞：二值謂詞邏輯中公式的向量真度

  更多相關(guān)文章： 計(jì)量邏輯 向量真度 準(zhǔn)真度 概率測(cè)度

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

【參考文獻(xiàn)】

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

1 王國(guó)俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國(guó)科學(xué)(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 王國(guó)俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準(zhǔn)真度理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

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

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

【共引文獻(xiàn)】

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

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

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

3 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價(jià)關(guān)系及其應(yīng)用[J];東北師大學(xué)報(bào)(自然科學(xué)版);2012年02期

4 王廷明;;二值命題邏輯中Г-的蘊(yùn)涵距離和近似推理[J];德州學(xué)院學(xué)報(bào);2008年06期

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

6 王廷明;;二值命題邏輯中有限理論的相對(duì)偏差及其應(yīng)用[J];德州學(xué)院學(xué)報(bào);2010年02期

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

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

9 張東曉;李立峰;;二值命題邏輯公式的語(yǔ)構(gòu)程度化方法[J];電子學(xué)報(bào);2008年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 張東曉;李立峰;;二值命題邏輯公式的語(yǔ)構(gòu)程度化方法[J];電子學(xué)報(bào);2008年02期

3 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

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

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

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

7 惠小靜;王國(guó)俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國(guó)科學(xué)(E輯:信息科學(xué));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期

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

2 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

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

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

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

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

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

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

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

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

本文編號(hào)：1158428