在n值S-MTL邏輯系統(tǒng)的統(tǒng)一框架下,通過視全體賦值之集為通常乘積拓?fù)淇臻g,給出了命題的Borel概率真度定義。通過構(gòu)造公式所誘導(dǎo)的階梯函數(shù)給出了公式真度的積分表達(dá)式,進(jìn)而利用命題的Borel概率真度在該邏輯系統(tǒng)中引入公式間的相似度及其偽距離,使得在n值S-MTL邏輯系統(tǒng)的統(tǒng)一框架下搭建起融隨機(jī)性和整體性于一體的近似推理模型成為可能。 

【文章來源】：計(jì)算機(jī)工程與應(yīng)用. 2014,50(02)CSCD

【文章頁數(shù)】：5 頁

【參考文獻(xiàn)】：
期刊論文
[1]Borel probabilistic and quantitative logic[J]. ZHOU HongJun & WANG GuoJun College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China.  Science China（Information Sciences）. 2011(09)
[2]n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J]. 李駿,鄧富喜.  電子學(xué)報. 2011(08)
[3]二值命題邏輯中理論的發(fā)散性、相容性及其拓?fù)淇坍媅J]. 王國俊,折延宏.  數(shù)學(xué)學(xué)報. 2007(04)
[4]邏輯系統(tǒng)Ln*中命題的真度理論[J]. 李駿,王國俊.  中國科學(xué)E輯:信息科學(xué). 2006(06)
[5]Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J]. 王國俊,李璧鏡.  中國科學(xué)E輯:信息科學(xué). 2005(06)



本文編號：3254867