增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度

doi:10.3778/j.issn.1002-8331.1705-0229

计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (19): 68-71.DOI: 10.3778/j.issn.1002-8331.1705-0229

增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度

王勇勇，惠小静

延安大学数学与计算机科学学院，陕西　延安 716000

出版日期:2018-10-01 发布日期:2018-10-19

Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator

WANG Yongyong, HUI Xiaojing

Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator

Online:2018-10-01 Published:2018-10-19

摘要/Abstract

摘要： 在添加了[Δ]算子Gödeln值命题逻辑系统中，给出了Gödel[n]值命题逻辑系统中有限理论的平均真度的定义，给出了该系统下的一些重要结论并给予证明，验证了在该系统下平均真度的一些基本性质，为进一步在该系统下研究平均真度奠定了基础。

关键词: Gö, del[n]值命题逻辑系统, 有限理论, 平均真度, [&Delta, ]算子

Abstract: Firstly, [Δ]operator is presented in Gödel[n]-valued propositional logic system, the definition of average truth degree for finite theory is proposed, then some important conclusions of the system are given and proved. Finally, some basic properties of average truth degree are discussed, it lays the foundation for further research on the average truth degree of the system.

Key words: Gödel[n]-valued propositional logic system, finite theory, average truth degree;[Δ]operator

王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.

WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator[J]. Computer Engineering and Applications, 2018, 54(19): 68-71.

[1]	许闯来，胡坚堃，黄有方. 不确定需求下快递配送网络鲁棒优化[J]. 计算机工程与应用, 2020, 56(3): 272-278.
[2]	朱惠娟，王永利，陈琳琳. 面向三维模型轻量化的自私羊群优化算法研究[J]. 计算机工程与应用, 2020, 56(3): 42-48.
[3]	弓剑锋1，韩建栋1，邓一凡2. 基于运动特征及位置估计的行人检测算法[J]. 计算机工程与应用, 2019, 55(7): 138-144.
[4]	王进1，李琪2，黄家玮2. 路径差异敏感的包散射策略机制[J]. 计算机工程与应用, 2019, 55(5): 72-75.
[5]	曹凯1，2，杨雪梦1，姚敏茹1，2，马天力1，张航1. 基于混合运动估计方法的视觉里程计[J]. 计算机工程与应用, 2019, 55(5): 175-180.
[6]	王锟，宋永红，郑斐，梅魁志. 基于卷积神经网络的嵌入式手势检测算法[J]. 计算机工程与应用, 2019, 55(4): 137-141.
[7]	孟建军，刘震. 城轨列车精确停车智能控制算法研究与仿真[J]. 计算机工程与应用, 2019, 55(23): 257-264.
[8]	张凯兵，王珍，闫亚娣，朱丹妮. 优化的AdaBoost回归图像超分辨方法[J]. 计算机工程与应用, 2019, 55(20): 159-163.
[9]	何喜军，马珊，武玉英，蒋国瑞. 小样本下多维指标融合的电商产品销量预测[J]. 计算机工程与应用, 2019, 55(15): 177-184.
[10]	孙骁永1，2，王伟1，霍玮1，2，周建华1. 动态事件序列制导的Android应用漏洞验证技术[J]. 计算机工程与应用, 2018, 54(6): 86-94.
[11]	李川1，刘宝旭2. ParaIntentFuzz：安卓应用漏洞的并行化模糊测试方法[J]. 计算机工程与应用, 2018, 54(4): 110-116.
[12]	朱丹红，林清祥，张栋. 基于SDN数据中心网络的时限感知的拥塞控制算法[J]. 计算机工程与应用, 2018, 54(3): 68-73.
[13]	贾冀芳，张立新，廖明耀. 基于OpenSSL的SM2与RSA自动切换算法的设计[J]. 计算机工程与应用, 2018, 54(3): 74-81.
[14]	周丽芳1，2，文佳黎1，李伟生3. 基于TI-SPCA的人脸自动对齐及识别框架[J]. 计算机工程与应用, 2018, 54(24): 188-192.
[15]	彭福来，于治楼，陈乃阔，耿士华，李凯一. 面向国产CPU的可重构计算系统设计及性能探究[J]. 计算机工程与应用, 2018, 54(23): 36-41.

增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度

Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics