Discussions on some kinds of inference rules in gradational lattice-valued propositional logic

doi:10.3778/j.issn.1002-8331.1708-0211

Computer Engineering and Applications ›› 2017, Vol. 53 ›› Issue (24): 55-58.DOI: 10.3778/j.issn.1002-8331.1708-0211

Previous Articles Next Articles

Discussions on some kinds of inference rules in gradational lattice-valued propositional logic

HONG Zhiyong1, LIU Yi2，3, QIN Keyun4

1.School of Computer Science, Wuyi University, Jiangmen, Guangdong 529020, China
2.Data Recovery Key Lab of Sichuan Province, Neijiang Normal University, Neijiang, Sichuan 641112, China
3.School of Mathematics and Information Science, Neijiang Normal University, Neijiang, Sichuan 641112, China
4.School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China

Online:2017-12-15 Published:2018-01-09

分层格值命题逻辑系统中几类推理规则的讨论

洪智勇1，刘熠2，3，秦克云4

1.五邑大学计算机学院，广东江门 529020
2.内江师范学院数据恢复四川省重点实验室，四川内江 641112
3.内江师范学院数学与信息科学学院，四川内江 641112
4.西南交通大学数学学院，成都 610031

Abstract

Abstract: The selection of inference rules is one of important research contents in the uncertainty inference based on lattice-valued logic. Based on the gradational lattice-valued propositional logic system, some several kinds of inference rules, with both semantics, syntax and the characteristics of consistency level, are proposed. It also proves that these kinds of inference rules are closed.

Key words: lattice implication algebras, gradational lattice-valued propositional logic, inference rules, close

摘要： 在基于格值逻辑的不确定性推理的研究中，推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统，提出了几类既包含有语义又含有语法的推理规则，且这些推理规则具备协调水平的特性；同时也证明了这几类推理规则在一定程度上有闭性。

关键词: 格蕴涵代数, 分层格值逻辑系统, 推理规则, 封闭性

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.

洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.

[1]	WANG Lin, CHAI Jiangyun. Research on Deep Neural Network in Multi-scene Vehicle Attribute Recognition [J]. Computer Engineering and Applications, 2021, 57(9): 162-167.
[2]	YAN Xiaoshen, GAO Qiang, ZHU Simeng, XI Xuecheng, ZHAO Wansheng. Study on Character Segmentation Algorithm of Pressed Character on Uneven Brightness Low Quality Images [J]. Computer Engineering and Applications, 2021, 57(8): 185-191.
[3]	WU Jinghua, WU Xueqiao. Multi-attribute Evaluation Model Based on Improved Closeness of Agent [J]. Computer Engineering and Applications, 2021, 57(5): 65-70.
[4]	SU Fei, WANG Hong, ZU Linlu, WANG Jiang, LIU Chen. Closed-Loop Modulation of Parkinson’s State Based on Fuzzy Control [J]. Computer Engineering and Applications, 2021, 57(22): 273-280.
[5]	WANG Qingshan, ZHANG Jun, LIU Yuansheng, ZHANG Xinchen. Point Cloud Registration Algorithm Based on Combination of NDT and ICP [J]. Computer Engineering and Applications, 2020, 56(7): 88-95.
[6]	FAN Jianping, JIA Xuefei, WU Meiqin. TOPSIS Method Based on Single-Valued Triangular Neutrosophic Cross Entropy [J]. Computer Engineering and Applications, 2020, 56(6): 239-245.
[7]	CHEN Yong, YANG Yabin. Design of Supply Chain Network for High-Salvage Perishable Product Under Interval Programming [J]. Computer Engineering and Applications, 2020, 56(6): 254-261.
[8]	SONG Juan. Pythagorean Decision-Making Model Considering Fusion Algorithms and Cross-Entropy [J]. Computer Engineering and Applications, 2020, 56(5): 74-79.
[9]	FENG Xuemei, ZHANG Zhiyi, YANG Long. Global Point Cloud Initial Registration Algorithm of Fractal Dimension [J]. Computer Engineering and Applications, 2020, 56(5): 234-241.
[10]	LI Meili, YANG Chuanying, SHI Bao. Research on Image Style Transfer Technology Based on Semantic Segmentation [J]. Computer Engineering and Applications, 2020, 56(24): 207-213.
[11]	YE Qing, YANG Xiaomeng, QIN Panke, ZHAO Zongqu, TANG Yongli. Novel Against Quantum Attacks Group Signature Scheme Based on NTRU Lattice [J]. Computer Engineering and Applications, 2020, 56(2): 89-96.
[12]	HUO Qingqing, GUO Jianquan. Fuzzy Optimization of 3C Product Sustainable Closed-Loop Logistics Network Under TBL Theory [J]. Computer Engineering and Applications, 2020, 56(19): 237-243.
[13]	SUN Jinling, YUAN Pengpeng, KONG Panpan. Decision Study of Closed-Loop Supply Chain Considering Processing Fund and Uncertain Recycling Quality [J]. Computer Engineering and Applications, 2020, 56(15): 259-267.
[14]	CHEN Liang, PAN Haipeng, WU Ping, ZHOU Wei. Closed Loop Subspace Identification Method of Impulse Response Model [J]. Computer Engineering and Applications, 2019, 55(8): 195-200.
[15]	YANG Xiaohua, GUO Jianquan. Fuzzy Programming of Closed-Loop Logistics Network for Fresh Products under New Retail Model [J]. Computer Engineering and Applications, 2019, 55(2): 198-205.

Discussions on some kinds of inference rules in gradational lattice-valued propositional logic

分层格值命题逻辑系统中几类推理规则的讨论

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics