二值逻辑中命题的条件真度理论 被引量：44

1

作者 韩邦合 王国俊 《模糊系统与数学》 CSCD 北大核心 2007年第4期9-15,共7页

基于条件概率的思想,在二值经典命题逻辑中引入条件真度的概念。在二值逻辑系统中初步给出了在信息Σ下的近似推理理论。

关键词 二值命题逻辑 真度 条件真度 信息 近似推理

下载PDF 职称材料

一种n值逻辑系统中命题的条件真度 被引量：11

2

作者 胡江山 《山东大学学报（理学版）》 CAS CSCD 北大核心 2009年第6期56-59,共4页

基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。

关键词 R0-命题逻辑系统 真度 条件真度

原文传递

逻辑系统G_3中命题的D-条件真度与近似推理 被引量：8

3

作者 崔美华 《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第11期52-58,共7页

基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,... 基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算"∨","∧","→"关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。 展开更多

关键词 逻辑系统G D-条件真度 D-条件伪距离 D-条件逻辑度量空间 近似推理

原文传递

经典命题逻辑中公式的D-条件真度及近似推理 被引量：6

4

作者 崔美华 《模糊系统与数学》 CSCD 北大核心 2010年第6期34-41,共8页

基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间... 基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。 展开更多

关键词 D-条件真度 D-条件相似度 DΓ-逻辑度量空间 近似推理

原文传递

二值逻辑的D-条件真度理论 被引量：4

5

作者 高香妮 王国俊 《云南师范大学学报（自然科学版）》 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 职称材料

命题逻辑中理论的条件真度 被引量：4

6

作者 张乐 裴道武 《山东大学学报（理学版）》 CAS CSCD 北大核心 2012年第2期82-85,92,共5页

探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。

关键词 计量逻辑 真度 条件真度 近似推理 理论和谐度

原文传递

三值Lukasiewicz逻辑系统L_3中命题的条件真度 被引量：3

7

作者 胡江山 《重庆文理学院学报（自然科学版）》 2009年第1期32-34,共3页

基于条件概率的思想,在三值Lukasiewicz逻辑系统中引入了条件真度的概念,并讨论了所定义的条件真度的性质及相应的推理规则.

关键词 三值Lukasiewicz逻辑系统 真度 条件真度

下载PDF 职称材料

三值逻辑命题的条件真度理论 被引量：4

8

作者 娄银华 张秋霞 吴洪博 《云南师范大学学报（自然科学版）》 2008年第5期6-10,46,共6页

基于条件概率的思想,在三值逻辑命题中引入条件真度的概念。在三值逻辑系统中初步给出在信息Σ下的近似推理理论。

关键词 真度 条件真度 信息 近似理论

下载PDF 职称材料

三值Lukasiewicz逻辑中命题的条件真度理论 被引量：3

9

作者 郭秀敏 高荣荣 王国俊 《黑龙江科技学院学报》 CAS 2008年第3期221-224,231,共5页

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Γ下的近似推理理论提供了一... 利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Γ下的近似推理理论提供了一种可能的框架。 展开更多

关键词 数理逻辑 三值Lukasiewicz命题逻辑 条件真度 相似度 近似推理

下载PDF 职称材料

二值命题逻辑的D-条件发散度理论 被引量：2

10

作者 高香妮 王国俊 《云南师范大学学报（自然科学版）》 2010年第4期10-13,共4页

在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.

关键词 D-真度 D-发散度 D-条件真度 D-条件发散度

下载PDF 职称材料

计量逻辑学中真度的贝叶斯公式 被引量：1

11

作者 何超琴 韩邦合 《计算机工程与应用》 CSCD 北大核心 2011年第32期45-46,61,共3页

在条件真度的基础上,给出了计量逻辑学中二值公式真度的全概率公式和贝叶斯公式,并且在D-条件真度,蕴涵真度以及多值逻辑系统下讨论了该贝叶斯公式是否成立,得出在D-条件真度,多值逻辑系统下该贝叶斯公式仍然是成立的。

关键词 真度 条件真度 贝叶斯公式 D-条件真度

下载PDF 职称材料

模糊命题系统Gdel和L~*中条件真度的比较 被引量：2

12

作者 范欣 王国俊 《云南师范大学学报（自然科学版）》 2010年第4期23-27,共5页

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的... 首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd. 展开更多

关键词 模糊命题系统Gdel和L＊ 蕴涵算子 三角模算子 伴随对 公式的条件真度

下载PDF 职称材料

二值命题逻辑中基于条件真度的近似推理 被引量：2

13

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2009年第9期51-52,66,共3页

以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。

关键词 二值命题逻辑 真度 条件真度 有限理论 伪距离 近似推理

下载PDF 职称材料

几个三值命题逻辑系统中命题的条件真度 被引量：1

14

作者 隋云云 《潍坊学院学报》 2009年第4期77-80,共4页

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。

关键词 三值逻辑系统 真度 条件真度 真度推理规则

下载PDF 职称材料

n值Lukasiewicz逻辑中命题的条件真度理论 被引量：2

15

作者 高荣荣 郭秀敏 王国俊 《延安大学学报（自然科学版）》 2009年第1期6-10,共5页

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息下的近似推理理论提供了一种... 利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息下的近似推理理论提供了一种可能的框架。 展开更多

关键词 n值Lukasiewicz命题逻辑 条件真度 相似度 伪距离

下载PDF 职称材料

二值命题逻辑中基于条件真度的近似推理(Ⅱ) 被引量：1

16

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2010年第29期50-52,共3页

在二值命题逻辑中引入了信息Г下理论的相对偏差概念,给出了相对偏差的条件真度表示式;提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角... 在二值命题逻辑中引入了信息Г下理论的相对偏差概念,给出了相对偏差的条件真度表示式;提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角度研究二值命题逻辑中基于条件真度的近似推理问题提供多样化工具。 展开更多

关键词 二值命题逻辑 条件真度 有限理论 相对偏差

下载PDF 职称材料

二值命题逻辑中的蕴涵度量与近似推理

17

作者 王廷明 《重庆师范大学学报（自然科学版）》 CAS 2009年第3期45-48,共4页

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具。为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中... 在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具。为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法。 展开更多

关键词 二值命题逻辑 真度 条件真度 伪距离 蕴涵度量

下载PDF 职称材料

n值命题逻辑中的ξ-条件开放度

18

作者 李修清 《计算机工程与应用》 CSCD 北大核心 2016年第8期25-28,共4页

在n值Lukasiewicz命题逻辑系统中引入公式的ξ-条件真度的概念,引入理论的ξ-条件开放度的概念,得到了ξ-条件真度的一些基本性质,证明了全体原子公式之集S={q1q2}不是ξ-条件全开放的,其是否条件全开放取决于给定的随机概率分布。

关键词 随机真度 ξ-条件真度 ξ-条件开放度

下载PDF 职称材料

n值逻辑系统中条件随机真度理论

19

作者 黎丽 《纯粹数学与应用数学》 CSCD 2014年第6期573-580,共8页

在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间.

关键词 随机真度 条件真度 条件相似度 条件逻辑度量空间

下载PDF 职称材料

经典命题逻辑中理论的D-条件发散度与近似推理

20

作者 崔美华 《模糊系统与数学》 CSCD 北大核心 2013年第1期34-39,共6页

在经典命题逻辑系统中,给出了D-Γ逻辑度量空间中理论的D-条件发散度和公式到理论的D-条件距离的真度表达式,推出了它们的若干性质;并利用这些性质研究了D-Γ逻辑度量空间中近似推理的相关问题。

关键词 D-条件真度 D-条件发散度 D-条件距离 近似推理

原文传递