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

【摘要】：基于條件概率的思想,在n值R0-命題邏輯系統(tǒng)Ln*中引入條件真度的概念,并討論該條件真度的性質(zhì)及相應(yīng)的推理規(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.
【作者單位】： 濰坊學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院;山東大學(xué)數(shù)學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(60774100) 山東省自然科學(xué)基金資助項(xiàng)目(Y2007A15)
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

2 王廷明;;基于標(biāo)準(zhǔn)化表示的命題邏輯公式的D-隨機(jī)真度[J];中國(guó)海洋大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年01期

3 王廷明;王愛(ài)青;;二值命題邏輯中偽距離的真度表示及其應(yīng)用[J];青島理工大學(xué)學(xué)報(bào);2008年03期

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

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

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

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

8 李駿;王國(guó)俊;;G銉del n值命題邏輯中命題的α-真度理論[J];軟件學(xué)報(bào);2007年01期

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

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

相關(guān)會(huì)議論文 前8條

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

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

3 郭秀敏;王國(guó)俊;;關(guān)于描述邏輯中不動(dòng)點(diǎn)語(yǔ)義的討論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

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

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

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

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

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

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

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

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

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

4 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

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

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

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

8 吳恒洋;概率計(jì)算與可能性計(jì)算的Domain語(yǔ)義[D];上海師范大學(xué);2007年

9 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年

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

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

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

2 朱芳芳;正則剩余格的*-理想及其性質(zhì)[D];揚(yáng)州大學(xué);2009年

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

4 吳紅霞;偏序、拓?fù)渑c子代數(shù)偏序的結(jié)構(gòu)性質(zhì)[D];揚(yáng)州大學(xué);2008年

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

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

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

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

9 代建云;有關(guān)內(nèi)導(dǎo)集與邏輯度量的研究[D];陜西師范大學(xué);2008年

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

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

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

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

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

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

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

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

6 王國(guó)俊,王偉;邏輯度量空間[J];數(shù)學(xué)學(xué)報(bào);2001年01期

【相似文獻(xiàn)】

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

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

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

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

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

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

6 齊先義;;近似推理[J];海軍工程大學(xué)學(xué)報(bào);1984年02期

7 王濤,呂景貴;關(guān)于多變量模糊推理的研究[J];遼寧工學(xué)院學(xué)報(bào);1996年03期

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

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

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

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

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

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

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

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

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

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

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

8 張尚水;;模糊邏輯[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年

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

10 成科揚(yáng);;基于集對(duì)分析的模糊邏輯及其推理方法研究[A];第二十三屆中國(guó)控制會(huì)議論文集（下冊(cè)）[C];2004年

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

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

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

3 覃鋒;模糊邏輯中若干問(wèn)題的研究[D];四川大學(xué);2004年

4 林琳;直覺(jué)模糊集在近似推理與決策中的應(yīng)用[D];大連理工大學(xué);2006年

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

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

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

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

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

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

6 彭玉兵;粗糙集理論的推廣及若干應(yīng)用問(wèn)題[D];江西師范大學(xué);2005年

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

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

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

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

本文編號(hào)：1549284