n值S-MTL逻辑系统中命题的Borel概率真度理论

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (2): 39-43.

n值S-MTL逻辑系统中命题的Borel概率真度理论

李骏，郑刚

兰州理工大学理学院，兰州 730050

出版日期:2014-01-15 发布日期:2014-01-26

Theory of probabilistic truth degree of propositions in n-valued S-MTL logic system

LI Jun, ZHENG Gang

School of Science, Lanzhou University of Technology, Lanzhou 730050, China

Online:2014-01-15 Published:2014-01-26

摘要/Abstract

摘要： 在n值[S-MTL]逻辑系统的统一框架下，通过视全体赋值之集为通常乘积拓扑空间，给出了命题的Borel概率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式，进而利用命题的Borel概率真度在该逻辑系统中引入公式间的相似度及其伪距离，使得在n值[S-MTL]逻辑系统的统一框架下搭建起融随机性和整体性于一体的近似推理模型成为可能。

关键词: 计量逻辑学, Borel概率测度, 伪距离, 近似推理

Abstract: The present paper introduces the notion of probabilistic truth degree of formulas in the unified framework of n-valued S-MTL logic by means of Borel probability measures on the space of all valuations endowed with the usual product topology. The integral expression of truth degree of formulas is given, similarity degree and pseudo metric between formulas are introduced based on the probabilistic truth degree of formulas, this makes it possible to construct a kind of model behaved both randomly and globally for approximate reasoning in the unified framework of n-valued S-MTL logic.

Key words: quantitative logic, Borel probability measure, pseudo metric, approximate reasoning

李骏，郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[J]. 计算机工程与应用, 2014, 50(2): 39-43.

LI Jun, ZHENG Gang. Theory of probabilistic truth degree of propositions in n-valued S-MTL logic system[J]. Computer Engineering and Applications, 2014, 50(2): 39-43.

[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]	陈海洋，毛蕊蕊，聂弘颖. 单元化单隐变量变结构DDBN推理算法[J]. 计算机工程与应用, 2015, 51(17): 128-133.
[6]	李骏，王菊花. 二值命题逻辑中逻辑理论的计量化及应用[J]. 计算机工程与应用, 2014, 50(24): 42-46.
[7]	惠小静，赵玛瑙. S-模糊逻辑系统中积分相似度及算子连续性[J]. 计算机工程与应用, 2014, 50(20): 45-47.
[8]	马晓珏，李立峰. 一类特殊的粗糙逻辑代数的不确定性度量[J]. 计算机工程与应用, 2013, 49(3): 150-151.
[9]	娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
[10]	亓正坤1，丁洁玉2，王廷明3. 二值命题逻辑中基于信息限制的随机真度[J]. 计算机工程与应用, 2012, 48(22): 51-53.
[11]	折延宏，贺晓丽. 粗糙逻辑的计量化研究[J]. 计算机工程与应用, 2012, 48(14): 44-50.
[12]	张子栋1，2，闫林1，闫硕3. 基于上近似的近似推理[J]. 计算机工程与应用, 2011, 47(9): 29-32.
[13]	左卫兵1，程伟丽1，孟永胜2. 逻辑系统G3中命题的D3-随机真度理论[J]. 计算机工程与应用, 2011, 47(5): 35-36.
[14]	张美，马盈仓. Frank三角范数的一类模糊逻辑系统的真度理论[J]. 计算机工程与应用, 2011, 47(2): 32-34.
[15]	杨进峰1，崔艳丽1，2，吴洪博2. 连续值Luk系统中公式的Γ-真度及其性质[J]. 计算机工程与应用, 2011, 47(13): 30-32.