【摘要】：通過引入賦值密度函數、邊緣密度函數等概念給出了連續(xù)值命題邏輯系統(tǒng)中公式條件概率真度的定義,并得到了一些條件概率真度的推理規(guī)則;給出了3種相似度的概念,討論了其性質及關系;定義了3種偽距離,確定了三者之間的比例關系,為推理程度的數值化提供了可靠的依據。
[Abstract]:By introducing the concepts of assignment density function and edge density function, the definition of conditional probability truth degree of formula in continuous valued propositional logic system is given, and some inference rules of conditional probability truth degree are obtained. In this paper, the concepts of three kinds of similarity are given, their properties and relations are discussed, three kinds of pseudo-distance are defined, and the proportional relation among them is determined, which provides a reliable basis for the numerical value of reasoning degree.
【作者單位】： 棗莊科技職業(yè)學院建筑工程系;聊城職業(yè)技術學院;
【基金】：山東省自然科學基金 No.Y2003A01~~
【分類號】：O141.1

【參考文獻】

相關期刊論文 前3條

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

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

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

【共引文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

8 吳恒洋,韓誠;非全序R_0代數的結構[J];純粹數學與應用數學;2004年01期

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

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

相關博士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

5 �，幹�;L～*謂詞邏輯與R_0代數性質新探[D];陜西師范大學;2003年

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

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

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

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

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

【二級參考文獻】

相關期刊論文 前10條

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

2 裴道武;關于模糊邏輯與模糊推理邏輯基礎問題的十年研究綜述[J];工程數學學報;2004年02期

3 王國俊;;計量邏輯學(Ⅰ)[J];工程數學學報;2006年02期

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

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

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

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

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

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

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

，

本文編號：2417037