基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (14): 51-56.

基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记

刘熠1，2，徐扬2，贾海瑞2

1.内江师范学院数学与信息科学学院，四川内江 641112
2.西南交通大学智能控制开发中心，成都 610031

出版日期:2015-07-15 发布日期:2015-08-03

Notes on multi-ary [α]-resolution principle based on lattice-valued logical system [LF(X)]

LIU Yi1，2, XU Yang2, JIA Hairui2

1.School of Mathematics and Information Sciences, Neijiang Normal University, Neijiang, Sichuan 641112, China
2.Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China

Online:2015-07-15 Published:2015-08-03

摘要/Abstract

摘要： 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统[LF(X)]的多元[α]-归结原理的基本理论，给出了在基于[LF(X)]的多元[α]-归结演绎中参与多元[α]-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于[LF(X)]的多元[α]-归结原理的有效性进行了一定分析;这为建立基于[LF(X)]的多元[α]-归结方法以及构造多元[α]-归结算法建立了理论基础。

关键词: 格蕴涵代数, 格值一阶逻辑, 多元[&alpha, ]-归结原理

Abstract: The relative theory of multi-ary [α]-resolution principle based on lattice-valued first-order logical system [LF(X)] is further investigated, the basic principle of the number of generalized literals which take part in the multi-ary [α]-resolution varies with the resolution deduction in [LF(X)]. The validities of multi-ary [α]-resolution principle in [LF(X)] are analyzed, which will lay the theoretical foundation for the multi-ary [α]-semantic resolution method in [LF(X)].

Key words: lattice implication algebras, lattice-valued first-order logic, multi-ary [α]-resolution principle

刘熠1，2，徐扬2，贾海瑞2. 基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记[J]. 计算机工程与应用, 2015, 51(14): 51-56.

LIU Yi1，2, XU Yang2, JIA Hairui2. Notes on multi-ary [α]-resolution principle based on lattice-valued logical system [LF(X)][J]. Computer Engineering and Applications, 2015, 51(14): 51-56.

[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. 格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性[J]. 计算机工程与应用, 2015, 51(24): 8-11.
[6]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[7]	李晓冰¹，徐扬². 基于格值一阶逻辑LF（X）的自动推理算法[J]. 计算机工程与应用, 2010, 46(23): 18-20.