-
题名一类n值命题逻辑系统中改进的相似度及伪距离
被引量：4
- 1
-
-
作者
李骏
黎锁平
兰倩
-
机构
甘肃工业大学理学院
甘肃工业大学土木工程学院
-
出处
《甘肃工业大学学报》
北大核心
2003年第2期130-133,共4页
-
文摘
基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.
-
关键词
n值命题逻辑系统
均匀概率空间
真度
公式
相似度
伪距离
MP规则
HS规则
交推理规则
-
Keywords
truth degree
similarity degree
pseudo-distance
-
分类号
O141.1
[理学—基础数学]
O211
[理学—概率论与数理统计]
-
-
题名n值命题逻辑中公式的随机真度
- 2
-
-
作者
宋颖
张兴芳
-
机构
聊城大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第13期31-33,共3页
-
基金
山东省自然科学基金No.Y2003A01~~
-
文摘
给出了Lukasiewiczn值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集上的一种伪距离。
-
关键词
n值命题逻辑
随机真度
随机相似度
伪距离
-
Keywords
n-valued propositional logic
stochastic truth degrees
stochastic similarity degree
pseudometric
-
分类号
O159
[理学—基础数学]
-
-
题名Gdel n值命题逻辑中公式的α-随机真度理论
- 3
-
-
作者
宋颖
张兴芳
-
机构
聊城大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第31期40-42,45,共4页
-
基金
山东省科技攻关计划No.Y2003A01~~
-
文摘
给出了Gdeln值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。
-
关键词
n值命题逻辑
α-随机真度
α-Dn相似度
α-Dn伪距离
-
Keywords
n-valued propositional logic
α-Stochastic truth degrees
α-D^n similarity degree
α-D^n pseudometric
-
分类号
O159
[理学—基础数学]
-
-
题名n值S-MTL命题逻辑系统中公式真度的统一理论
被引量：15
- 4
-
-
作者
李骏
邓富喜
-
机构
兰州理工大学理学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第8期1864-1868,共5页
-
基金
国家自然科学基金(No.10771129)
-
文摘
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.
-
关键词
真度
强正则蕴涵算子
n值S-MTL命题逻辑系统
伪距离
-
Keywords
truth degree
strong regular implication operators
n-valued S-MTL propositional logical system
pseudo-distance
-
分类号
O142
[理学—基础数学]
-
