【摘要】：基于條件概率的思想,在連續(xù)值命題邏輯系統(tǒng)中引入賦值密度函數(shù)概念,給出了公式的概率真度、數(shù)學期望、條件概率真度的定義,并得到了一些概率真度的推理規(guī)則。證明了Lukasiewicz邏輯系統(tǒng)中概率真度、條件概率真度在[0,1]中稠密。
[Abstract]:Based on the idea of conditional probability, the concept of assignment density function is introduced into the continuous value propositional logic system, and the definitions of probability truth degree, mathematical expectation and conditional probability truth degree of the formula are given, and some reasoning rules of probability truth degree are obtained. It is proved that the probability truth degree and conditional probability truth degree in Lukasiewicz logic system are dense in [0, 1].
【作者單位】： 聊城職業(yè)技術(shù)學院;聊城大學圖書館;聊城大學數(shù)學科學學院;
【基金】：山東省自然科學基金NoY2003A01~~
【分類號】：O141.1

【參考文獻】

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

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

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

3 王國俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學學報;2003年03期

4 于鵬;王國俊;;根與F(S)中的近似推理[J];自然科學進展;2006年08期

【共引文獻】

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

1 蘇忍鎖;蘊涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學院學報(自然科學版);2004年02期

2 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅰ)——模糊蘊涵算子及其性質(zhì)[J];北京師范大學學報(自然科學版);2003年05期

3 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學學報(自然科學版);2004年02期

4 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊涵算子[J];北京師范大學學報(自然科學版);2004年04期

5 尤飛,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅳ)——模糊蘊涵算子的對偶算子[J];北京師范大學學報(自然科學版);2004年05期

6 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學學報(自然科學版);2005年02期

7 吳洪博;L~*系統(tǒng)的一種改進系統(tǒng)L_0~*[J];純粹數(shù)學與應用數(shù)學;2001年01期

8 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學與應用數(shù)學;2004年01期

9 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學報(自然科學版);2003年01期

10 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

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

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學;2001年

2 李志偉;偏序集上的蘊涵代數(shù)[D];首都師范大學;2002年

3 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學;2002年

4 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

5 斐崢;基于神經(jīng)網(wǎng)絡的自動推理理論及方法的研究[D];西南交通大學;2002年

6 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學;2002年

7 李文江;基于格蘊涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學;2002年

8 李海明;關(guān)于格值邏輯及自動推理的研究[D];西南交通大學;2003年

9 沈暉;基于知識管理的企業(yè)集成支撐技術(shù)研究[D];清華大學;2003年

10 劉曉紅;關(guān)于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學;2004年

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

1 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

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

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學;2002年

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

5 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學;2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴張[D];陜西師范大學;2003年

7 蘭蓉;t-模與蘊涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學;2003年

8 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學;2003年

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

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學;2003年

【二級參考文獻】

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

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

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

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

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

5 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學E輯;2002年02期

6 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學E輯;2002年02期

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

8 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學;2000年01期

9 楊曉斌,張文修;Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學;2000年01期

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

【相似文獻】

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

1 于西昌;胡凱;張興芳;;條件概率真度的相似度及偽距離[J];模糊系統(tǒng)與數(shù)學;2009年06期

2 于西昌;譚桂梅;張興芳;;連續(xù)值命題邏輯系統(tǒng)中公式的條件概率真度[J];計算機工程與應用;2009年28期

3 袁彥莉;張興芳;;G銉del邏輯系統(tǒng)中公式條件概率真度的研究[J];山東大學學報(理學版);2009年09期

4 譚桂梅;于西昌;;連續(xù)值命題邏輯中公式的條件相對重言度理論[J];計算機工程與應用;2010年16期

5 左衛(wèi)兵;毋紅軍;;連續(xù)值命題邏輯系統(tǒng)中公式的概率真度[J];河南教育學院學報(自然科學版);2007年01期

6 譚桂梅;于西昌;;G銉del命題邏輯中公式概率真度的相似度及偽距離[J];計算機工程與應用;2010年20期

7 于西昌;胡凱;張興芳;;命題邏輯中概率真度的相似度及偽距離[J];系統(tǒng)科學與數(shù)學;2009年12期

8 于西昌;陳懷進;譚桂梅;;公式概率真度的相似度及偽距離[J];計算機工程與應用;2010年27期

9 于西昌;譚桂梅;;幾種邏輯系統(tǒng)中的概率真度[J];計算機工程與應用;2011年12期

10 于西昌;張興芳;;連續(xù)值命題邏輯中公式的概率真度及相似度[J];計算機工程與應用;2009年24期

，

本文編號：2517117