连续值Luk系统中公式的Γ-真度及其性质

对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiewicz系统中公式的积分真度相结合,在连续值Lukasiewicz系统中引入了公式相对于有限理论的Γ-真度理论,讨论了其中的主要性质;在公式集F(S)上引入了任意两公式相对于有限理论的Γ-伪距离,从而拓宽了真度理论的应用范围。

二值命题逻辑中基于信息限制的随机真度

以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。

二值命题逻辑中基于前提信息的随机真度

由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据.