连续值命题逻辑中公式的条件相对重言度理论

doi:10.3778/j.issn.1002-8331.2010.16.016

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (16): 55-59.DOI: 10.3778/j.issn.1002-8331.2010.16.016

连续值命题逻辑中公式的条件相对重言度理论

谭桂梅¹，于西昌²

1.聊城大学图书馆，山东聊城 252059
2.聊城职业技术学院，山东聊城 252000

收稿日期:2008-11-14 修回日期:2009-02-02 出版日期:2010-06-01 发布日期:2010-06-01
通讯作者: 谭桂梅

Theory of conditional relative Γ-tautology degree of formulas in continuous value propositional logic system

TAN Gui-mei¹，YU Xi-chang²

1.Liaocheng University Library，Liaocheng，Shandong 252059，China
2.Liaocheng Vocational and Technical College，Liaocheng，Shandong 252000，China

Received:2008-11-14 Revised:2009-02-02 Online:2010-06-01 Published:2010-06-01
Contact: TAN Gui-mei

摘要/Abstract

摘要： 基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数，定义了公式的概率真度、条件概率真度的概念，引入了公式的条件相对Γ-重言度，并给出了若干性质。利用公式的条件相对Γ-重言度，定义了公式间的条件相对Γ-相似度，进而导出了伪距离。

关键词: 赋值密度函数, 条件概率真度, 条件相对Γ-重言度, 条件相对Γ-相似度, 伪距离

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

中图分类号:

O141.1

谭桂梅¹，于西昌². 连续值命题逻辑中公式的条件相对重言度理论[J]. 计算机工程与应用, 2010, 46(16): 55-59.

TAN Gui-mei¹，YU Xi-chang². 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]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[2]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[3]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[4]	马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.
[5]	惠小静，赵玛瑙. S-模糊逻辑系统中积分相似度及算子连续性[J]. 计算机工程与应用, 2014, 50(20): 45-47.
[6]	李骏，郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[J]. 计算机工程与应用, 2014, 50(2): 39-43.
[7]	亓正坤1，丁洁玉2，王廷明3. 二值命题逻辑中基于信息限制的随机真度[J]. 计算机工程与应用, 2012, 48(22): 51-53.
[8]	折延宏，贺晓丽. 粗糙逻辑的计量化研究[J]. 计算机工程与应用, 2012, 48(14): 44-50.
[9]	张美，马盈仓. Frank三角范数的一类模糊逻辑系统的真度理论[J]. 计算机工程与应用, 2011, 47(2): 32-34.
[10]	杨进峰1，崔艳丽1，2，吴洪博2. 连续值Luk系统中公式的Γ-真度及其性质[J]. 计算机工程与应用, 2011, 47(13): 30-32.
[11]	于西昌1，谭桂梅2. 几种逻辑系统中的概率真度[J]. 计算机工程与应用, 2011, 47(12): 27-30.
[12]	关晓红，刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41.
[13]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[14]	马丽娜¹，刘烁²，王国俊¹. 命题逻辑系统L_n中公式集上的真度函数[J]. 计算机工程与应用, 2010, 46(36): 37-39.
[15]	刘华丽. 模态逻辑中公式的模态真度[J]. 计算机工程与应用, 2010, 46(31): 61-63.

连续值命题逻辑中公式的条件相对重言度理论

Theory of conditional relative Γ-tautology degree of formulas in continuous value propositional logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics