R0型命题逻辑系统的随机化

利用赋值集的随机化方法,在R0型n值命题逻辑系统和R0型模糊命题逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,从而建立了更一般的随机逻辑度量空间.     

概率逻辑伪度量空间及其性质

论证有限多个公式的概率分布与生成它的原子公式集的概率分布之间的关系,然后把计量逻辑学与概率逻辑学相结合,提出了概率真度、概率逻辑伪度量空间(F(n),ρP);指出当取均匀概率分布时,概率真度就转化为计量逻辑学中的真度,同时两公式间的概率逻辑伪距离Pρ就转化为计量逻辑学中的伪距离ρ.从而在有限理论中建立了一种更具一般性的概率逻辑伪度量空间理论。     

四值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广.     

多值逻辑系统中公式的μ-真度理论

通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.     

概率逻辑学基本定理在多值命题逻辑系统中的推广

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.     

三值G(o)del命题逻辑系统的随机化

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

n值G?del命题逻辑系统中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性.     

有限Boole语义中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在有限Boole语义中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

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

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

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