Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (23): 9-10.DOI: 10.3778/j.issn.1002-8331.2009.23.003

• 博士论坛 • Previous Articles     Next Articles

Error accumulation theory in quantitative logic

HAN Bang-he 1,2,LI Yong-ming 1,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-05-05 Revised:2009-06-06 Online:2009-08-11 Published:2009-08-11
  • Contact: HAN Bang-he

计量逻辑学中的误差累计理论

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

  

  1. 1.陕西师范大学 数学与信息科学学院,西安 710062
    2.西安电子科技大学 理学院 数科系,西安 710126
    3.陕西师范大学 计算机科学学院,西安 710062
  • 通讯作者: 韩邦合

Abstract: The error accumulation theory is given in quantitative logic.It has been proved that in propositional logic,the error of a conclusion is less or equal to the sum of the errors of its premices as conclusions of Γ.

Key words: truth degree, similarity degree, pseudo-metric, error accumulation, quantitative logic, approximate reasoning

摘要: 在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论(作为Γ结论)的误差不会超过各前提误差的和。

关键词: 真度, 相似度, 伪度量, 误差累计, 计量逻辑学, 近似推理

CLC Number: