-
题名基于幂零泛与运算模型的命题模糊逻辑
被引量：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
- 2
-
-
作者
罗敏霞
何华灿
马盈仓
-
机构
中国计量学院理学院数学与信息科学系
西北工业大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2006年第6期26-27,44,共3页
-
基金
国家自然科学基金资助项目(60273087)
北京市自然科学基金资助项目(4032009)
-
文摘
研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。
-
关键词
泛与运算模型
泛或运算模型
模糊非
DE
Morgan三元组
-
Keywords
Universal Conjunction Model
Universal Disjunction Model
Fuzzy Negation
De Morgan Triple
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141.1
[理学—基础数学]
-
-
题名泛逻辑的一级泛运算模型的代数性质
被引量：2
- 3
-
-
作者
罗敏霞
何华灿
-
机构
西北工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第30期4-7,28,共5页
-
基金
国家自然科学基金(编号:60273087)
北京市自然科学基金(编号:4032009)资助
-
文摘
论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。
-
关键词
泛与运算模型
泛或运算模型
伴随对
加性生成元
乘性生成元
-
Keywords
model of universal conjunction,model of universal disjunction,adjoint pair,ddditive generator,multiplicative generator
-
分类号
O141.1
[理学—基础数学]
-
-
题名基于一类严格三角范数的命题逻辑
- 4
-
-
作者
罗敏霞
何华灿
-
机构
中国计量学院理学院
西北工业大学计算机学院
-
出处
《计算机科学》
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
[理学—基础数学]
-
