命题公式的随机真度与推理规则

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (19): 66-70.

命题公式的随机真度与推理规则

李修清

桂林航天工业学院理学部，广西桂林 541004

出版日期:2015-09-30 发布日期:2015-10-13

Randomized truth degree and inference rules of proposition formulas

LI Xiuqing

Faculty of Science, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China

Online:2015-09-30 Published:2015-10-13

摘要/Abstract

摘要： 在[n]值Lukasiewicz命题逻辑系统中，引入命题随机真度的概念，给出了随机真度的一个计算公式，研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。

关键词: 命题逻辑, 随机真度, 推理规则

Abstract: Using the randomization method of valuation set, the concept of randomized truth degree of formulas is introduced into n-valued Lukasiewicz propositional logic system. It gives a randomized truth degree’s calculation formula, and researchs its properties. The MP rule, HS rule and meet inference rules of randomized truth degree are proved.

Key words: proposition logic, randomized truth degree, inference rules

李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.

LI Xiuqing. Randomized truth degree and inference rules of proposition formulas[J]. Computer Engineering and Applications, 2015, 51(19): 66-70.

[1]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[2]	宁欣然，徐扬，曹峰，吴贯峰. 命题逻辑提升到一阶逻辑上的子句消去方法[J]. 计算机工程与应用, 2019, 55(5): 18-25.
[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]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[12]	易三莉1，2，郭贝贝2，马磊2，钱洁2. 改进的模糊推理规则图像边缘检测算法[J]. 计算机工程与应用, 2016, 52(12): 180-183.
[13]	娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
[14]	李修清1，魏海新1，林亮2. 修正的[n]值G?del逻辑系统的随机化[J]. 计算机工程与应用, 2012, 48(24): 45-48.
[15]	亓正坤1，丁洁玉2，王廷明3. 二值命题逻辑中基于信息限制的随机真度[J]. 计算机工程与应用, 2012, 48(22): 51-53.