命题逻辑系统■中公式相对于有限理论的∑_Γ-模糊真度理论

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统■中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B),并利用这一关系在模糊命题演算系统■中的公式集F(S)上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统■中建立相对于有限理论的近似推理框架奠定了基础。

命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论

将模糊命题逻辑中的Σ-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln*中引入了公式集相对于有限理论的ΣΓ-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B)在模糊命题逻辑系统Ln*中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统Ln*中建立相对于有限理论的近似推理框架奠定了基础。

二值命题逻辑中基于前提信息的Г-真度理论

公式真度是反映其真确度的基本数值特征,由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量.以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真度表示式,以此为基础讨论了理论的基于前提信息Γ的误差不大于ε的结论在逻辑运算下的基本性质,为研究基于前提信息的近似推理问题提供数值化工具和方法.