本文關(guān)鍵詞： 邏輯系統(tǒng) 非線性序集 真度 推理規(guī)則　出處：《山東大學(xué)學(xué)報(理學(xué)版)》2009年01期 　論文類型：期刊論文

【摘要】：利用勢為5的均勻概率空間的無窮乘積在五值非線性序集邏輯系統(tǒng)L25中引入了公式的真度概念,給出了真度的一些推理規(guī)則,并證明了全體公式的真度值之集在[0,1]上是稠密的,給出了全體公式概率真度的表達通式,為在非線性序集邏輯系統(tǒng)L25中建立近似推理理論提供了一種可能的框架。
[Abstract]:By using the infinite product of the uniform probability space with potential of 5, the concept of the true degree of the formula is introduced in the five-valued nonlinear ordered set logic system L25, and some reasoning rules of the truth degree are given. It is proved that the set of true degree values of all formulas is obtained in. [In this paper, the general expression of probability truth degree of all formulas is given, which provides a possible framework for the establishment of approximate reasoning theory in nonlinear ordered set logic system L25.
【作者單位】： 濰坊學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院;
【分類號】：O141.1
【正文快照】： 文獻[1]基于均勻概率的思想在經(jīng)典二值命題邏輯中提出了公式的真度概念,并提出了一種近似推理的框架,文獻[2-4]分別討論了Lukasiewicz邏輯系統(tǒng)、乘積邏輯系統(tǒng)、標準序列邏輯系統(tǒng)、Godel邏輯系統(tǒng)中公式的真度理論,文獻[5-6]基于上述真度理論研究了相關(guān)系統(tǒng)中的近似推理理論,本

【參考文獻】

相關(guān)期刊論文 前3條

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

2 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

3 茹永梅;王國俊;;幾個三值命題邏輯系統(tǒng)中命題真度的分布[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2005年04期

【共引文獻】

相關(guān)期刊論文 前10條

1 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

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

3 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報;2003年02期

4 李駿,蘭倩,夏亞峰;標準序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報;2003年04期

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

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

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

8 張興芳;孟廣武;;一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用[J];計算機科學(xué);2005年10期

9 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

10 王偉,王國俊;論G銉del蘊涵算子不宜用于建立模糊邏輯系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2005年02期

相關(guān)會議論文 前2條

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

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

相關(guān)博士學(xué)位論文 前1條

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

相關(guān)碩士學(xué)位論文 前10條

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

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

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

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

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

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

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

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

9 曹汝鳴;不完全信息數(shù)據(jù)庫的理論研究[D];南京航空航天大學(xué);2006年

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

【二級參考文獻】

相關(guān)期刊論文 前10條

1 李駿,蘭倩,夏亞峰;標準序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報;2003年04期

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

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

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

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

6 裴道武;形式演繹系統(tǒng)L~*中的懔運算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

7 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

8 吳洪博,王小敏,韓誠;L~*系統(tǒng)中的模糊演繹定理的改進形式[J];四川大學(xué)學(xué)報(自然科學(xué)版);2005年01期

9 王國俊;廣義MP規(guī)則[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2000年03期

10 李駿,袁和軍;積分語義學(xué)中的積分相似度、偽距離與近似推理理論[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2002年01期

【相似文獻】

相關(guān)期刊論文 前10條

1 趙鵬;姚從軍;;三值邏輯系統(tǒng)的分析與比較[J];畢節(jié)學(xué)院學(xué)報;2011年06期

2 蔡曙山;白晨;衣新發(fā);韓旭;;推理在學(xué)習(xí)與認知中的作用[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期

3 左衛(wèi)兵;;三值命題邏輯隨機化的注記[J];河北師范大學(xué)學(xué)報(自然科學(xué)版);2011年04期

4 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

5 郭建萍;;殊途同歸的意義理論——邏輯視野中的戴維森與達米特意義理論[J];哲學(xué)動態(tài);2011年06期

6 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報;2011年05期

7 吳新民;;時態(tài)邏輯與時間思想的語言哲學(xué)維度[J];湖南社會科學(xué);2011年04期

8 譚智奇;;探析邏輯哲學(xué)“不是什么”和“是什么”[J];傳承;2011年21期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會議論文 前10條

1 張學(xué)立;;從邏輯哲學(xué)的觀點看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

2 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

3 郭世銘;;多主體認知邏輯系統(tǒng)(語法部分)[A];1998年邏輯研究專輯[C];1998年

4 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實然世界語義學(xué)[A];1997年邏輯研究專輯[C];1997年

5 李小五;;沈有鼎論直觀與邏輯[A];“中國名辯學(xué)與方法論研討會、道家與西方研討會、馮友蘭哲學(xué)思想研討會”優(yōu)秀論文精選[C];1998年

6 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

7 杜國平;;金岳霖邏輯觀述評[A];2000年邏輯研究專輯[C];2000年

8 ;貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會在花溪召開[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

9 趙總寬;;辯證道義命題邏輯系統(tǒng)DDMT與道義實然世界語義學(xué)[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

10 宋文淦;;問題邏輯系統(tǒng)E[A];1996年邏輯研究專輯[C];1996年

相關(guān)重要報紙文章 前4條

1 本報記者 周靜;第四屆全國性邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議在筑召開[N];貴州日報;2008年

2 本報記者 周靜;貴州制約邏輯學(xué)會致力學(xué)界發(fā)展[N];貴州日報;2009年

3 中山大學(xué)邏輯與認知研究所 熊明輝;邏輯與認知[N];社會科學(xué)報;2002年

4 沙青;“意義”的追問與探求[N];光明日報;2006年

相關(guān)博士學(xué)位論文 前10條

1 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年

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

3 戴細華;多值邏輯語義博弈[D];中山大學(xué);2006年

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

5 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年

6 婁永強;信息流理論的邏輯研究[D];南開大學(xué);2009年

7 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

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

9 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

10 張世寧;廣義量詞理論研究[D];南開大學(xué);2010年

相關(guān)碩士學(xué)位論文 前10條

1 夏夢;金岳霖邏輯與邏輯系統(tǒng)思想述評[D];西南師范大學(xué);2002年

2 李麗;模糊時序命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

3 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

4 蕭瑤;信念修正邏輯初探[D];西南大學(xué);2008年

5 張麗;時態(tài)公開宣告邏輯初探[D];西南大學(xué);2009年

6 孟艷平;擾動模糊命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

7 李建生;n值邏輯系統(tǒng)中命題的絕對真度及其隨機化理論[D];蘭州理工大學(xué);2008年

8 劉保翠;命題邏輯中公式的Γ蘊涵真度及相對Γ-重言度理論[D];陜西師范大學(xué);2008年

9 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

10 李海霞;邏輯代數(shù)中若干問題的研究[D];陜西師范大學(xué);2008年

，

本文編號：1486809