Lukasiewicz区间值命题逻辑的a-真度理论

doi:10.3778/j.issn.1002-8331.2010.26.014

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (26): 40-42.DOI: 10.3778/j.issn.1002-8331.2010.26.014

Lukasiewicz区间值命题逻辑的a-真度理论

薛占熬，卫利萍，岑枫，李霞

河南师范大学计算机与信息技术学院，河南新乡 453007

收稿日期:2009-03-11 修回日期:2009-05-04 出版日期:2010-09-11 发布日期:2010-09-11
通讯作者: 薛占熬

Theory of a-truth degrees in Lukasiewicz interval-valued propositional logic system

XUE Zhan-ao，WEI Li-ping，CEN Feng，LI Xia

College of Computer and Information Technology，Henan Normal University，Xinxiang，Henan 453007，China

Received:2009-03-11 Revised:2009-05-04 Online:2010-09-11 Published:2010-09-11
Contact: XUE Zhan-ao

摘要/Abstract

摘要： 首先给出了区间值命题逻辑的基本概念，把概率测度和概率空间的概念拓展到区间值上，在此基础上定义了有限值区间逻辑测度，给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中，引入命题的a-真度概念，证明了区间值真度推理规则，讨论了其性质。

关键词: a-真度, Lukasiewicz区间值命题逻辑, 区间值概率空间, 区间值真度推理规则

Abstract: Some basic concepts of the interval-valued propositional logic system are introduced.The probability measure and the probability space are expanded to the interval-valued.On this basis，the finite interval-valued measure is defined，and the concept of the infinite product is given on the interval-valued probability space.The concept of the [a]-truth degrees is introduced in the Lukasiewicz interval-valued propositional logic system，interval-valued truth degree reasoning rules are discussed，and its properties are proved.

Key words: a-truth degrees, Lukasiewicz interval-valued propositional logic system, interval-valued probability space, interval-valued truth degree reasoning rules

中图分类号:

TP301

薛占熬，卫利萍，岑枫，李霞. Lukasiewicz区间值命题逻辑的a-真度理论[J]. 计算机工程与应用, 2010, 46(26): 40-42.

XUE Zhan-ao，WEI Li-ping，CEN Feng，LI Xia. Theory of a-truth degrees in Lukasiewicz interval-valued propositional logic system[J]. Computer Engineering and Applications, 2010, 46(26): 40-42.

[1]	高芳^1，2，韩璞¹，翟永杰¹. 基于变异操作的蚁群算法用于连续函数优化[J]. 计算机工程与应用, 2011, 47(4): 5-8.
[2]	赵东旭，乐晓波. 采用改进的进化策略优化模糊Petri网参数[J]. 计算机工程与应用, 2011, 47(4): 29-32.
[3]	宋小震^1，2，韩召伟¹，李永明³. 量子上下文无关文法的代数性质[J]. 计算机工程与应用, 2011, 47(4): 42-46.
[4]	黄敏镁. 粒子群算法在物流中心选址中的应用[J]. 计算机工程与应用, 2011, 47(4): 212-214.
[5]	党正军，杜中军. 基于图裁减和图搜索的工作流图验证算法[J]. 计算机工程与应用, 2011, 47(4): 226-228.
[6]	刘君^1，2，熊忠阳¹，王银辉¹. 改进型动态隧道神经网络在蛋白质预测的应用[J]. 计算机工程与应用, 2011, 47(3): 13-16.
[7]	刘琼荪，范瑞雅. 确定高斯核参数的聚类方法[J]. 计算机工程与应用, 2011, 47(3): 38-40.
[8]	韩召伟^1，2，韩召莹³. Lukasiewicz逻辑值上下文无关语言的代数刻画[J]. 计算机工程与应用, 2011, 47(3): 47-50.
[9]	戴海鹏，唐厚君. 求凸多边形直径的改进算法[J]. 计算机工程与应用, 2011, 47(3): 44-46.
[10]	李强，刘国栋. 多移动机器人的组队规划研究[J]. 计算机工程与应用, 2011, 47(2): 242-245.
[11]	陈应显. 基于模糊集的蚁群空间聚类方法研究[J]. 计算机工程与应用, 2011, 47(2): 5-7.
[12]	崔明义. 小波分解的浮点数编码遗传算法消噪变异研究[J]. 计算机工程与应用, 2011, 47(2): 35-37.
[13]	于勇¹，张亚²，郭希娟²，封雪². 基于成功回路的凹多面体的剖分算法[J]. 计算机工程与应用, 2011, 47(2): 41-42.
[14]	汪保，孙秦. 求解非线性方程组的一种并行算法[J]. 计算机工程与应用, 2011, 47(2): 49-51.
[15]	林时来，刘光远，张慧玲. 蚁群算法在呼吸信号情感识别中的应用研究[J]. 计算机工程与应用, 2011, 47(2): 169-172.

Lukasiewicz区间值命题逻辑的a-真度理论

Theory of a-truth degrees in Lukasiewicz interval-valued propositional logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics