摘要
在二值命题逻辑系统中引入了公式的T-真度概念,并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离,得到了公式到有限理论结论集的T-伪距离的T-真度表示式,为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。
This paper obtains the T-truth degree in logic operations.And the T-similarity and the sion of the T-pseudo metric in conclusion set is fication of approximate reasoning problems which of formulae in two-valued propositional logic system and discusses its properties T-pseudo metric of formulae are defined.Meanwhile the T-truth degree expresgotten under the finite theory.So these studies can become the numerical identiis based on the T-truth degree in two-valued propositional logic.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第10期33-35,共3页
Computer Engineering and Applications
关键词
二值命题逻辑
真度
T-真度
T-相似度
T-伪距离
two-valued propositional logic
truth degree
T-truth degree
T-similarity
T-pseudo metric
