發(fā)布時間：2018-07-03 15:41

  本文選題：賦值密度函數(shù) + 概率真度��； 參考：《計算機工程與應(yīng)用》2009年24期

【摘要】：通過引入賦值密度函數(shù)、邊緣密度函數(shù)等概念給出了連續(xù)值命題邏輯系統(tǒng)中公式概率真度的定義,并得到了一些概率真度的推理規(guī)則;引入相似度,給出了偽距離的定義,確定了二者之間的關(guān)系.
[Abstract]:By introducing the concepts of assignment density function and edge density function, the definition of probability truth degree of formula in continuous valued propositional logic system is given, and some inference rules of probability truth degree are obtained, and the definition of pseudo distance is given by introducing similarity degree. The relationship between the two is determined.
【作者單位】： 聊城職業(yè)技術(shù)學(xué)院;聊城大學(xué)數(shù)學(xué)科學(xué)學(xué)院;
【基金】：山東省自然科學(xué)基金NoY2003A01~~
【分類號】：O141.1

【參考文獻】

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

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

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2094143