格值语义归结推理方法

归结自动推理是人工智能领域的一个重要研究方向，语义归结方法是对归结原理的一种改进，它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的二归结原理提供了一种处理带有模糊性和不可比较性信息的工具，它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质，该类子句集在任意赋值下能分为两个非空子集，接着讨论了这类广义子句集的语义归结方法，并证明了其可靠性和完备性。