多值逻辑公式间的伪距离的Boole函数表示

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (23): 38-41.

多值逻辑公式间的伪距离的Boole函数表示

马巧云1，吴洪博2

1.西安文理学院数学与计算机工程学院，西安 710065
2.陕西师范大学数学与信息科学学院，西安 710062

出版日期:2015-12-01 发布日期:2015-12-14

Boole function representation of pseudo-metric among many-valued formula

MA Qiaoyun1, WU Hongbo2

1.College of Mathematics and Computer Engineering, Xi’an Arts and Science University, Xi’an 710065, China
2.College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China

Online:2015-12-01 Published:2015-12-14

摘要/Abstract

摘要： 利用逻辑公式的Boole函数表示，给出了[m]元[n]值逻辑公式的真度和公式间伪距离的等价定义，说明了这种定义与原有的概率形式的定义等价，得到了公式间的伪距离的一些简单性质。

关键词: 逻辑系统, Boole函数, 真度, 伪距离

Abstract: The Boole function of formula is given in logic system, the truth degree of n-ary and m-valued formula and pseudo-metric among n-ary and m-valued formulas are defined, It is explained that the definitions of truth degree and pseudo-metric are equivalent to the original probability definition. Some simple properties of pseudo-metric among formulas are obtained.

Key words: logic system, Boole functions, truth degree, pseudo-metric

马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.

MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula[J]. Computer Engineering and Applications, 2015, 51(23): 38-41.

[1]	袁顺杰，程辉，叶贞成，程培鑫. SOM-T2 FLS在股市预测中的应用研究[J]. 计算机工程与应用, 2020, 56(7): 130-136.
[2]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[3]	荣宇音，徐罗山. 逻辑系统L和BL的广义演绎定理的逆定理[J]. 计算机工程与应用, 2019, 55(1): 47-49.
[4]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[5]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[6]	洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.
[7]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[8]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[9]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[10]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[11]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[12]	丁博，李骏. F-λ三角模的结构及其应用[J]. 计算机工程与应用, 2016, 52(4): 1-5.
[13]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[14]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[15]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.