归结域相关论文
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......
讨论格值一阶逻辑系统LF（X）中α-语义归结方法和有序归结方法的相容性。给出了LF（X）中α-有序语义归结和α-有序语义归结演绎的概念,通......
