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

摘要：

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究.为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性.首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性.

关键词：自动推理、语义归结、删除策略、格值逻辑

所属期刊栏目：30

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

资助基金：国家自然科学基金;国家自然科学基金;贵州省科学技术基金资助项目

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

页码：146-152