本文關鍵詞：二值命題邏輯中的概率真度

  更多相關文章： 概率真度 數(shù)學期望 相關系數(shù) 熵

【摘要】：將二值命題邏輯系統(tǒng)的真度概念引入到概率邏輯,定義了公式的期望,給出了反映公式之間內在聯(lián)系的相關系數(shù),研究了無限公式收斂時所遵循的規(guī)律及特點,引入了度量不確定性的特征值—熵。
【作者單位】： 聊城職業(yè)技術學院;聊城大學圖書館;
【基金】：山東省自然科學基金No.Y2003A01~~
【分類號】：O141.1
【正文快照】： 眾所周知,數(shù)理邏輯是以符號化為特點的形式化理論,它注重形式推理而不重視數(shù)值計算[1-5]。而數(shù)值計算則與此相反,它的目的在于借助各種計算手段采用插值、迭代、差分或概率估算等方法研究各類計算問題,它關注問題的求解以及誤差估計等而很少使用形式推理方法。可以說數(shù)理邏輯

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

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

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

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 李龍澍,凌成;基于時態(tài)邏輯的知識表示研究[J];安徽大學學報(自然科學版);2002年02期

2 肖德琴，沈勇，張建偉;網絡通信協(xié)議形式化描述與驗證技術的研究[J];重慶師范學院學報(自然科學版);1997年02期

3 肖德琴;單向通信保密系統(tǒng)的時序邏輯驗證[J];重慶師范學院學報(自然科學版);1998年03期

4 譚漢松,劉濤;移動電子商務的電子支付模型研究[J];電腦與信息技術;2003年01期

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

6 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學學報;2002年03期

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

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

9 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進的相似度及偽距離[J];甘肅工業(yè)大學學報;2003年02期

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

中國博士學位論文全文數(shù)據(jù)庫 前6條

1 文敦偉;面向多智能體和神經網絡的智能控制研究[D];中南大學;2001年

2 王擁軍;需求工程中的不確定性研究[D];西北工業(yè)大學;2002年

3 胡瑜;基于有色Petri網理論的并行自動測試系統(tǒng)建模研究[D];電子科技大學;2003年

4 孟丹;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的歸結自動推理研究[D];西南交通大學;2004年

5 曹菡;空間關系推理的知識表示與推理機制研究[D];武漢大學;2002年

6 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學;2006年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 周湘南;理論的相容度及效應代數(shù)的濾子與商[D];陜西師范大學;2005年

2 劉紅兵;模糊錯誤邏輯研究及其在防范證券投資風險中的應用[D];廣東工業(yè)大學;2000年

3 張春霞;基于動態(tài)邏輯的Agent的形式化模型[D];云南師范大學;2000年

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

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

6 董護斌;面向實時系統(tǒng)的實時區(qū)域時態(tài)邏輯：RRTL[D];西北大學;2002年

7 張玲;數(shù)字現(xiàn)金協(xié)議及邏輯驗證[D];國防科學技術大學;2002年

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

9 劉素姣;一階謂詞邏輯在人工智能中的應用[D];河南大學;2004年

10 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學;2004年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

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

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

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

4 裴道武,王國俊;形式系統(tǒng)鈦~*的完備性及其應用[J];中國科學E輯;2002年01期

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

6 裴道武,王國俊;形式系統(tǒng)L~*的擴張L_n~*及其完備性[J];中國科學E輯;2003年04期

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

8 裴道武,傅麗;模糊推理三I算法的邏輯基礎[J];模糊系統(tǒng)與數(shù)學;2004年03期

9 王偉,王國俊;論G銉del蘊涵算子不宜用于建立模糊邏輯系統(tǒng)[J];模糊系統(tǒng)與數(shù)學;2005年02期

10 王國俊;廣義MP規(guī)則[J];陜西師范大學學報(自然科學版);2000年03期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 榮騰中;劉瓊蓀;;有關數(shù)學期望的優(yōu)化問題[J];高等數(shù)學研究;2011年03期

2 馮俊艷;;統(tǒng)計學在計量經濟學中的應用[J];科教新報(教育科研);2011年24期

3 石太賓;王晨霞;;概率學習中常見的幾個認識誤區(qū)[J];才智;2011年24期

4 段克峰;;輸油管線建設費用的數(shù)學模型[J];隴東學院學報;2011年04期

5 許道云;秦永彬;劉長云;;學習《概率論與數(shù)理統(tǒng)計》應該注意的若干問題(3)——隨機變量的數(shù)字特征和作用[J];銅仁學院學報;2011年02期

6 王福勝;彭勝志;;投資組合優(yōu)化中的泰勒級數(shù)收斂性與展開點選擇問題研究[J];中國管理科學;2011年03期

7 于娜;;概率統(tǒng)計中一些知識點教學方法的探討[J];黑龍江科技信息;2011年22期

8 祝金強;;離散型隨機變量的分布列的題型及解法[J];中學生數(shù)理化(高中版·學研版);2011年04期

9 曹小群;宋君強;張衛(wèi)民;趙軍;張理論;;MCMC方法在生物逆問題求解中的應用[J];計算機工程與應用;2011年26期

10 張燕;;大學數(shù)學課堂上注重育德[J];才智;2011年21期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 張俊容;;隨機優(yōu)勢決策的新方法及其應用[A];中國運籌學會第八屆學術交流會論文集[C];2006年

2 高雷阜;吳國通;;需求不確定下季節(jié)性商品的最優(yōu)訂貨策略研究[A];第三屆不確定系統(tǒng)年會論文集[C];2005年

3 曹萍萍;李曉奇;;離散型模糊事件模糊概率的初步討論[A];第九屆中國青年信息與管理學者大會論文集[C];2007年

4 馮密羅;呂文戈;馬湘玲;陳鐵生;;統(tǒng)計學在醫(yī)學院校教學管理中的定量分析應用舉例[A];數(shù)學·物理·力學·高新技術研究進展——2000（8）卷——中國數(shù)學力學物理學高新技術交叉研究會第8屆學術研討會論文集[C];2000年

5 康壇;張敏;賈靜;;給定區(qū)域內ATM機的最優(yōu)數(shù)量和選址問題[A];中國運籌學會第八屆學術交流會論文集[C];2006年

6 胡桂華;易躍明;林敏;;稀少項目子總體估計的貝葉斯方法——基于一個抽樣審計問題的討論[A];中國會計學會高等工科院校分會2008年學術年會（第十五屆年會）暨中央在鄂集團企業(yè)財務管理研討會論文集（下冊）[C];2008年

7 吳云從;;隨機存貯系統(tǒng)最佳訂貨點決策分析[A];發(fā)展戰(zhàn)略與系統(tǒng)工程——第五屆系統(tǒng)工程學會年會論文集[C];1986年

8 彭錦;;隨機序關系及其應用[A];第三屆不確定系統(tǒng)年會論文集[C];2005年

9 馬占友;田乃碩;;多重休假的Geom~ξ/G/1排隊系統(tǒng)[A];第三屆不確定系統(tǒng)年會論文集[C];2005年

10 王麗娜;;非對稱信息條件下外部性問題研究[A];中國優(yōu)選法統(tǒng)籌法與經濟數(shù)學研究會第七屆全國會員代表大會暨第七屆中國管理科學學術年會論文集[C];2005年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 河南省洛陽市新安縣第一高級中學 袁振東;離散型隨機變量分布列的求法[N];學知報;2011年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 白山;保費的非線性風險度量[D];山東大學;2005年

2 江龍;非線性數(shù)學期望[D];山東大學;2005年

3 胡鋒;非線性數(shù)學期望的性質及其在金融風險中的應用[D];山東大學;2011年

4 宋麗;非線性數(shù)學期望的性質和倒向隨機微分方程的_L_P解[D];山東大學;2012年

5 龐天曉;隨機變量序列的強極限性質[D];浙江大學;2005年

6 賈廣巖;倒向隨機微分方程、g-期望及其相關的半線性偏微分方程[D];山東大學;2008年

7 王偉;非線性數(shù)學期望及其在金融中的應用[D];山東大學;2009年

8 江龍;非線性數(shù)字期望[D];山東大學;2005年

9 李民;馬爾可夫骨架過程與GI/G/1排隊系統(tǒng)[D];中南大學;2003年

10 胡建國;隨機需求條件下的物流系統(tǒng)模型及算法研究[D];大連理工大學;2005年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 付靜;Choquet期望，，最大、最小數(shù)學期望的計算與±μ-獨立性問題[D];山東大學;2006年

2 顧海燕;非線性數(shù)學期望的性質[D];北京郵電大學;2007年

3 綦路;g-期望的一個性質[D];山東大學;2006年

4 程雪;Daniell積分與概論中期望的語言[D];山東大學;2006年

5 王子子;積分變形正算子的保持性質[D];首都師范大學;2007年

6 劉藝;基于綜合效應的隨機規(guī)劃模型及其應用[D];河北科技大學;2010年

7 李雪;灰典型相關分析的研究及其在多變量時間序列中的應用[D];東北師范大學;2008年

8 秦棟;g-期望關于仿射相關隨機變量的可加性[D];山東大學;2007年

9 張靜;一類g-概率的對稱性問題[D];山東大學;2007年

10 邵卓;含貸款利率復合Poisson模型破產嚴重程度的度量[D];河北工業(yè)大學;2007年

本文編號：1240648