| 分层格值命题逻辑系统中几类推理规则的讨论 |
| |
| 引用本文： | 洪智勇,刘 熠,秦克云.分层格值命题逻辑系统中几类推理规则的讨论[J].计算机工程与应用,2017,53(24):55-58. |
| |
| 作者姓名： | 洪智勇 刘 熠 秦克云 |
| |
| 作者单位： | 1.五邑大学 计算机学院，广东 江门 529020
2.内江师范学院 数据恢复四川省重点实验室，四川 内江 641112
3.内江师范学院 数学与信息科学学院，四川 内江 641112
4.西南交通大学 数学学院，成都 610031 |
| |
| 摘 要： | 在基于格值逻辑的不确定性推理的研究中，推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统，提出了几类既包含有语义又含有语法的推理规则，且这些推理规则具备协调水平的特性；同时也证明了这几类推理规则在一定程度上有闭性。
|
| 关 键 词： | 格蕴涵代数 分层格值逻辑系统 推理规则 封闭性 |
Discussions on some kinds of inference rules in gradational lattice-valued propositional logic |
| |
| HONG Zhiyong,LIU Yi,QIN Keyun.Discussions on some kinds of inference rules in gradational lattice-valued propositional logic[J].Computer Engineering and Applications,2017,53(24):55-58. |
| |
| Authors: | HONG Zhiyong LIU Yi QIN Keyun |
| |
| Affiliation: | 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 |
| |
| 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. |
| |
| Keywords: | lattice implication algebras gradational lattice-valued propositional logic inference rules close |
|
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
