本文關鍵詞： R-命題邏輯系統(tǒng) 條件真度 近似推理 條件概率 推理規(guī)則 演繹定理 原子公式 模糊集 不等式 經(jīng)典控制理論　出處：《山東大學學報(理學版)》2009年06期 　論文類型：期刊論文

【摘要】：基于條件概率的思想,在n值R0-命題邏輯系統(tǒng)Ln*中引入條件真度的概念,并討論該條件真度的性質及相應的推理規(guī)則。
[Abstract]:Based on the idea of conditional probability, the concept of conditional truth degree is introduced in n-valued R0-propositional logic system Ln *, and the properties of conditional truth degree and the corresponding inference rules are discussed.
【作者單位】： 濰坊學院數(shù)學與信息科學學院;山東大學數(shù)學學院;
【基金】：國家自然科學基金資助項目(60774100) 山東省自然科學基金資助項目(Y2007A15)
【分類號】：O141.1

【參考文獻】

相關期刊論文 前2條

1 劉華文;王國俊;張誠一;;幾種邏輯系統(tǒng)中的近似推理理論[J];山東大學學報(理學版);2007年07期

2 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學學報;2004年04期

【共引文獻】

相關期刊論文 前10條

1 王國俊;段巧林;;模態(tài)邏輯中的(n)真度理論與和諧定理[J];中國科學（F輯:信息科學）;2009年02期

2 王廷明;;基于標準化表示的命題邏輯公式的D-隨機真度[J];中國海洋大學學報(自然科學版);2009年01期

3 王廷明;王愛青;;二值命題邏輯中偽距離的真度表示及其應用[J];青島理工大學學報;2008年03期

4 王廷明;王愛青;;二值命題邏輯中基于前提信息的Г-真度理論[J];青島理工大學學報;2008年04期

5 王廷明;王愛青;;二值命題邏輯中的偽距離不等式與近似推理[J];青島理工大學學報;2009年03期

6 李得超;模糊推理的靈敏度[J];青海大學學報(自然科學版);2004年01期

7 盧延鑫;;經(jīng)典邏輯在人工智能知識推理中的應用[J];軟件導刊;2008年01期

8 李駿;王國俊;;G銉del n值命題邏輯中命題的α-真度理論[J];軟件學報;2007年01期

9 李駿;王國俊;;基于支持度理論的廣義Modus Ponens問題的最優(yōu)解[J];軟件學報;2007年11期

10 周紅軍;王國俊;;邏輯系統(tǒng)NMG的滿足性和緊致性[J];軟件學報;2009年03期

相關會議論文 前8條

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

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

3 郭秀敏;王國俊;;關于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

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

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

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

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

相關博士學位論文 前10條

1 焦曉佑;智能工程推理機制研究及其在電力供需平衡復雜性分析中的應用[D];北京交通大學;2009年

2 林立新;SS7E電力機車電氣系統(tǒng)的故障診斷技術研究[D];中南大學;2008年

3 李小申;三維模糊集[D];大連理工大學;2009年

4 郭遠華;若干邏輯自動推理方法研究[D];華東師范大學;2010年

5 吳茂念;基于分離的信念更新研究[D];貴州大學;2008年

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

7 劉學生;基于粗集的不確定多屬性決策排序法的研究[D];大連理工大學;2009年

8 吳恒洋;概率計算與可能性計算的Domain語義[D];上海師范大學;2007年

9 賴洪亮;Ω-范疇序結構性質的研究[D];四川大學;2007年

10 劉新;三維空間關系的描述及其定性推理[D];山東科技大學;2007年

相關碩士學位論文 前10條

1 王曉寧;兩類模糊集的表現(xiàn)定理及其應用[D];遼寧師范大學;2009年

2 朱芳芳;正則剩余格的*-理想及其性質[D];揚州大學;2009年

3 潘道華;基于計算機模擬的不確定性推理研究[D];黑龍江科技學院;2009年

4 吳紅霞;偏序、拓撲與子代數(shù)偏序的結構性質[D];揚州大學;2008年

5 郭子燕;反模糊粗糙代數(shù)[D];江南大學;2008年

6 杜娟;廣義模糊BCK-代數(shù)和廣義模糊環(huán)[D];江南大學;2008年

7 王擁兵;模糊文法的逼近性[D];陜西師范大學;2008年

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

9 代建云;有關內導集與邏輯度量的研究[D];陜西師范大學;2008年

10 段景瑤;三種邏輯代數(shù)的等價刻畫和模糊模態(tài)邏輯[D];陜西師范大學;2008年

【二級參考文獻】

相關期刊論文 前6條

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

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

3 王偉,王國俊;偽度量L~*-Lindenbaum代數(shù)中基本運算的連續(xù)性[J];陜西師范大學學報(自然科學版);2005年02期

4 韓誠,周紅軍;關于形式系統(tǒng)L~*(強)完備性證明的注記[J];陜西師范大學學報(自然科學版);2005年02期

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

6 王國俊,王偉;邏輯度量空間[J];數(shù)學學報;2001年01期

【相似文獻】

相關期刊論文 前10條

1 田秀芝;求近似推理模型的矩陣計算公式[J];石油化工高等學校學報(自然科學版);1995年03期

2 王曉星;α算子上的近似推理[J];模糊系統(tǒng)與數(shù)學;1990年02期

3 應明生;Fuzzy命題邏輯中的Fuzzy推理[J];模糊系統(tǒng)與數(shù)學;1989年01期

4 周尚明,魏華梁,賈利民,張錫第;復雜過程建模的模糊集和神經(jīng)網(wǎng)絡方法[J];系統(tǒng)仿真學報;1998年01期

5 宋子倫,付新民;基于主因素的近似推理的矩陣表示[J];武警工程學院學報;2001年06期

6 齊先義;;近似推理[J];海軍工程大學學報;1984年02期

7 王濤,呂景貴;關于多變量模糊推理的研究[J];遼寧工學院學報;1996年03期

8 范昭賦,孫吉貴,楊鳳杰;模糊控制中近似推理的插值模型[J];吉林大學自然科學學報;1999年01期

9 秦克云，，徐揚，宋振明;基于系統(tǒng)L(X)的幾種近似推理[J];模糊系統(tǒng)與數(shù)學;1998年02期

10 李東亞;張誠一;王鴻緒;;基于Vague集加權相似度量的近似推理[J];河南師范大學學報(自然科學版);2007年02期

相關會議論文 前10條

1 程里春;;近似推理的幾個定理[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

2 徐揚;;基于格值命題邏輯L_(vpl)的近似推理[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

3 任平;喻東;黃穎強;;近似推理模式的行為科學研究[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

4 韓衛(wèi);姬瓊;;貝葉斯網(wǎng)絡的一種近似推理算法[A];2005中國控制與決策學術年會論文集（下）[C];2005年

5 李承家;戴冠中;;模糊控制系統(tǒng)穩(wěn)定性研究的現(xiàn)狀及新進展[A];1997中國控制與決策學術年會論文集[C];1997年

6 李永敏;朱善君;吉吟東;陳湘暉;;一種基于近似推理的數(shù)據(jù)挖掘算法[A];1998中國控制與決策學術年會論文集[C];1998年

7 王國俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學學術年會論文集[C];2004年

8 張尚水;;模糊邏輯[A];全國邏輯討論會論文選集[C];1979年

9 陳永義;;關于隸屬函數(shù)與小波基函數(shù)的注記[A];2001年中國智能自動化會議論文集（上冊）[C];2001年

10 成科揚;;基于集對分析的模糊邏輯及其推理方法研究[A];第二十三屆中國控制會議論文集（下冊）[C];2004年

相關博士學位論文 前4條

1 白治江;基于遺傳算法的模糊系統(tǒng)研究[D];華東師范大學;2006年

2 任芳;正則蘊涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學;2005年

3 覃鋒;模糊邏輯中若干問題的研究[D];四川大學;2004年

4 林琳;直覺模糊集在近似推理與決策中的應用[D];大連理工大學;2006年

相關碩士學位論文 前10條

1 徐章艷;基于Vague集的近似推理[D];廣西師范大學;2000年

2 郭明星;基于模糊推理的城市配電網(wǎng)供電能力評估[D];天津大學;2004年

3 田應忠;基于模糊集的模糊專家系統(tǒng)研究與應用[D];華中科技大學;2004年

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

5 蔡立晶;基于模糊集的三維表示及研究[D];華中科技大學;2004年

6 彭玉兵;粗糙集理論的推廣及若干應用問題[D];江西師范大學;2005年

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

8 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學;2006年

9 劉俊娜;貝葉斯網(wǎng)絡推理算法研究[D];合肥工業(yè)大學;2007年

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

本文編號：1549284