导读:本文包含了布尔算子模糊逻辑论文开题报告文献综述、选题提纲参考文献，主要关键词:算子,布尔,广义,逻辑,模糊,子句,假说。
布尔算子模糊逻辑论文文献综述写法
吴瑕[1]（2002）在《布尔算子模糊逻辑中的调解法》一文中研究指出随着人工智能的发展，特别是对基于知识的系统的研制和开发，人们越来越清楚的认识到一阶逻辑的局限性：很难描述和处理知识的不确定性、不一致性和不完全性。布尔算子模糊逻辑(简称BOFL)就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。 相等关系是一个很重要的关系，尤其在数学中是这样，很多定理的描述都离不开“相等”这个谓词。相等有一些特殊的性质：反身性，对称性，传递性，等量代换性等。直接使用相等谓词去描述一个定理，往往更简洁，更直观。关于相等谓词的使用是如此重要，许多学者研究了使用归结方法处理相等的策略，如基于相等的推广的归结方法，调解方法，E-归结方法，RUE-NRF归结方法等。 本文首先简要介绍布尔算子模糊逻辑，包括一些基本概念和一些重要的定理。接着把一阶逻辑中的调解法推广到BOFL中并给出BOFL中的相等公理集和反身公理集。然后证明调解的有效性，证明在BOFL中调解法和归结法的结合对λE-恒假的子句集是广义完备的。 1985年刘叙华、安直提出了广义调解法，1986年王元元提出了广义替换调解。这样可以将调解法用于一种非子句形式的公式集——广义子句上，从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余，同时也保持了对问题描述的自然性。于是本文将一阶逻辑中的广义调解方法推广到BOFL中。接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对λE-恒假的子句集是广义完备的。 最后，我们把本文的工作与相关工作进行比较，得到如下几点优于现有算子模糊逻辑中的调解方法的结论： 首先，BOFL中的调解十分简洁自然，在形式上与一阶逻辑中的调解法是统一的。 其次，由于算于的运算适合结合律，因而可以避兔令人讨厌的复杂文宇1V＊…KP）…）口 第叁，BOFL中的归结和调解的结合是广义完备的，可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平，从而不必费心在调解前选择合适的I’刊B。(本文来源于《东北师范大学》期刊2002-05-01）
邓安生,关伟洲[2]（2000）在《布尔算子模糊逻辑中的广义半锁归结原理》一文中研究指出大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .(本文来源于《东北师大学报(自然科学版)》期刊2000年03期）
邓安生,姜华,杨凤杰[3]（1999）在《布尔算子模糊逻辑中一种新的假说修正方法》一文中研究指出在基于具有某种程度的不一致性的知识进行推理的过程中，为了消除知识的不一致性，只能将这些知识看成假说，并通过对假说进行修正以重新获得一个一致的假说．文中基于布尔算子模糊逻辑，给出了一种新的假说修正方法，这种方法能够在一定程度上更多地保留被修正知识的合理成分，以便在以后有机会得到恢复．(本文来源于《计算机研究与发展》期刊1999年01期）
邓安生[4]（1998）在《布尔算子模糊逻辑中的删除策略》一文中研究指出大量冗余子句的产生是导致归结方法低效率的根本原因．在布尔算子模糊逻辑中施行归结时，使用删除策略能够在水平浸透的过程中减少无用子句的产生，并且不牺牲归结的广义完备性，从而更快地求得子句集的恒假水平．(本文来源于《东北师大学报(自然科学版)》期刊1998年01期）
布尔算子模糊逻辑论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
布尔算子模糊逻辑论文参考文献
[1].吴瑕.布尔算子模糊逻辑中的调解法[D].东北师范大学.2002
[2].邓安生,关伟洲.布尔算子模糊逻辑中的广义半锁归结原理[J].东北师大学报(自然科学版).2000
[3].邓安生,姜华,杨凤杰.布尔算子模糊逻辑中一种新的假说修正方法[J].计算机研究与发展.1999
[4].邓安生.布尔算子模糊逻辑中的删除策略[J].东北师大学报(自然科学版).1998