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

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

计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (24): 55-58.DOI: 10.3778/j.issn.1002-8331.1708-0211

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

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

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

出版日期:2017-12-15 发布日期:2018-01-09

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

摘要/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

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

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]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[2]	傅小波. 格蕴涵代数的[Ω-]模糊LI-理想[J]. 计算机工程与应用, 2017, 53(22): 50-54.
[3]	易三莉1，2，郭贝贝2，马磊2，钱洁2. 改进的模糊推理规则图像边缘检测算法[J]. 计算机工程与应用, 2016, 52(12): 180-183.
[4]	廖祖华1，3，4，王妮妮2，3，4，郑高平1，3，4，章里程1，3，4. 格蕴涵代数的软滤子[J]. 计算机工程与应用, 2015, 51(9): 72-76.
[5]	郑高平1，3，4，廖祖华1，3，4，王妮妮2，3，4，章里程1，4. 格蕴涵代数的软LI-理想[J]. 计算机工程与应用, 2015, 51(8): 42-46.
[6]	张家锋1，曹发生2. 格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性[J]. 计算机工程与应用, 2015, 51(24): 8-11.
[7]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.
[8]	刘熠1，2，徐扬2，贾海瑞2. 基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记[J]. 计算机工程与应用, 2015, 51(14): 51-56.
[9]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[10]	宁春，李凡长. 动态模糊逻辑关系学习[J]. 计算机工程与应用, 2011, 47(29): 34-39.
[11]	左卫兵，张嘎. 一种五元格值逻辑上命题真度的分布[J]. 计算机工程与应用, 2011, 47(22): 35-36.
[12]	关晓红，张海霞. 逻辑系统L*中公式的Γ-演绎真度理论[J]. 计算机工程与应用, 2011, 47(18): 62-63.
[13]	于西昌1，谭桂梅2. 几种逻辑系统中的概率真度[J]. 计算机工程与应用, 2011, 47(12): 27-30.
[14]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[15]	殷丽凤¹，郝忠孝^1，2. 基于XML Schema的XML强多值依赖的推理规则集[J]. 计算机工程与应用, 2010, 46(28): 152-156.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics