-
题名粗糙逻辑中公式的Borel型概率粗糙真度
被引量:14
- 1
-
-
作者
折延宏
贺晓丽
-
机构
西安石油大学理学院
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第5期970-983,共14页
-
基金
国家自然科学基金(1103133)
西安石油大学青年科技创新基金(2012QN011)
-
文摘
以一种特殊的粗糙逻辑为研究对象,视全体赋值之集为通常乘积拓扑空间,通过利用赋值集上的Borel概率测度,提出了能融合粗糙逻辑与计量逻辑为一体的公式的Borel型概率粗糙真度理论,给出了公式概率粗糙真度的公理化定义,建立起了相应的概率真度表示定理.公式的概率粗糙真度理论可被看作粗糙逻辑中已有工作的计量化,也可看作计量逻辑学中真度理论的粗糙化.基于这一核心概念,进一步给出了粗糙逻辑中已有概念的程度化表示形式,如公式的粗糙度、精确度、公式之间的粗糙相似度等,并建立起了基于粗糙相似度的3种近似推理模式.该结果实现了粗糙逻辑与计量逻辑的和谐统一,为进一步基于粗糙真值的程度化推理搭建了一个可能的框架.
-
关键词
粗糙逻辑
概率粗糙真度
粗糙相似度
近似推理
-
Keywords
rough logic
probabilistic rough truth degree
rough similarity degree
approximate reasoning
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一类特殊的粗糙逻辑代数的不确定性度量
- 2
-
-
作者
马晓珏
李立峰
-
机构
西安邮电学院理学院应用数学系
-
出处
《计算机工程与应用》
CSCD
2013年第3期150-151,155,共3页
-
基金
陕西省教育厅科研计划项目(No.2010JK835)
-
文摘
基于已有的包含度理论,在一类特殊的粗糙逻辑代数中首次引入了元素的粗糙真度,粗糙度等概念。进一步,引入了针对两个元素的粗糙相似度及粗糙包含度的概念,详细研究了它们的性质。这些概念可用于展开带有粗糙信息特征的近似推理。
-
关键词
粗糙真度
粗糙相似度
粗糙包含度
近似推理
-
Keywords
rough truth degree
rough similar degree
rough including degree
approximate reasoning
-
分类号
O159
[理学—基础数学]
-
-
题名粗糙逻辑中公式的一种新的粗糙概率真度
被引量:1
- 3
-
-
作者
左卫兵
李慧慧
钱莉
-
机构
华北水利水电大学数学与统计学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2019年第5期1174-1179,共6页
-
基金
河南省基础与前沿技术研究项目(No.152300410112)
-
文摘
本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.
-
关键词
粗糙逻辑
预粗糙代数
粗糙概率真度
粗糙相似度
近似推理
-
Keywords
rough logic
pre-rough algebra
rough probabilistic truth degree
rough similarity degree
approximate reasoning
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名粗糙逻辑的计量化研究
被引量:1
- 4
-
-
作者
折延宏
贺晓丽
-
机构
西安石油大学理学院
-
出处
《计算机工程与应用》
CSCD
2012年第14期44-50,共7页
-
基金
国家自然科学基金(No.61103133)
陕西省教育厅科研计划项目(No.11JK0473)
西安石油大学青年科技项目(No.YS29030909)
-
文摘
将计量化方法引入到粗糙逻辑的研究当中,在一种典型的粗糙逻辑LR中引入了公式的粗糙真度概念。在此基础上,提出了公式之间的粗糙相似度、粗糙伪距离等概念,得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两种不同的粗糙近似推理模式。这一结果实现了粗糙集与计量逻辑学这两种不同的处理近似问题理论的融合,同时对进一步丰富基于粗糙集的近似推理有一定启示。
-
关键词
粗糙逻辑
粗糙真度
粗糙相似度
粗糙伪距离
粗糙度量空间
-
Keywords
rough logic
rough truth degree
rough similarity degree
rough pseudo distance
rough metric space
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-