基于格蕴涵代数的格值逻辑系统及其自动推理的研究-交通信息工程及控制专业论文.docxVIP

西南交通大学博士研究生学位论文 西南交通大学博士研究生学位论文 第i页 摘 要 非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。lj 前，基于非经典逻辑的自动定理证明理论和技术不断发展，并已得到许多应用。 本文基于国内外许多学者的研究工作，对格蕴涵代数及以格蕴涵代数为真值域的 恪值逻辑系统中的归结方法进行了较系统深入的研究，主要在下述三个方面取得 了研究成果： ’ 一、关于格蕴涵代数的研究 f I、讨论了格蕴涵代数中的余元问题，得到了寻找余元的一种通用有效方法； 2、证明了铸．◇6，◇7，‰和◇8+^等几类特殊的分配格不能构成格蕴涵代 敬； ：{、讨论了非链和非布尔型格蕴涵代数的结构特点，证明了只有唯一对偶原 n}j恪蕴涵代数是链．J／ 二、关于基于格蕴涵代数的格值逻辑系统自动推理的研究 f 1、分析了经典逻辑归结原理在语义和语法方面的特点，指出了格值归结疗 法和经典归结方法在语义及语法方面的异同； 2、给出了经典逻辑归结方法的一个代数化实现方案，从而将经典命题逻辑 的归结问题转化为同余方程组解的判定问题； 3、研究了格值命题逻辑系统三，’(．Y)中简单子句和复杂子句的归结问题， 提出了基于蕴涵滤子的归结概念，构造了一种有效的归结方法，并证明了该归结 方法的可靠性和完备性； 4、讨论了格值一阶逻辑