连续值命题逻辑系统中公式的条件概率真度

1

作者 于西昌 谭桂梅 张兴芳 《计算机工程与应用》 CSCD 北大核心 2009年第28期55-59,共5页

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密。

关键词 赋值密度函数 概率真度 条件概率真度 推理规则 稠密性

下载PDF 职称材料

连续值命题逻辑中公式的概率真度及相似度 被引量：4

2

作者 于西昌 张兴芳 《计算机工程与应用》 CSCD 北大核心 2009年第24期36-39,共4页

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系.

关键词 赋值密度函数 概率真度 推理规则 相似度 伪距离

下载PDF 职称材料

连续值命题逻辑系统中公式的概率真度 被引量：14

3

作者 左卫兵 毋红军 《河南教育学院学报（自然科学版）》 2007年第1期23-25,共3页

取赋值格为[0,1],引入赋值密度函数,定义了命题公式的概率真度,并讨论几种赋值密度函数的形态,得到一些概率真度推理规则.

关键词 赋值密度函数 概率真度 推理规则

下载PDF 职称材料

条件概率真度的相似度及伪距离 被引量：2

4

作者 于西昌 胡凯 张兴芳 《模糊系统与数学》 CSCD 北大核心 2009年第6期44-52,共9页

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并证明了概率真度的推理规则。

关键词 赋值密度函数 条件概率真度 相似度 伪距离

下载PDF 职称材料

■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理 被引量：18

5

作者 周红军 《软件学报》 EI CSCD 北大核心 2012年第9期2235-2247,共13页

通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真... 通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型. 展开更多

关键词 ■ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理

下载PDF 职称材料

Lukasiewicz三值命题逻辑系统中公式的概率真度理论 被引量：2

6

作者 关晓红 刘晓 《计算机工程与应用》 CSCD 北大核心 2010年第6期37-41,共5页

利用势为3的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中... 利用势为3的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。 展开更多

关键词 概率测度 概率真度 相似度 伪距离 孤立点

下载PDF 职称材料

MTL代数语义上逻辑公式的概率真度 被引量：8

7

作者 左卫兵 《电子学报》 EI CAS CSCD 北大核心 2015年第2期293-298,共6页

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计... 基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能. 展开更多

关键词 MTL代数 L-赋值 概率真度 概率逻辑度量空间 程度化推理

下载PDF 职称材料

二值命题逻辑中的概率真度 被引量：1

8

作者 于西昌 谭桂梅 《计算机工程与应用》 CSCD 北大核心 2010年第11期46-48,76,共4页

将二值命题逻辑系统的真度概念引入到概率逻辑,定义了公式的期望,给出了反映公式之间内在联系的相关系数,研究了无限公式收敛时所遵循的规律及特点,引入了度量不确定性的特征值—熵。

关键词 概率真度 数学期望 相关系数 熵

下载PDF 职称材料

标准序列逻辑系统S_3中公式的概率真度理论 被引量：1

9

作者 关晓红 李骏 《模糊系统与数学》 CSCD 北大核心 2009年第6期53-59,共7页

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有... 利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。 展开更多

关键词 概率测度 概率真度 相似度 伪距离 孤立点

下载PDF 职称材料

公式概率真度的相似度及伪距离

10

作者 于西昌 陈怀进 谭桂梅 《计算机工程与应用》 CSCD 北大核心 2010年第27期57-61,共5页

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统L*中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及性质,为... 通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统L*中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及性质,为推理程度的数值化提供了依据。 展开更多

关键词 赋值密度函数 概率真度 推理规则 相似度 伪距离

下载PDF 职称材料

命题逻辑系统中公式的概率真度理论

11

作者 于西昌 谭桂梅 张兴芳 《计算机工程与应用》 CSCD 北大核心 2010年第5期40-43,62,共5页

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。

关键词 赋值密度函数 概率真度 推理规则 相似度 伪距离

下载PDF 职称材料

几种逻辑系统中的概率真度

12

作者 于西昌 谭桂梅 《计算机工程与应用》 CSCD 北大核心 2011年第12期27-30,共4页

通过引入赋值密度函数、边缘密度函数等概念,给出了几种常见的命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了相似度的定义并讨论了其性质,为推理程度... 通过引入赋值密度函数、边缘密度函数等概念,给出了几种常见的命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了相似度的定义并讨论了其性质,为推理程度的数值化提供了依据。 展开更多

关键词 赋值密度函数 概率真度 推理规则 相似度

下载PDF 职称材料

Gdel命题逻辑中公式概率真度的相似度及伪距离

13

作者 谭桂梅 于西昌 《计算机工程与应用》 CSCD 北大核心 2010年第20期46-49,52,共5页

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统Gdel中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性... 通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统Gdel中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据。 展开更多

关键词 赋值密度函数 概率真度 推理规则 相似度

下载PDF 职称材料

命题逻辑中条件概率真度的相似度及伪距离

14

作者 牛广化 于西昌 《计算机工程与应用》 CSCD 北大核心 2010年第17期33-38,共6页

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度... 通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了可靠的依据。 展开更多

关键词 赋值密度函数 条件概率真度 相似度 伪距离

下载PDF 职称材料

二值命题逻辑中公式的一种概率真度 被引量：1

15

作者 左卫兵 《华北水利水电学院学报》 2007年第5期99-101,共3页

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.

关键词 命题逻辑 概率真度 稠度

下载PDF 职称材料

四值非线性格值逻辑中公式的概率真度

16

作者 左卫兵 《四川师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期63-67,共5页

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得... 王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性. 展开更多

关键词 非线性格 命题逻辑 概率真度 伪距离 逻辑度量空间

下载PDF 职称材料

三值命题逻辑中公式的概率真度

17

作者 于西昌 谭桂梅 《井冈山大学学报（自然科学版）》 2011年第1期13-19,共7页

将三值命题逻辑系统的真度概念引入到概率逻辑,定义公式的期望,给出反映公式之间内在联系的相关系数,研究无限公式收敛时所遵循的规律及特点,引入度量不确定性的特征值—熵.

关键词 概率真度 数学期望 相关系数 熵

下载PDF 职称材料

四值Gdel命题逻辑系统中公式的概率真度理论 被引量：1

18

作者 贺锦瑞 惠小静 双靖宁 《计算机科学》 CSCD 北大核心 2015年第B11期75-79,共5页

在四值Gdel命题逻辑系统中提出了公式的概率真度,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;定义了两个公式间的概率相似度,建立了概率逻辑度量空间,证明了此空间中没有孤立点,为研究四值Gdel命题逻辑系统的近似推理提供... 在四值Gdel命题逻辑系统中提出了公式的概率真度,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;定义了两个公式间的概率相似度,建立了概率逻辑度量空间,证明了此空间中没有孤立点,为研究四值Gdel命题逻辑系统的近似推理提供了思路。 展开更多

关键词 概率真度 相似度 孤立点

下载PDF 职称材料

粗糙逻辑中公式的一种新的粗糙概率真度 被引量：1

19

作者 左卫兵 李慧慧 钱莉 《电子学报》 EI CAS CSCD 北大核心 2019年第5期1174-1179,共6页

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规... 本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架. 展开更多

关键词 粗糙逻辑 预粗糙代数 粗糙概率真度 粗糙相似度 近似推理

下载PDF 职称材料

模态逻辑公式的概率真度理论 被引量：1

20

作者 李璧镜 《宝鸡文理学院学报（自然科学版）》 CAS 2022年第3期1-5,11,共6页

目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不... 目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。 展开更多

关键词 模态逻辑 概率真度 相容 逻辑等价

下载PDF 职称材料