逻辑系统L*中基于Г-演绎真度的近似推理
来源：计算机科学与探索杂志2015年第4期北京时间：
作者：郝国平，惠小静，赵玛瑙
单位：延安大学 数学与计算机科学学院，陕西 延安 716000
摘要：在逻辑系统L*中引入了公式Γ-演绎真度的概念，在Γ-演绎真度的基础上，定义了Γ-演绎相似度与伪距离，并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式，对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究，结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究，为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。
关键词：Γ,-演绎真度,Γ,-演绎相似度,近似推理,等价
