期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计 被引量:5
1
作者 吴霞 张家录 《模糊系统与数学》 CSCD 北大核心 2012年第3期24-34,共11页
利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在... 利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。 展开更多
关键词 GODEL N值逻辑系统 随机真度 不可靠度 必要度 伪距离 近似推理
原文传递
二值逻辑的D-条件真度理论 被引量:4
2
作者 高香妮 王国俊 《云南师范大学学报(自然科学版)》 2009年第6期10-13,共4页
文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公... 文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。 展开更多
关键词 D-随机真度 D-条件真度 D-条件相似度 D-条件逻辑伪距离
下载PDF
二值命题逻辑中基于前提信息的随机真度 被引量:2
3
作者 王廷明 《兰州理工大学学报》 CAS 北大核心 2009年第3期159-162,共4页
由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为... 由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据. 展开更多
关键词 二值命题逻辑 D-随机真度 前提信息 Γ-随机相似度 Γ-随机伪距离
下载PDF
命题逻辑的随机真度理论及其应用 被引量:1
4
作者 刘晓玲 张家录 《模式识别与人工智能》 EI CSCD 北大核心 2013年第3期231-241,共11页
引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机... 引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式. 展开更多
关键词 命题逻辑 随机真度 随机相似度 随机逻辑伪距离空间 近似推理
下载PDF
模糊命题逻辑系统的计量化 被引量:1
5
作者 李修清 李燕 《模糊系统与数学》 CSCD 北大核心 2016年第4期68-75,共8页
在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了三种近似推理模式,并... 在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了三种近似推理模式,并讨论了它们之间的关系。 展开更多
关键词 随机真度 必要度 有效推理 随机逻辑度量空间
原文传递
概率逻辑学基本定理的推广及其应用
6
作者 李燕 《计算机工程与应用》 CSCD 北大核心 2017年第1期54-56,76,共4页
利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和H... 利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和HS规则成立。 展开更多
关键词 随机真度 随机不可靠度 随机伪距离 随机逻辑度量空间
下载PDF
D-逻辑伪距离不等式与近似推理
7
作者 王廷明 《昆明理工大学学报(理工版)》 北大核心 2009年第2期112-115,共4页
以D-随机真度为基础,给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式,得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式,并在D-逻辑度量空间中进行了近似推理讨论.
关键词 D-逻辑度量空间 D-随机真度 D-逻辑伪距离 近似推理 命题逻辑系统
下载PDF
二值命题逻辑中基于信息限制的随机真度 被引量:1
8
作者 亓正坤 丁洁玉 王廷明 《计算机工程与应用》 CSCD 2012年第22期51-53,57,共4页
以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示... 以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。 展开更多
关键词 二值命题逻辑 信息 Γ-限制随机真度 Γ-限制随机相似度 Γ-限制随机伪距离
下载PDF
随机模糊环境下的命题逻辑真度理论 被引量:3
9
作者 吴霞 张家录 《模式识别与人工智能》 EI CSCD 北大核心 2017年第4期289-301,共13页
在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机... 在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理. 展开更多
关键词 命题逻辑 随机模糊真度 随机模糊相似度 逻辑伪距离空间 极限定理 近似推理
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部