Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (9): 51-52.DOI: 10.3778/j.issn.1002-8331.2009.09.014

• 研究、探讨 • Previous Articles     Next Articles

Approximate reasoning based on conditional truth degree of formulas in classical propositional logic

WANG Ting-ming   

  1. Qingdao University,Qingdao,Shandong 266071,China
  • Received:2008-02-18 Revised:2008-05-22 Online:2009-03-21 Published:2009-03-21
  • Contact: WANG Ting-ming

二值命题逻辑中基于条件真度的近似推理

王廷明   

  1. 青岛大学,山东 青岛 266071
  • 通讯作者: 王廷明

Abstract: This paper proposes the truth degree expression of the pseudo-metric in two-valued propositional logic,which are based on the truth degree.From the process of approximate reasoning,the equivalence of not greater than ε-value in two kinds of errors has also been proved.Meanwhile,using the finite theory,discuss the principal properties of the error’s conclusions which are not greater than ε under the Boolean calculation.

Key words: classical propositional logic, truth degree, conditional truth degree, finite theory, pseudo-metric, approximate reasoning

摘要: 以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。

关键词: 二值命题逻辑, 真度, 条件真度, 有限理论, 伪距离, 近似推理