基于严格泛与运算模型的命题模糊逻辑

摘要：

本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模型T(x,y,h)(h∈(0.75,1))与泛蕴涵运算模型I(x,y,h)(h∈(0.75,1))形成伴随对;并且当h∈(0.75,1)时,有界格(”0,1”,∨,∧,*,→,0,1)做成乘积代数.h∈”0,1”时,有界格(”0,1”,∨,∧,*,→,0,1)做成BL代数.给出了基于严格泛与运算模型T(x,y,h)(h∈(0.75,1))的模糊命题演算系统PC(T),进一步证明了此命题演算系统就是乘积逻辑命题演算系统.最后得到基于泛与运算模型T(x,y,h)(h”0,1”)的模糊命题演算系统就是基本逻辑BL命题演算系统.

关键词： 泛与运算模型 泛蕴涵运算模型 严格三角范数 剩余 伴随对 模糊命题 演算系统

作者: 罗敏霞 何华灿

作者单位: 运城学院数学系,山西,运城,044000;西北工业大学计算机学院,陕西,西安,710072 西北工业大学计算机学院,陕西,西安,710072

会议类型: 国内会议

会议名称: 2005年中国模糊逻辑与计算智能联合学术会议

会议地点: 深圳

会议语种:中文

页码: 121-126

在线出版日期: 2005-04-16（万方平台首次上网日期，不代表论文的发表时间）