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

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

作　　者：洪智勇[1] 刘熠[2,3] 秦克云[4] HONG Zhiyong;LIU Yi;QIN Keyun(School of Computer Science, Wuyi University, Jiangmen, Guangdong 529020, China;Data Recovery Key Lab of Sichuan Province, Neijiang Normal University, Neijiang, Sichuan 641112, China;School of Mathematics and Information Science, Neijiang Normal University, Neijiang, Sichuan 641112, China;School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China)

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

出　　处：《计算机工程与应用》2017年第24期55-58,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.61673320);广东省自然科学基金(No.2016A030310003);四川省应用基础研究计划项目(No.2015JY0120);四川省教育厅项目(No.15TD0027;No.15ZB0270);五邑大学青年基金(No.2013zk17)

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]