本文選題：賦值密度函數(shù)　切入點(diǎn)：概率真度　出處：《系統(tǒng)科學(xué)與數(shù)學(xué)》2009年12期

【摘要】：通過(guò)引入賦值密度函數(shù)、邊緣密度函數(shù)等概念,給出了連續(xù)值命題邏輯系統(tǒng)中公式概率真度的定義,研究了概率真度的推理規(guī)則并證明了全體公式的概率真度之集在[0,1]中的稠密性,在此基礎(chǔ)上給出了3種相似度,討論了其性質(zhì)及關(guān)系,并由此定義了3種偽距離,確定了三者之間的比例關(guān)系,為推理程度的數(shù)值化提供了依據(jù)。
[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.In this paper, the inference rules of probability truth degree are studied and the density of the set of probability truth degree of all formulas in [0 ~ 1] is proved. On this basis, three kinds of similarity degrees are given, their properties and relations are discussed, and three kinds of pseudo-distances are defined.The proportional relationship between the three is determined, which provides the basis for the numerical reasoning degree.
【作者單位】： 聊城職業(yè)技術(shù)學(xué)院;北京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院;聊城大學(xué)數(shù)學(xué)科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(60875034) 山東省自然科學(xué)基金(Y2003A01)資助課題
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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年

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

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

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

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

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

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

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

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

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

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

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

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

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[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)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

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

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

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

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

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

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

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

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

3 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

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

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

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

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

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

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

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

，

本文編號(hào)：1699292