命题逻辑中非子句α-有序线性广义归结方法

来源：计算机科学与探索杂志2015年第7期北京时间：

作者：贾海瑞，徐扬，邓鹏

单位：1. 西南交通大学 智能控制开发中心，成都 6100312. 西南交通大学 数学学院，成都 610031

摘要：为了处理在不确定性环境下的自动演绎，重点研究了基于自动推理理论的归结方法，其自动推理理论是真值定义在格蕴涵代数（lattice implication algebra，LIA）结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上，作为其继续研究和扩展，引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎，这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后，得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。

关键词：格蕴涵代数,自动推理,格值命题逻辑,非子句多元α,-有序线性广义归结