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

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

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

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

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

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

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

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

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

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

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

Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。     

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

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

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

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

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

增加两类算子的Goguen n值命题逻辑系统的t真度及性质

在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证明了t真度的MP规则、HS规则及运算性质.接着,在证明￡伪距离的基础上建立了度量空间,并论证了算子(→),V在逻辑度量空间(F(S...     

Lukasiewicz三值命题逻辑中命题的真度理论

利用势为3的均匀概率空间的无穷乘积在Lukasiewicz三值命题逻辑中引入了公式的真度概念，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出真度的表达式；利用真度定义公式问的相似度，进而导出全体公式集上的一种伪距离，为三值命题的近似推理理论提供一种可能的框架。     

二值命题逻辑中有限理论数值特征的真度研究

以真度为基础,给出了有限理论的发散度、伪距离和有效度等数值特征的一般真度表示式,并研究了它们之间的关系.     

n值命题逻辑系统中公式真度的进一步研究

首先计算了四个 n 值命题逻辑系统L*,Luk,G(o)d及Ⅱ中一个典型公式户p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随 n 变化的情况.     

条件概率真度的相似度及伪距离

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并证明了概率真度的推理规则.     

关于三值R0命题逻辑系统的若干注记

在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论.     

命题逻辑中概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.     

三值R0命题逻辑系统的随机化

利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.     

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

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

G?del n值命题逻辑系统中的Δ真度

在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。