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

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

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

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

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

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

記憶中的模糊03-20

言語交際中的模糊語04-26

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

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

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

模糊最小二乘支持向量機在黑液波美度軟測量中的應用04-26

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

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