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

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

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

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