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

摘要：

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

关键词： 广义文字 格蕴涵代数 格值命题逻辑系统 多元α-归结原理 动态变化

作者: 刘熠 徐扬 贾海瑞

作者单位: 内江师范学院数学与信息科学学院 内江641112;西南交通大学智能控制开发中心 成都610031 西南交通大学智能控制开发中心 成都610031

会议类型: 国内会议

会议名称: 2014湖北省计算机学会学术年会

会议地点: 宜昌

会议语种:中文

页码: 249-252,280

在线出版日期: 2014-10-31（万方平台首次上网日期，不代表论文的发表时间）