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

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

作　　者：刘熠[1,2] 徐扬[2] 贾海瑞[2] 

机构地区：[1]内江师范学院数学与信息科学学院,四川内江641112 [2]西南交通大学智能控制开发中心,成都610031

出　　处：《计算机工程与应用》2015年第14期51-56,190,共7页Computer Engineering and Applications

基　　金：国家自然科学基金(No.61175055;No.61305074);四川省教育厅科研项目重点项目(No.14ZA0245);教育部"数学与应用数学"专业综合改革(No.ZG0464);四川省教育厅"数学与应用数学"专业综合改革(No.01249);四川省教育厅科研项目(No.14ZA0245);四川省应用基础研究计划(No.2015JY0120)

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

关 键 词：格蕴涵代数 格值一阶逻辑 多元α-归结原理 

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