计量逻辑学中的近似推理

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。     

计量逻辑学中的雪崩逻辑公式

将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。     

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

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

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

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

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

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

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

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

逻辑度量空间

取赋值格为［０,１］,用积分工具引入了公式的真度和相似度的概念,并从而在公式集Ｆ上建立了伪距离,为近似推理提供了一种可能的框架．     

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

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

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

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

三值逻辑系统W3中的随机化研究

利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点.     

关于命题逻辑系统中相似度性质的修正

通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差.本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正.本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解.     

四值非线性序集逻辑系统中理论的随机发散度

在四值非线性序集逻辑系统L24中,给出了随机相似度和随机逻辑伪距离的基本性质。然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的四值概率分布序列。     

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

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

关于随机真度的若干注记

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

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

二值逻辑中命题的条件真度理论

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

公式真度的大小之比较

在不同的逻辑系统中,同一公式的真度往往差别很大.因此,本文系统探讨了六个n值命题逻辑系统中公式真度的分布情况.首先,计算了六个n值命题逻辑系统中一个典型公式的真度;然后通过列表比较了该公式在这六个逻辑系统中真度的大小.最后,分析了该公式在每个逻辑系统中的真度随n变化的情况.