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

文檔介紹：
第 3期 2012年 3月電 子 學(xué) 報(bào) ACn Ⅱ 0NICA SINICA Vn1.40 No.3 Mar. 2O12 Boole語義的程度化方法左衛(wèi)兵(華北水利水電學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院,河南鄭州 450046) 摘要: 基于 賦值理論,通過在 Boole賦值格和全體公式集上分別建立概率測(cè)度,利用積分方法提出了 Boole語義上公式的 概率真度,進(jìn)而在 Boole語義上建立了概率邏輯度量空間,將計(jì)量邏輯學(xué)中近似推理方法推廣到 Boole語義上,完善了 Boole語義的程度化方法. 關(guān)鍵詞: Boole語義; 賦值;B.概率真度;概率邏輯度量空間;近似推理中圖分類號(hào): O141.1 文獻(xiàn)標(biāo)識(shí)碼: A 文章編號(hào): 0372—2112(2012)03—0441.cr7 電子學(xué)報(bào) 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)載請(qǐng)標(biāo)明出處.

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