命题模糊逻辑系统中公式的理论可证度

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.

作 者： 张兴芳 ZHANG Xing-fang   作者单位： 聊城大学,数学科学学院,山东,聊城,252059  刊 名： 河北师范大学学报（自然科学版）  ISTIC PKU 英文刊名： JOURNAL OF HEBEI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)  年，卷(期)： 2007 31(4)  分类号： O141.1  关键词： 命题模糊逻辑   理论   可证度   计算公式  

【命题模糊逻辑系统中公式的理论可证度】相关文章：

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)04-26

基于模糊球的模糊逻辑系统及其逼近性质04-26

记忆中的模糊03-20

言语交际中的模糊语04-26

二值命题逻辑中逻辑推理的有效度04-26

机场最小起降带模糊优选理论模型04-26

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

模糊最小二乘支持向量机在黑液波美度软测量中的应用04-26

模糊多属性决策中模糊属性值的规范化方法04-27

基于模糊理论的多传感器数据融合系统04-26