一种五元格值逻辑上命题真度的分布

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (22): 35-36.

一种五元格值逻辑上命题真度的分布

左卫兵，张嘎

华北水利水电学院数学与信息科学学院，郑州 450011

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-08-01 发布日期:2011-08-01

Distribution of propositional truth degree in five lattice-valued logic system

ZUO Weibing，ZHANG Ga

School of Math. & Information Science，North China University of Water Resources & Electric Power，Zhengzhou 450011，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-08-01 Published:2011-08-01

摘要/Abstract

摘要： 利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念，给出了真度的一些推理规则，证明了全体公式的真度值之集在[0，1]上是稠密的，给出了全体公式真度的表达通式，为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。

关键词: 格值逻辑, 真度, 推理规则, 稠密性

Abstract: Based on the infinite product of evenly distributed probability space with number of 5，the theory of truth degree in a five lattice-valued logic system is introduced.Some inference rules are given.It is proved that the set of truth degree of formulae is dense in [0，1]，and the expressions of truth degree are obtained.Therefore a possible framework for establishing approximate theory of five lattice-valued logic system is proposed.

Key words: lattice-valued logic system, truth degree, inference rule, density

左卫兵，张嘎. 一种五元格值逻辑上命题真度的分布[J]. 计算机工程与应用, 2011, 47(22): 35-36.

ZUO Weibing，ZHANG Ga. Distribution of propositional truth degree in five lattice-valued logic system[J]. Computer Engineering and Applications, 2011, 47(22): 35-36.

[1]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[2]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[3]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[4]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[5]	洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.
[6]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[7]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[8]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[9]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[10]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[11]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[12]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[13]	易三莉1，2，郭贝贝2，马磊2，钱洁2. 改进的模糊推理规则图像边缘检测算法[J]. 计算机工程与应用, 2016, 52(12): 180-183.
[14]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[15]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.