- 相關(guān)推薦
命題模糊邏輯系統(tǒng)中公式的理論可證度
在命題模糊邏輯系統(tǒng)MTL的擴(kuò)張系統(tǒng)Luk,God,∏和L*中,探討出了一種基于標(biāo)準(zhǔn)MTL-代數(shù)L=[0,1]判定理論Γ是否推出公式Β的新思路.首先引入了刻畫理論Γ推出公式Β的程度的一種指標(biāo)--稱為公式Β的理論Γ可證度,然后研究了它的性質(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) 分類號(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
言語交際中的模糊語04-26
二值命題邏輯中邏輯推理的有效度04-26
機(jī)場(chǎng)最小起降帶模糊優(yōu)選理論模型04-26
天可度的意思和賞析04-25