命題模糊邏輯系統(tǒng)中公式的理論可證度

在命題模糊邏輯系統(tǒng)MTL的擴(kuò)張系統(tǒng)Luk,God,∏和L*中,探討出了一種基于標(biāo)準(zhǔn)MTL-代數(shù)L=[0,1]判定理論Γ是否推出公式Β的新思路.首先引入了刻畫(huà)理論Γ推出公式Β的程度的一種指標(biāo)--稱(chēng)為公式Β的理論Γ可證度,然后研究了它的性質(zhì).最后給出了命題模糊邏輯系統(tǒng)Luk中公式的理論可證度的計(jì)算公式.

作 者： 張興芳 ZHANG Xing-fang   作者單位： 聊城大學(xué),數(shù)學(xué)科學(xué)學(xué)院,山東,聊城,252059  刊 名： 河北師范大學(xué)學(xué)報(bào)（自然科學(xué)版）  ISTIC PKU 英文刊名： JOURNAL OF HEBEI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)  年，卷(期)： 2007 31(4)  分類(lèi)號(hào)： O141.1  關(guān)鍵詞： 命題模糊邏輯   理論   可證度   計(jì)算公式  

【命題模糊邏輯系統(tǒng)中公式的理論可證度】相關(guān)文章：

模糊邏輯系統(tǒng)Luk和L*中理論相容度的計(jì)算公式(III)04-26

基于模糊球的模糊邏輯系統(tǒng)及其逼近性質(zhì)04-26

記憶中的模糊03-20

言語(yǔ)交際中的模糊語(yǔ)04-26

二值命題邏輯中邏輯推理的有效度04-26

機(jī)場(chǎng)最小起降帶模糊優(yōu)選理論模型04-26

天可度的意思和賞析04-25

模糊最小二乘支持向量機(jī)在黑液波美度軟測(cè)量中的應(yīng)用04-26

模糊多屬性決策中模糊屬性值的規(guī)范化方法04-27

基于模糊理論的多傳感器數(shù)據(jù)融合系統(tǒng)04-26