Journal of Frontiers of Computer Science and Technology ›› 2015, Vol. 9 ›› Issue (4): 507-512.DOI: 10.3778/j.issn.1673-9418.1409054
Previous Articles
HAO Guoping+, HUI Xiaojing, ZHAO Manao
Online:
Published:
郝国平+,惠小静,赵玛瑙
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
摘要: 在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。
关键词: &Gamma, -演绎真度, &Gamma, -演绎相似度, 近似推理, 等价
HAO Guoping, HUI Xiaojing, ZHAO Manao. Approximate Reasoning Based on Γ-deduction Truth Degree in L* Logic System[J]. Journal of Frontiers of Computer Science and Technology, 2015, 9(4): 507-512.
郝国平,惠小静,赵玛瑙. 逻辑系统L*中基于Г-演绎真度的近似推理[J]. 计算机科学与探索, 2015, 9(4): 507-512.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://fcst.ceaj.org/EN/10.3778/j.issn.1673-9418.1409054
http://fcst.ceaj.org/EN/Y2015/V9/I4/507
/D:/magtech/JO/Jwk3_kxyts/WEB-INF/classes/