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

doi:10.3778/j.issn.1002-8331.2010.26.014

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (26): 40-42.DOI: 10.3778/j.issn.1002-8331.2010.26.014

• 研究、探讨 • Previous Articles Next Articles

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

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

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

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

通讯作者: 薛占熬

Abstract

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

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

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

CLC Number:

TP301

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.

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

[1]	GAO Fang1，2，HAN Pu1，ZHAI Yongjie1. Ant colony algorithm with mutation operation for continuous function optimization [J]. Computer Engineering and Applications, 2011, 47(4): 5-8.
[2]	ZHAO Dongxu，YUE Xiaobo. Optimizing parameters of fuzzy Petri net based on improved evolutionary strategy [J]. Computer Engineering and Applications, 2011, 47(4): 29-32.
[3]	SONG Xiaozhen^1，2，HAN Zhaowei¹，LI Yongming³. Algebraic properties of context-free grammar based on quantum logic [J]. Computer Engineering and Applications, 2011, 47(4): 42-46.
[4]	HUANG Minmei. Particle swarm optimization based method for logistics center location problem [J]. Computer Engineering and Applications, 2011, 47(4): 212-214.
[5]	DANG Zhengjun，DU Zhongjun. Improved algorithm combining graph-reduction and graph-search for workflow verification [J]. Computer Engineering and Applications, 2011, 47(4): 226-228.
[6]	LIU Jun^1，2，XIONG Zhongyang¹，WANG Yinhui¹. Application of improved dynamic tunneling neural network in protein secondary structure prediction [J]. Computer Engineering and Applications, 2011, 47(3): 13-16.
[7]	LIU Qiongsun，FAN Ruiya. Method of determining Gaussian kernel parameter by clustering [J]. Computer Engineering and Applications, 2011, 47(3): 38-40.
[8]	HAN Zhaowei^1，2，HAN Zhaoying³. Algebraic characterizations of context-free languages based on Lukasiewicz logic [J]. Computer Engineering and Applications, 2011, 47(3): 47-50.
[9]	DAI Haipeng，TANG Houjun. Improved algorithm for computing diameter of convex polygons [J]. Computer Engineering and Applications, 2011, 47(3): 44-46.
[10]	LI Qiang，LIU Guodong. Planning method for multiple mobile robots form team [J]. Computer Engineering and Applications, 2011, 47(2): 242-245.
[11]	CHEN Yingxian. Ant colony based on fuzzy set of spatial clustering [J]. Computer Engineering and Applications, 2011, 47(2): 5-7.
[12]	CUI Mingyi. Research on denoising mutation of FPRGA based on wavelet decomposition [J]. Computer Engineering and Applications, 2011, 47(2): 35-37.
[13]	YU Yong¹，ZHANG Ya²，GUO Xijuan²，FENG Xue². Decomposing non-convex polyhedron based on successful loop [J]. Computer Engineering and Applications, 2011, 47(2): 41-42.
[14]	WANG Bao，SUN Qin. Parallel algorithm for solving nonlinear system of equations [J]. Computer Engineering and Applications, 2011, 47(2): 49-51.
[15]	LIN Shilai，LIU Guangyuan，ZHANG Huiling. Application of ACO algorithm to emotion recognition research based on RSP signal [J]. Computer Engineering and Applications, 2011, 47(2): 169-172.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics