格值语义归结推理方法

摘要：

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

关键词：格蕴涵代数、格值命题逻辑系统LP(X)、自动推理、语义归结方法

所属期刊栏目：38

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

资助基金：国家自然科学基金60875034;贵州省科学技术项目2010GZ43286;2011年西南交通大学博士生创新基金

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

页数：共4页

页码：201-203,210