格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (24): 8-11.

格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性

张家锋1，曹发生2

1.贵州民族大学理学院，贵阳 550025
2.贵州工程应用技术学院理学院，贵州毕节 551700

出版日期:2015-12-15 发布日期:2015-12-30

α-resolvability of generalized literals in lattice-valued propositional logic(Ln×L2)P(X) .

ZHANG Jiafeng1, CAO Fasheng2

1.School of Science, Guizhou Minzu University, Guiyang 550025, China
2.School of Science, Guizhou University of Engineering Science, Bijie, Guizhou 551700, China

Online:2015-12-15 Published:2015-12-30

摘要/Abstract

摘要： 由于格值逻辑中广义文字结构的复杂性，这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域[Ln×L2]的结构特性和归结水平[α]的特点，研究了真值域为一类格蕴涵代数[Ln×L2]的格值命题逻辑系统[(Ln×L2)P(X)]中0-IESF与其他广义文字之间的α-归结性，得到了两个广义文字可进行α-归结的条件。

关键词: 自动推理, 归结域, 格值逻辑, 格蕴涵代数

Abstract: Because of the complexity of generalized literals structure in lattice-valued logic, it leads to difficult to judge two generalized literals whether form resolution pair or not. According to particular structure of truth valued range[ Ln×L2] and the characteristic of resolution level α, the resolvability of between 0-IESF and other generalized literals in lattice-valued propositional logic system[ (Ln×L2)P(X) ]based on one class of lattice implication algebras[ Ln×L2], and the determination conditions on that two generalized literals can form resolution pair.

Key words: automated reasoning, resolution fields, lattice-valued logic, lattice implication algebras

张家锋1，曹发生2. 格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性[J]. 计算机工程与应用, 2015, 51(24): 8-11.

ZHANG Jiafeng1, CAO Fasheng2. α-resolvability of generalized literals in lattice-valued propositional logic(Ln×L2)P(X) .[J]. Computer Engineering and Applications, 2015, 51(24): 8-11.

[1]	洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.
[2]	傅小波. 格蕴涵代数的[Ω-]模糊LI-理想[J]. 计算机工程与应用, 2017, 53(22): 50-54.
[3]	廖祖华1，3，4，王妮妮2，3，4，郑高平1，3，4，章里程1，3，4. 格蕴涵代数的软滤子[J]. 计算机工程与应用, 2015, 51(9): 72-76.
[4]	郑高平1，3，4，廖祖华1，3，4，王妮妮2，3，4，章里程1，4. 格蕴涵代数的软LI-理想[J]. 计算机工程与应用, 2015, 51(8): 42-46.
[5]	刘熠1，2，徐扬2，贾海瑞2. 基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记[J]. 计算机工程与应用, 2015, 51(14): 51-56.
[6]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[7]	左卫兵，张嘎. 一种五元格值逻辑上命题真度的分布[J]. 计算机工程与应用, 2011, 47(22): 35-36.
[8]	李晓冰¹，徐扬². 基于格值一阶逻辑LF（X）的自动推理算法[J]. 计算机工程与应用, 2010, 46(23): 18-20.
[9]	陈振宇¹,袁毓林²,张秀松²,周强³. 亲属关系的逻辑意义及其自动推理[J]. 计算机工程与应用, 2009, 45(16): 43-47.
[10]	李晓冰¹,邱小平²,徐扬¹. 格值命题逻辑系统L₉P（X）中的自动推理算法[J]. 计算机工程与应用, 2008, 44(10): 6-9.