论文部分内容阅读
非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前,基于非经典逻辑的自动定理证明理论和技术不断发展,并已得到许多应用。本文基于国内外许多学者的研究工作,对格蕴涵代数及以格蕴涵代数为真值域的格值逻辑系统中的归结方法进行了较系统深入的研究,主要在下述三个方面取得了研究成果: 一、关于格蕴涵代数的研究 1、讨论了格蕴涵代数中的余元问题,得到了寻找余元的一种通用有效方法; 2、证明了◇5,◇6,◇7,◇8和◇8+k等几类特殊的分配格不能构成格蕴涵代数; 3、讨论了非链和非布尔型格蕴涵代数的结构特点,证明了只有唯一对偶原产的格蕴涵代数是链。 二、关于基于格蕴涵代数的格值逻辑系统自动推理的研究 1、分析了经典逻辑归结原理在语义和语法方面的特点,指出了格值归结方法和经典归结方法在语义及语法方面的异同; 2、给出了经典逻辑归结方法的一个代数化实现方案,从而将经典命题逻辑的归结问题转化为同余方程组解的判定问题; 3、研究了格值命题逻辑系统LP(X)中简单子句和复杂子句的归结问题,提出了基于蕴涵滤子的归结概念,构造了一种有效的归结方法,并证明了该归结方法的可靠性和完备性; 4、讨论了格值一阶逻辑系统SLF(X)中关于蕴涵滤子的归结概念和方法,提出了格值一阶逻辑归结原理的Skolem标准化,Herbrand域等概念,并讨论了它们的性质; 5、讨论了格值逻辑中直接使用经典逻辑归结方法的局限,提出了限制归结概念。 三、关于格值逻辑系统Lvp的研究第 n页 西南交通大学博士研究生学位论文 1、提出并研究了((。,川-语义导出概念、逻辑公式集合保持…,q)-规则的慨念和条件; 2、分析了格值逻辑系统Kp中选取公理集合和推理规则的条件;提出并研究了与赋值相关的证明概念,证明了系统的可靠性定理、弱演绎定理; :3、提出并研究了与赋值相关的逻辑公式集的协调性概念,证明了赋值下的协调性定理.