基于格值命题逻辑系统LP(X)的多元α-归结原理的注记  

Notes on Multi-aryα-Resolution Principle Based on Lattice-valued Logical System LP(X)

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

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

出　　处：《计算机科学》2015年第4期249-252,280,共5页Computer Science

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

摘　　要：进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。The basic theory of multi-aryα-resolution principle based on lattice-valued propositional logical system LP（X）with truth in a lattice implication algebra was further investigated,and the basic principle of the number of generalized literals which take part in the multi-aryα-resolution varies with the resolution deduction in LP（X）was gaven.The validities of multi-aryα-resolution principle in LP（X）were analyzed,which will lay the theoretical foundation for building the multi-aryα-semantic resolution method and constructing the multi-aryα-semantic resolution algorithm in LP（X）.

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

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