论文部分内容阅读
语言值智能信息处理是人工智能的一个重要研究方向，基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率，将语义归结策略应用于α-归结原理，研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性，并通过实例说明其有效性。接着，给出了语言真值格值命题逻辑系统的α-语义归结算法，并证明了该算法的可靠性和完备性。