计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (30): 4-5.DOI: 10.3778/j.issn.1002-8331.2009.30.002

• 博士论坛 • 上一篇    下一篇

计量逻辑学中的收敛理论

韩邦合1,2,李永明1,3   

  1. 1.陕西师范大学 数学与信息科学学院,西安 710062
    2.西安电子科技大学 理学院 数科系,西安 710126
    3.陕西师范大学 计算机科学学院,西安 710062
  • 收稿日期:2009-06-22 修回日期:2009-08-28 出版日期:2009-10-21 发布日期:2009-10-21
  • 通讯作者: 韩邦合

Convergency theory in quantitative logic

HAN Bang-he1,2,LI Yong-ming1,3   

  1. 1.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
    2.School of Science,Xidian University,Xi’an 710126,China
    3.College of Computer Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2009-06-22 Revised:2009-08-28 Online:2009-10-21 Published:2009-10-21
  • Contact: HAN Bang-he

摘要: 初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。

关键词: 真度, 相似度, 伪度量, 度量收敛, 赋值收敛, 网收敛, 计量逻辑学, 近似推理,

Abstract: The convergency theory of quantitative logic is given.The concepts of convergency and strong convergencyin logic metric spaces are presented.Characterizations and the relations of the two conceptsdistance are proved.

Key words: truth degree, similarity degree, pseudo-metric, distance convergency, valuational convergency, net convergency, quantitative logic, quantitative logic

中图分类号: