Gdel n值命题逻辑系统中命题公式的t真度及近似推理

通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。

一种基于t相似分类的连续值域决策表的决策算法

首先给出t相似度的定义,并引入t相似类的概念。随后,借助研究对象的t相似类定义了相似划分算法和广义决策集,并研究它们的性质,给出基于相似划分的类对应规则提取方法。接着,给出类对应规则中各条件类的区间表达,得到了面向连续值域决策表的规则提取算法。最后,结合实例说明了决策规则提取算法的实现过程。

基于粗糙集理论的不完备决策表的完备化方法

首先针对不同的条件属性类型,分别给出两对象关于条件属性的相似度,然后给出了t相似度的概念,最后分别就条件属性是离散、连续、序数型的决策表给出了相应的完备化(补齐)算法.实例表明此完备化方法是行之有效的.

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

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

增加两类算子的G■del n值命题逻辑系统的t随机真度理论

通过对Godel n值命题逻辑系统进行公理化扩张Godel〜,△,简记为G〜,△,利用赋值集随机化的方法,在Godel〜,△中提出了命题公式的t随机真度的定义(t任取〜,△),研究了t随机真度的MP规则、HS规则、交推理规则和并推理规则以及它的一些相关性质;给出了命题公式间的t随机相似度和I随机伪距离的概念,讨论了它们的一些相关性质;得到了命题公式间理论Г的t随机发散度和t随机相容度的概念以及它们的一些相关性质;最后在随机逻辑度量空间中提出了三种不同的近似推理模式,并证明了三种近似推理模式间的等价性。