本文關(guān)鍵詞：n值命題邏輯中公式列的收斂性

  更多相關(guān)文章： 邏輯度量空間 度量收斂 賦值收斂 真度收斂

【摘要】：在n值R0命題邏輯系統(tǒng)中給出了公式列按真度收斂的定義,研究了公式列按度量收斂、按賦值收斂及按真度收斂的性質(zhì),給出了三種收斂各自的充分必要條件,在公式列是有限原子的條件下證明了公式列按度量收斂、按賦值收斂及按真度收斂是相互等價(jià)的。
【作者單位】： 蘭州理工大學(xué)理學(xué)院;
【關(guān)鍵詞】： 邏輯度量空間 度量收斂 賦值收斂 真度收斂
【基金】：國(guó)家自然科學(xué)基金(No.11261032)
【分類號(hào)】：O141.1
【正文快照】： 1引言數(shù)理邏輯是以符號(hào)化為特點(diǎn)的形式化理論,它注重形式推理而不重視數(shù)值計(jì)算[1-2]。為了將數(shù)值計(jì)算引入到數(shù)理邏輯中,王國(guó)俊教授等從基本概念的程度化入手,給出了公式的真度、公式間的相似度與偽度量等概念[3-4],建立了邏輯度量空間,提出了一套完整的近似推理機(jī)制[5-6],進(jìn)而

【相似文獻(xiàn)】

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

1 張興芳,孟廣武;模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論[J];聊城大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

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

3 張興芳;王國(guó)俊;孟廣武;;一階模糊謂詞邏輯公式的區(qū)間解釋真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2006年02期

4 李友雨;張興芳;李成允;;L*系統(tǒng)中由單個(gè)原子生成公式的真度分布[J];計(jì)算機(jī)工程與應(yīng)用;2010年10期

5 于鵬;;真度方程組及其應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2012年07期

6 王國(guó)俊;;一類一階邏輯公式中的公理化真度理論及其應(yīng)用[J];中國(guó)科學(xué):信息科學(xué);2012年05期

7 秦曉燕;徐揚(yáng);劉熠;;二值謂詞邏輯中公式的向量真度[J];模式識(shí)別與人工智能;2013年08期

8 張安英;李德勝;張興芳;于西昌;;基于一階模糊邏輯公式的有限解釋真度的推理理論[J];聊城大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期

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

10 李璧鏡;;模態(tài)邏輯公式的真度理論[J];計(jì)算機(jī)工程與應(yīng)用;2013年03期

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

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

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

1 賀錦瑞;兩種命題邏輯系統(tǒng)中的真度研究[D];延安大學(xué);2016年

2 張東曉;邏輯公式的語(yǔ)構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

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

4 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學(xué);2007年

5 李慧玲;多值命題邏輯和直覺(jué)模糊命題邏輯公式的概率α-真度[D];遼寧師范大學(xué);2007年

6 郝國(guó)平;幾類模糊邏輯系統(tǒng)中真度及近似推理研究[D];延安大學(xué);2015年

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

8 李小兵;n值S-MTL系統(tǒng)中公式的矛盾度理論及理論的平均真度[D];蘭州理工大學(xué);2014年

9 秦曉燕;關(guān)于PI證明的若干注記以及邏輯公式的真度理論[D];陜西師范大學(xué);2005年

10 胡江山;幾種邏輯系統(tǒng)中命題真度的研究[D];山東大學(xué);2009年

，

本文編號(hào)：558447