Randomized truth degree and inference rules of proposition formulas

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (19): 66-70.

Previous Articles Next Articles

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

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

李修清

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

Abstract

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

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

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

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

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

[1]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[2]	HONG Zhiyong1, LIU Yi2，3, QIN Keyun4. Discussions on some kinds of inference rules in gradational lattice-valued propositional logic [J]. Computer Engineering and Applications, 2017, 53(24): 55-58.
[3]	ZHANG Chaoquan, LI Xiuqing. Distribution of randomized divergence degree of theory in 3-valued propositional logical system [J]. Computer Engineering and Applications, 2017, 53(1): 69-72.
[4]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[5]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[6]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[7]	YI Sanli1，2, GUO Beibei2, MA Lei2, QIAN Jie2. Improved image edge detection algorithm based on fuzzy inference rules [J]. Computer Engineering and Applications, 2016, 52(12): 180-183.
[8]	LOU Yan, FENG Feiyan, ZUO Weibing. Conditional randomized truth degree of formulas in Lukasiewicz n-valued propositional logic [J]. Computer Engineering and Applications, 2012, 48(33): 63-67.
[9]	LI Xiuqing1, WEI Haixin1, LIN Liang2. Randomization of revised G?del [n]-valued logical system [J]. Computer Engineering and Applications, 2012, 48(24): 45-48.
[10]	ZUO Weibing1，CHENG Weili1，MENG Yongsheng2. D3-randomized truth degree of formulas in logic system Godel 3 [J]. Computer Engineering and Applications, 2011, 47(5): 35-36.
[11]	ZUO Weibing，WANG Junfang. Truth degree of formula in 4-valued nonlinear lattice logic [J]. Computer Engineering and Applications, 2011, 47(30): 50-52.
[12]	ZHANG Sheng-li^1，2，PAN Zheng-hua². One new model of infinite valued for medium proposition logic and its meaning [J]. Computer Engineering and Applications, 2010, 46(31): 45-49.
[13]	ZUO Wei-bing. P-randomized truth degrees and approximate reasoning in n-valued logic system [J]. Computer Engineering and Applications, 2009, 45(7): 42-43.

Randomized truth degree and inference rules of proposition formulas

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 13

Recommended Articles

Metrics