【摘要】：概率邏輯是不確定推理的一個重要邏輯基礎(chǔ),但其目前還不太完善.泛邏輯學是何華燦教授在探索各種不確定性問題求解中建立起來的一種新的柔性邏輯體系.理論上,概率邏輯僅是泛邏輯學的一個特例.在對目前比較典型的幾種概率邏輯模型進行分析的基礎(chǔ)上,基于命題泛邏輯學的思想和方法,指出了概率命題邏輯中存在的一些主要問題,探討了解決這些問題的思路與方法.
[Abstract]:Probabilistic logic is an important logical basis of uncertain reasoning, but it is not perfect at present. Universal logic is a new flexible logic system established by Professor he Huachan in exploring the solution of various uncertain problems. In theory, probabilistic logic is only a special case of universal logic. Based on the analysis of several typical probabilistic logic models, and based on the ideas and methods of propositional universal logic, this paper points out some main problems existing in probabilistic propositional logic, and probes into the ideas and methods to solve these problems.
【作者單位】： 西北工業(yè)大學計算機學院 西北工業(yè)大學計算機學院
【基金】：國家自然科學基金項目(60273087) 北京市自然科學基金項目(4032009)
【分類號】：O141.12

【參考文獻】

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

1 鄧勇,劉琪,施文康;條件事件代數(shù)研究綜述[J];計算機學報;2003年06期

2 王萬森,何華燦;基于泛邏輯學的邏輯關(guān)系柔性化研究[J];軟件學報;2005年05期

3 王萬森,何華燦;基于泛邏輯學的柔性命題邏輯研究[J];小型微型計算機系統(tǒng);2004年12期

【共引文獻】

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

1 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運算研究[J];北京科技大學學報;2007年S2期

2 劉宏嵐;高慶獅;楊炳儒;;概率邏輯中的命題相關(guān)性與邏輯運算[J];北京科技大學學報;2008年09期

3 許海洋;王萍;張偉;;概率邏輯關(guān)系柔性化的研究[J];電腦知識與技術(shù)(學術(shù)交流);2007年06期

4 徐曉濱;文成林;劉榮利;;基于隨機集理論的多源信息統(tǒng)一表示與建模方法[J];電子學報;2008年06期

5 王萬森;何華燦;;基于Frank T/S范數(shù)的柔性概率邏輯算子研究[J];電子學報;2009年05期

6 寇志謙;靳瑞霞;;泛邏輯的柔性化研究[J];福建電腦;2011年07期

7 高晶;;基于條件事件代數(shù)理論的戰(zhàn)術(shù)防空態(tài)勢評估[J];火力與指揮控制;2007年06期

8 張彥鐸;彭麗;閔鋒;;基于條件事件代數(shù)的機器人足球比賽態(tài)勢評估[J];華中科技大學學報(自然科學版);2011年S2期

9 ;A NEW EVIDENCE UPDATING RULE BASED ON CONDITIONAL EVENT[J];Journal of Electronics(China);2009年06期

10 徐阿進;閆勇;劉惟一;;基于條件事件代數(shù)的貝葉斯網(wǎng)的邏輯推理[J];計算機工程與應(yīng)用;2006年21期

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

1 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學;2011年

2 劉嚴巖;多傳感器數(shù)據(jù)融合中幾個關(guān)鍵技術(shù)的研究[D];中國科學技術(shù)大學;2006年

3 毛明毅;面向?qū)ο蟮膹V義空間邏輯運算模型與推理研究[D];西北工業(yè)大學;2006年

4 薛占熬;柔性區(qū)間邏輯及推理研究[D];西北工業(yè)大學;2006年

5 蔡益朝;態(tài)勢評估中的兵力聚合技術(shù)研究[D];國防科學技術(shù)大學;2006年

6 魏達;移動IP網(wǎng)絡(luò)中基于策略的QoS管理技術(shù)研究[D];吉林大學;2008年

7 徐曉濱;不確定性信息處理的隨機集方法及在系統(tǒng)可靠性評估與故障診斷中的應(yīng)用[D];上海海事大學;2009年

8 劉大學;用于越野自主導航車的激光雷達與視覺融合方法研究[D];國防科學技術(shù)大學;2009年

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

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

1 王迎昌;條件證據(jù)融合方法及其在故障診斷中的應(yīng)用[D];杭州電子科技大學;2009年

2 黃甫;領(lǐng)域知識的不確定性推理研究[D];昆明理工大學;2011年

3 冀朝偉;基于粗糙集的城市區(qū)域交通綠時控制系統(tǒng)研究[D];昆明理工大學;2011年

4 杜浩翠;區(qū)間集的蘊涵構(gòu)造研究[D];河南師范大學;2011年

5 吳劍威;基于泛資源及泛邏輯的企業(yè)模型體系研究及其應(yīng)用[D];江南大學;2005年

6 許海洋;基于泛邏輯學的概率邏輯算子的研究[D];首都師范大學;2006年

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

8 聞U，

本文編號：2490466