论文部分内容阅读
随着人工智能的发展,特别是对基于知识的系统的研制和开发,人们越来越清楚的认识到一阶逻辑的局限性:很难描述和处理知识的不确定性、不一致性和不完全性。布尔算子模糊逻辑(简称BOFL)就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。 相等关系是一个很重要的关系,尤其在数学中是这样,很多定理的描述都离不开“相等”这个谓词。相等有一些特殊的性质:反身性,对称性,传递性,等量代换性等。直接使用相等谓词去描述一个定理,往往更简洁,更直观。关于相等谓词的使用是如此重要,许多学者研究了使用归结方法处理相等的策略,如基于相等的推广的归结方法,调解方法,E-归结方法,RUE-NRF归结方法等。 本文首先简要介绍布尔算子模糊逻辑,包括一些基本概念和一些重要的定理。接着把一阶逻辑中的调解法推广到BOFL中并给出BOFL中的相等公理集和反身公理集。然后证明调解的有效性,证明在BOFL中调解法和归结法的结合对λE-恒假的子句集是广义完备的。 1985年刘叙华、安直提出了广义调解法,1986年王元元提出了广义替换调解。这样可以将调解法用于一种非子句形式的公式集——广义子句上,从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性。于是本文将一阶逻辑中的广义调解方法推广到BOFL中。接着给出广义调解的有效性证明,然后证明广义调解和广义归结的联合使用对λE-恒假的子句集是广义完备的。 最后,我们把本文的工作与相关工作进行比较,得到如下几点优于现有算子模糊逻辑中的调解方法的结论: 首先,BOFL中的调解十分简洁自然,在形式上与一阶逻辑中的调解法是统一的。 其次,由于算于的运算适合结合律,因而可以避兔令人讨厌的复杂文宇1V*…KP)…)口 第三,BOFL中的归结和调解的结合是广义完备的,可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平,从而不必费心在调解前选择合适的I’刊B。