逻辑系统L*中基于Г-演绎真度的近似推理

摘要

This paper introduces theΓ-deduction truth degree of formulas in L* logic system at first. Based onΓ-deduction truth degree, this paper definesΓ-deduction similarity degree and pseudo distance, and discusses some basic properties. Then this paper defines three different types of approximate reasoning models in L* logical system, and conducts a detailed analysis on the relationship between three different types of approximate reasoning models ofΓ-deduction truth degree. Finally, three types of approximate reasoning models are equivalent. The research in this paper lays a good foundation for further research on the divergence and compatibility ofΓ-deduction truth degree and approximate reasoning.%在逻辑系统L*中引入了公式Γ-演绎真度的概念，在Γ-演绎真度的基础上，定义了Γ-演绎相似度与伪距离，并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式，对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究，结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究，为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。