本文關(guān)鍵詞：Boole語義的程度化方法，由筆耕文化傳播整理發(fā)布。

文檔介紹：
第 3期 2012年 3月電 子 學(xué) 報 ACn Ⅱ 0NICA SINICA Vn1.40 No.3 Mar. 2O12 Boole語義的程度化方法左衛(wèi)兵(華北水利水電學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院,河南鄭州 450046) 摘要: 基于 賦值理論,通過在 Boole賦值格和全體公式集上分別建立概率測度,利用積分方法提出了 Boole語義上公式的 概率真度,進(jìn)而在 Boole語義上建立了概率邏輯度量空間,將計量邏輯學(xué)中近似推理方法推廣到 Boole語義上,完善了 Boole語義的程度化方法. 關(guān)鍵詞: Boole語義; 賦值;B.概率真度;概率邏輯度量空間;近似推理中圖分類號: O141.1 文獻(xiàn)標(biāo)識碼: A 文章編號: 0372—2112(2012)03—0441.cr7 電子學(xué)報 URL,. DOI:10.3969/j.issn.0372-2112.2012.03 .(115 Graded Method of Boolean Semantics ZUO W ei—bing (Department ofMathemat/cs and hformation Science,North China Institute ofWater Camservancy and Hydroelectric Power, ,Henan 450046,China) Abstract: Based on B·—valuation and by defining probability IYleasure in Boolean evaluation lattice and set of all formulae re·- spectively,the B—probability truth degree offormulae in Boolean semantics is introduced using the ... 內(nèi)容來自轉(zhuǎn)載請標(biāo)明出處.

  本文關(guān)鍵詞：Boole語義的程度化方法，由筆耕文化傳播整理發(fā)布。