-
题名基于幂零泛与运算模型的命题模糊逻辑
被引量：3
- 1
-
-
作者
罗敏霞
何华灿
-
机构
西北工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2004年第8期97-99,共3页
-
基金
国家自然科学基金(60273087)
北京市自然科学基金(4032009)资助
-
文摘
本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],∨,∧,*,→,0,1)作成一个 MV-代数。给出了基于幂零泛与运算模型 T(x,y,h)(h∈(0,0.75))的模糊命题演算系统 PC(T),证明了此命题演算系统与 Lukasiewicz 逻辑命题演算系统是等价的。
-
关键词
泛与运算模型
泛蕴涵运算模型
幂零三角范数
剩余
伴随对
数理逻辑
-
Keywords
The model of universal conjunction
The model of universal implication
Nilpotent triangular norm
Residuum
Adjoint pair
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O14
[理学—基础数学]
-
-
题名基于一类严格三角范数的命题逻辑
- 2
-
-
作者
罗敏霞
何华灿
-
机构
中国计量学院理学院
西北工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第4期129-131,共3页
-
基金
国家自然科学基金(60273087)
中国计量学院科研启动基金资助
-
文摘
剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→P：P→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型T（x，y，h）（h∈（0．75，1））的命题演算逻辑PC（T）系统是基本严格模糊逻辑SBL；PC（T）～是基本严格模糊逻辑SBL的扩张SBL～。
-
关键词
泛与运算模型
泛蕴涵运算模型
严格三角范数
基本严格模糊逻辑SBL
-
Keywords
Universal conjunction model, Universal implication model, Strict t-norm,Basic strict fuzzy logic SBL
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141.1
[理学—基础数学]
-
