计算机科学与探索 ›› 2015, Vol. 9 ›› Issue (4): 507-512.DOI: 10.3778/j.issn.1673-9418.1409054
• 人工智能与模式识别 • 上一篇
郝国平+,惠小静,赵玛瑙
HAO Guoping+, HUI Xiaojing, ZHAO Manao
摘要: 在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。