格值一阶逻辑LF(X)中的α-语义归结方法

摘要：

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率.为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理.首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性.

关键词：自动推理、语义归结、格值逻辑、格蕴涵代数

所属期刊栏目：41

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金资助项目61175055;四川省科技支撑计划项目2011FZ0051;贵州省科学技术基金项目黔科合J字LKB[2012]02号

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

页数：共5页

页码：274-278