计算机科学与探索 ›› 2015, Vol. 9 ›› Issue (4): 507-512.DOI: 10.3778/j.issn.1673-9418.1409054

• 人工智能与模式识别 • 上一篇    

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

郝国平+,惠小静,赵玛瑙   

  1. 延安大学 数学与计算机科学学院,陕西 延安 716000
  • 出版日期:2015-04-01 发布日期:2015-04-02

Approximate Reasoning Based on Γ-deduction Truth Degree in L*  Logic System

HAO Guoping+, HUI Xiaojing, ZHAO Manao   

  1. College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China
  • Online:2015-04-01 Published:2015-04-02

摘要: 在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。

关键词: &Gamma, -演绎真度, &Gamma, -演绎相似度, 近似推理, 等价

Abstract: 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.

Key words: Γ-deduction truth degree, Γ-deduction similarity degree, approximate reasoning, equivalence