计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (10): 33-35.DOI: 10.3778/j.issn.1002-8331.2010.10.011
• 研究、探讨 • 上一篇 下一篇
王廷明
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WANG Ting-ming
Received:
Revised:
Online:
Published:
Contact:
摘要： 在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离，得到了公式到有限理论结论集的T-伪距离的T-真度表示式，为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。
关键词: 二值命题逻辑, 真度, T-真度, T-相似度, T-伪距离
Abstract: This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.And the T-similarity and the T-pseudo metric of formulae are defined.Meanwhile the T-truth degree expression of the T-pseudo metric in conclusion set is gotten under the finite theory.So these studies can become the numerical identification of approximate reasoning problems which is based on the T-truth degree in two-valued propositional logic.
Key words: two-valued propositional logic, truth degree, T-truth degree, T-similarity, T-pseudo metric
中图分类号:
O141.3
王廷明. 二值命题逻辑系统的T-真度理论（I）[J]. 计算机工程与应用, 2010, 46(10): 33-35.
WANG Ting-ming. T-truth degree theory in two-valued propositional logic system（I）[J]. Computer Engineering and Applications, 2010, 46(10): 33-35.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2010.10.011
http://cea.ceaj.org/CN/Y2010/V46/I10/33
