会议专题

基于一级泛与运算模型的命题模糊逻辑

本文讨论一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”的一些性质;证明一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”是一个幂零三角范数”严格三角范数”.进一步证明(”0,1”,∨,∧,*,→,0,1)作成一个MV-代数”乘积代数”;证明基于一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”的命题演算系统PC(T)是Lukasiewicz逻辑命题演算系统”乘积逻辑命题演算系统”.

一级泛 运算模型 一级泛蕴涵运算模型 幂零三角范数 严格三角范数 伴随对 模糊逻辑

罗敏霞 何华灿

运城学院数学系,044000;西北工业大学计算机学院,710072 西北工业大学计算机学院,710072

国内会议

第十一届中国人工智能学术年会

武汉

中文

83-88

2005-09-20(万方平台首次上网日期,不代表论文的发表时间)