本文選題：隨機(jī)真度 + 隨機(jī)不可靠度�。� 參考：《計(jì)算機(jī)工程與應(yīng)用》2017年01期

【摘要】：利用賦值集的隨機(jī)化方法,在n值命題邏輯系統(tǒng)中提出了公式的隨機(jī)不可靠度概念,證明了一個有效推理結(jié)論的隨機(jī)不可靠度不大于各前提的隨機(jī)不可靠度與其必要度的乘積之和。通過推廣的概率邏輯學(xué)基本定理,證明了隨機(jī)邏輯度量空間中MP規(guī)則和HS規(guī)則成立。
[Abstract]:By means of randomization of assignment sets, the concept of random unreliability of formulas in n-valued propositional logic systems is proposed. It is proved that the random unreliability of an effective inference result is not greater than the sum of the product of the random unreliability degree and the necessary degree of each premise. Through the generalized basic theorem of probabilistic logic, it is proved that MP rule and HS rule hold true in random logic metric space.
【作者單位】： 桂林航天工業(yè)學(xué)院信息工程系;
【基金】：廣西壯族自治區(qū)教育廳科研項(xiàng)目(No.201106LX709)
【分類號】：O141

【相似文獻(xiàn)】

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

1 桂起權(quán);;萊欣巴哈的概率邏輯[J];自然辯證法通訊;1986年06期

2 張晨東,謝兵,陳火旺,徐光;概率邏輯含多重原子交集分解模型的可靠性[J];計(jì)算機(jī)研究與發(fā)展;1998年08期

3 季秋,王萬森;概率邏輯的研究[J];微機(jī)發(fā)展;2004年09期

4 江娟,劉清;相信邏輯公式的影響范圍與概率邏輯公式的概率[J];南昌大學(xué)學(xué)報(bào)(理科版);2000年04期

5 張利芳,李世超;歸納──概率邏輯述評[J];九江師專學(xué)報(bào);2000年01期

6 葉發(fā)揚(yáng);;概率“確證”解釋及其幾點(diǎn)思考[J];科技信息;2013年20期

7 沈旭明;;論賴欣巴哈的頻率論概率邏輯[J];吉首大學(xué)學(xué)報(bào)(社會科學(xué)版);2006年05期

8 肖波;;概率解釋與概率邏輯[J];重慶理工大學(xué)學(xué)報(bào)(社會科學(xué));2013年08期

9 任曉明;胡懷亮;;亞當(dāng)斯概率邏輯的思想來源、影響和意義[J];自然辯證法研究;2008年04期

10 張興芳;;剖析三種非經(jīng)典邏輯的思想來源與特征[J];聊城大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年02期

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

1 劉邦凡;;論概率、概率邏輯與知識進(jìn)步[A];第一次南開邏輯學(xué)專業(yè)學(xué)人學(xué)術(shù)研討會論文集[C];2012年

2 劉邦凡;劉乃郗;;論概率邏輯與人工智能應(yīng)用研究[A];第一次南開邏輯學(xué)專業(yè)學(xué)人學(xué)術(shù)研討會論文集[C];2012年

3 劉邦凡;;論概率、概率邏輯與知識進(jìn)步[A];改革開放以來邏輯的歷程——中國邏輯學(xué)會成立30周年紀(jì)念文集（上卷）[C];2009年

4 吳炳榮;;熵與概率邏輯[A];1995年邏輯研究專輯[C];1995年

5 夏年喜;;試析凱恩斯概率邏輯思想產(chǎn)生的歷史條件[A];2000年邏輯研究專輯[C];2000年

6 吳強(qiáng);張巍;蔡慶生;;互聯(lián)網(wǎng)上智能Agent軟件算法研究[A];2003年中國智能自動化會議論文集（下冊）[C];2003年

7 張惠民;;論模糊概率邏輯[A];1995年邏輯研究專輯[C];1995年

8 季秋;王萬森;王新;;人工智能中邏輯學(xué)的研究[A];邏輯與認(rèn)知學(xué)術(shù)研討會會議論文集[C];2004年

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

1 肖波;模態(tài)概率邏輯[D];清華大學(xué);2014年

2 李勇;基于條件事件代數(shù)的概率邏輯推理和概率邏輯衍推推理[D];云南大學(xué);2010年

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

1 鄭達(dá);凱恩斯概率邏輯思想研究[D];河北大學(xué);2015年

2 蔡文君;概率邏輯程序的更新[D];北京工業(yè)大學(xué);2014年

3 郭加安;基于泛邏輯學(xué)的概率邏輯及其算子的研究[D];首都師范大學(xué);2007年

，

本文編號：1843577