Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (16): 55-59.DOI: 10.3778/j.issn.1002-8331.2010.16.016
• 研究、探讨 • Previous Articles Next Articles
TAN Gui-mei1，YU Xi-chang2
Received:
Revised:
Online:
Published:
Contact:
谭桂梅1，于西昌2
通讯作者:
Abstract: The valuation density function of formulas in the Lukasiewicz propositional logic system is proposed.The definitions of probability truth degree and conditional probability truth degree for formulas in the Lukasiewicz propositional logic system are proposed.The concept of conditional relative Γ-tautology degree of formulas is proposed，and its basic properties are obtained.The conditional relative Γ-similarity degree between formulas is defined by means of conditional relative Γ-tautology degree，and a pseudo-distance between formulas is then introduced.
Key words: valuation density function, conditional probability truth degree, conditional relative Γ-tautology degree, conditional relative Γ-similarity degree, pseudo-distance
摘要： 基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数，定义了公式的概率真度、条件概率真度的概念，引入了公式的条件相对Γ-重言度，并给出了若干性质。利用公式的条件相对Γ-重言度，定义了公式间的条件相对Γ-相似度，进而导出了伪距离。
关键词: 赋值密度函数, 条件概率真度, 条件相对Γ-重言度, 条件相对Γ-相似度, 伪距离
CLC Number:
O141.1
TAN Gui-mei1，YU Xi-chang2. Theory of conditional relative Γ-tautology degree of formulas in continuous value propositional logic system[J]. Computer Engineering and Applications, 2010, 46(16): 55-59.
谭桂梅1，于西昌2. 连续值命题逻辑中公式的条件相对重言度理论[J]. 计算机工程与应用, 2010, 46(16): 55-59.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2010.16.016
http://cea.ceaj.org/EN/Y2010/V46/I16/55
