n值R_(0)命题逻辑系统中公式的条件随机真度

基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似推理理论。

Goguen公理化扩张系统的Γ-k随机真度理论及性质

本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏_(~,Δ)中介绍了任意理论Γ相对于特定理论Γ_0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.

修正的n值Gdel逻辑系统的随机化

利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。

三值Gdel命题逻辑系统的随机化

利用赋值集的随机化方法,在三值Gdel命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中。

经典推理模式的随机化研究及其应用(Ⅱ)

证明了D-逻辑度量空间中三种近似推理模式是等价的,指出了全体原子公式之集在D-逻辑度量空间中未必是全发散的。

D-逻辑度量空间中的相容理论

在D-逻辑度量空间中提出了理论的D-开放度,得出一个理论的D-开放度与它的D-发散度取值相等;提出了理论的D-相容度,得出D-相容度在D-逻辑度量空间中能保持逻辑度量空间中的基本性质。

D-逻辑度量空间与近似推理

通过随机化赋值集的方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在D-逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的.

Lukasiewicz n值命题逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。

有限Boole语义的随机化

基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.

随机模糊环境下的命题逻辑真度理论

在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理.

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。

逻辑系统L_3中公式的随机真度及近似推理

利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.

关于随机真度的若干注记

以随机真度为基础,在三值R0命题逻辑系统中给出了三种不同的近似推理模式并讨论了它们之间的关系,其次利用根的性质得出误差定义的若干推理结果。

n值命题逻辑中的P-随机真度及近似推理

利用赋值集的随机化方法,在n值命题逻辑中提出了n值逻辑P-测度和公式的P-随机真度的概念,证明了全体公式的P-随机真度之集在[0,1]中没有孤立点;利用P-随机真度定义了公式间的P-相似度和P-逻辑伪距离,为n值命题逻辑在一般情形下的近似推理理论提供了一种可能的框架。

逻辑理论的随机相容度

在n值Lukasiewicz命题逻辑系统中,提出理论的随机相容度的概念,并指出理论的随机相容度是和概率分布列的选取相关的。最后证明了理论的随机相容度在n值随机逻辑度量空间中,同样保持经典逻辑度量空间中的基本性质。

命题逻辑的随机真度理论及其应用

引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式.

三值命题逻辑系统中理论的随机发散度的分布

在三值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中,指出理论的p-随机发散度是和随机三值分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式之集S的p-随机发散度随着三值分布序列p的不同取值可以充满整个(0,1]实数区间。

命题公式的随机真度与推理规则

在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。

二值命题逻辑中基于信息限制的随机真度

以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。

四值非全序逻辑系统中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.