布尔算子模糊逻辑中的调解法

发布时间：2022-01-15 12:13

　　随着人工智能的发展，特别是对基于知识的系统的研制和开发，人们越来越清楚的认识到一阶逻辑的局限性：很难描述和处理知识的不确定性、不一致性和不完全性。布尔算子模糊逻辑（简称BOFL）就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。 相等关系是一个很重要的关系，尤其在数学中是这样，很多定理的描述都离不开“相等”这个谓词。相等有一些特殊的性质：反身性，对称性，传递性，等量代换性等。直接使用相等谓词去描述一个定理，往往更简洁，更直观。关于相等谓词的使用是如此重要，许多学者研究了使用归结方法处理相等的策略，如基于相等的推广的归结方法，调解方法，E-归结方法，RUE-NRF归结方法等。 本文首先简要介绍布尔算子模糊逻辑，包括一些基本概念和一些重要的定理。接着把一阶逻辑中的调解法推广到BOFL中并给出BOFL中的相等公理集和反身公理集。然后证明调解的有效性，证明在BOFL中调解法和归结法的结合对λE-恒假的子句集是广义完备的。 1985年刘叙华、安直提出了广义调解法，1986年王元元提出了广义替换调解。这样可以将调解法用于一种非子句形式的公式集——广义子句上，从而不仅可以避免从... 

【文章来源】：东北师范大学吉林省 211工程院校 教育部直属院校

【文章页数】：49 页

【学位级别】：硕士

【文章目录】：
中文摘要
英文摘要
引言
第一章 绪论
    §1.1 布尔算子模糊逻辑的提出
    §1.2 调解法的提出
    §1.3 相关及本文工作
第二章 布尔算子模糊逻辑
    §2.1 BOFL中的基本定义
    §2.2 恒假水平
    §2.3 子句集
第三章 布尔算子模糊逻辑中的调解法
    §3.1 BOFL中的归结方法
    §3.2 相等公理和λE-恒假
    §3.3 BOFL中的调解方法
第四章 布尔算子模糊逻辑中的广义调解法
    §4.1 BOFL中的广义归结方法
    §4.2 广义归结的有效性及完备性
    §4.3 BOFL中的广义调解方法
第五章 结论与展望
    §5.1 相关工作比较
    §5.2 结论与展望
参考文献
致谢



本文编号：3590597