随机逻辑度量空间的近似推理

以n值命题逻辑系统的随机真度为基础,在R0型n值命题逻辑系统的随机度量空间中提出了三种不同类型的近似推理模式的概念,研究了这三种推理模式之间的关系。

随机逻辑度量空间中命题稠密性与逻辑算子连续性

在赋值域为W=[0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算、∨与→是连续的。

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

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

ξ-逻辑度量空间中理论的开放度

在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。

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

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

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

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

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

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

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

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

逻辑理论的随机相容度

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

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

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

三值Gdel命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.

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

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

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.

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

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

关于随机真度的若干注记

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

n值Lukasiewicz命题逻辑系统中理论的相容度

在n值Lukasiewicz命题逻辑系统的随机逻辑度量空间中,提出ξ-相容度的概念,讨论它的基本性质,证明了ξ-相容度在n值随机逻辑度量空间仍然保持经典逻辑度量空间中的基本性质。

概率逻辑学基本定理的推广及其应用

利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和HS规则成立。

有限Boole语义中基于前提信息的随机真度

本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.

一个理论的随机开放度的分布

在n值Lukasiewicz命题逻辑系统中展开研究,提出理论的p-随机开放度的概念,研究一个理论的随机开放度的分布情况,得出理论的p-随机开放度具有随机性,即和n维概率分布列的取值相关联,完全研究清楚了全体原子公式集S的p-随机开放度的分布情况,得出了依n维概率分布列p的不同取值,原子公式集S的随机开放度的分布可以充满整个(0,1]实数区间。

Lukasiewicz模糊命题逻辑系统的计量化与近似推理

为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明:3种近似推理模式在随机逻辑度量空间中是等价的。