导读:本文包含了直觉模糊逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:直觉模糊命题逻辑,直觉模糊谓词逻辑,(α,β)-有序线性归结,(α,β)-线性半锁归结
直觉模糊逻辑论文文献综述
李晓楠[1]（2017）在《直觉模糊逻辑的（α，β）-线性归结方法研究》一文中研究指出人类在对事物进行判断时,时常表现出赞同、犹豫及反对叁种态度,直觉模糊逻辑能够很好的表达人类在受到外界信息影响后做出的带有犹豫程度的不确定性推理。归结方法作为自动推理的重要分支,以其严谨而简洁的推理过程被诸多学者关注。本文结合经典逻辑中的线性归结方法提出了直觉模糊命题逻辑的(α,β)-有序线性归结,并进一步研究了直觉模糊谓词逻辑中的(α,β)-线性归结。结合锁归结策略,提出了直觉模糊谓词逻辑的(α,β)-线性半锁归结,提高了直觉模糊谓词逻辑的归结效率。本文的主要研究成果如下:本文提出了一种基于(α,β)-归结的直觉模糊命题逻辑自动推理方法。通过有限次的使用等价公式将每一个同时拥有真度和假度的直觉模糊命题逻辑公式转换成直觉模糊命题逻辑广义子句。利用假定的阈值(α,β)判断直觉模糊命题逻辑广义子句中的每一个直觉模糊命题逻辑文字是否是(α,β)-可满足的,并以此为基础将文字分成两类,即(α,β)-相似文字和(α,β)-互补文字。利用线性归结仅有一条中心线和一条边线的结构去限制每次归结过程中的归结子句。此外通过(α,β)-有序归结去限制每次参加归结的文字必须是中心子句的最右一个文字。然后使用直觉模糊命题逻辑被框文字去记录已经归结过的文字的信息,而不是将其存贮在内存中,以减少可能的归结数量并提高归结的效率。得到了(α,β)-有序线性归结的可靠性和完备性,并通过实例说明了(α,β)-有序线性归结算法的有效性。为了提高直觉模糊谓词逻辑的归结效率,本文结合经典逻辑中的线性归结和锁归结策略,在(α,β)-归结原理的基础上提出了直觉模糊谓词逻辑的(α,β)-线性半锁归结方法。文中首先给出了直觉模糊谓词逻辑中将直觉模糊谓词公式转换成Skolem标准范式的方法。接着研究了直觉模糊谓词逻辑中的(α,β)-线性半锁归结,给出了直觉模糊谓词逻辑中锁子句的合并规则,证明了该方法的可靠性和完备性。该归结方法是(α,β)-线性归结在直觉模糊谓词逻辑中的拓展,既保留了线性归结结构简洁、直观的优势,又拥有锁归结限制文字顺序的优点,从而使直觉模糊谓词逻辑的归结效率得到了提升。最后将(α,β)-线性半锁归结应用于问题求解领域中,设计了直觉模糊谓词逻辑的(α,β)-线性半锁归结问题求解算法,并以叁个例子说明了基于(α,β)-线性半锁归结的问题求解算法的有效性。(本文来源于《辽宁师范大学》期刊2017-06-01）
贾永[2]（2017）在《基于直觉模糊逻辑的直觉模糊粗糙集和直觉模糊多粒度覆盖粗糙集理论》一文中研究指出作为一般逻辑连接词的推广,直觉模糊逻辑连接词的特殊情形已有研究,并应用于直觉模糊粗糙集理论的研究中.然而,作为更一般的情形,直觉模糊逻辑系统及其与直觉模糊粗糙集之间的关系尚未见到系统研究.基于上述考虑,本文讨论了直觉模糊叁值逻辑系统、基于直觉模糊叁值逻辑系统的直觉模糊粗糙集理论及其相互关系.首先,在二值逻辑系统和叁值逻辑系统的基础上,定义了直觉模糊完备格逻辑和直觉模糊逻辑.同时,作为经典多粒度粗糙集的推广,提出了多粒度混合乐观和混合悲观粗糙集模型.其次,基于对偶叁角模,在完备格上对直觉模糊粗糙集进行了统一处理:定义和讨论了完备格上基于t算子的直觉模糊集、运算法则及对偶叁角模剩余蕴涵及其相互转化关系;在讨论完备格上基于t算子的直觉模糊集的对偶叁角模TS隶属度和非隶属度表示的基础上,给出了完备格上基于t算子的直觉模糊集对应的剩余蕴涵之隶属度和非隶属度计算公式;并且在定义完备格上基于t算子相似关系的基础上,定义和刻画了完备格上基于t算子的直觉模糊粗糙集模型.同时,通过建立直觉模糊粗糙集与叁值逻辑对应关系,由直觉模糊逻辑命题导出了直觉模糊覆盖粗糙集的两个近似算子,得到了基于直觉模糊逻辑的直觉模糊覆盖粗糙集;针对多粒度直觉模糊粗糙集,在由直觉模糊逻辑命题导出直觉模糊多粒度覆盖粗糙集两个近似算子的基础上,提出了基于直觉模糊逻辑的直觉模糊多粒度覆盖粗糙集,并对它们的性质进行了刻划.最后,在研究乐观中包含悲观和悲观中包含乐观的直觉模糊多粒度混合乐观和混合悲观覆盖粗糙集模型的基础上,提出和讨论了直觉模糊混合多粒度乐观粗糙集、直觉模糊混合多粒度悲观粗糙集、直觉模糊混合多粒度混合乐观粗糙集和直觉模糊混合多粒度混合悲观粗糙集等既有直觉模糊覆盖又有直觉模糊关系的直觉模糊混合多粒度粗糙集模型,并给出了算例.(本文来源于《西北师范大学》期刊2017-05-01）
邹丽,刘迪,谭雪微,郑宏亮[3]（2016）在《直觉模糊逻辑的(α,β)-准锁语义归结方法》一文中研究指出为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和锁子句的合并规则.最后,给出直觉模糊命题逻辑系统的基于(α,β)-准锁语义归结的自动推理算法步骤,并通过实例说明算法的有效性.(本文来源于《模式识别与人工智能》期刊2016年03期）
刘迪[4]（2015）在《基于直觉模糊命题逻辑的（α，β）-广义锁归结方法》一文中研究指出直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的不确定性的模糊现象。归结方法是定理机器证明的重要工具。归结原理简洁而又美观,吸引众多学者投入到归结原理的研究队伍中去。由于传统的直觉模糊逻辑的归结原理存在着归结过程较复杂、计算机工作量较大的现象,因此,本文基于经典归结方法中锁归结方法的思想提出了直觉模糊命题逻辑的(α,β)-广义锁归结方法。此归结方法比直觉模糊逻辑传统的归结方法更易实现。此外,本文在直觉模糊命题逻辑(α,β)-广义锁归结方法的基础上,提出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结方法。进一步约束了冗余子句的产生,减少了计算机的工作量。本文的主要研究成果如下:为了简化直觉模糊命题逻辑的归结过程,本文基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念,证明了广义子句与其(α,β)-归结式的同可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了直觉模糊命题逻辑的(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊命题逻辑的(α,β)-广义锁归结算法步骤,并通过实例说明该方法的有效性。为了提高直觉模糊命题逻辑的(α,β)-锁归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到了直觉模糊命题逻辑的(α,β)-准锁语义归结方法,并证明了该归结方法的可靠性与完备性。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念。讨论了直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和广义锁子句的合并规则。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结算法,并通过实例说明了该方法的有效性。(本文来源于《辽宁师范大学》期刊2015-06-01）
邹丽,刘迪,郑宏亮[5]（2015）在《直觉模糊逻辑的(α,β)-广义锁归结方法》一文中研究指出归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。(本文来源于《计算机科学与探索》期刊2015年08期）
赵鹏[6]（2014）在《模糊逻辑和直觉模糊逻辑中的说谎者悖论》一文中研究指出说谎者悖论作为古老的逻辑之谜,深深地吸引着众多的逻辑学家、哲学家、语言学家去探究它。一般认为巴威斯等人借助情境语义学对说谎者悖论做出了相对合理的解释。尼科洛夫在模糊逻辑和直觉模糊逻辑中引入巴威斯等人提出的一些定义和结论,从而说明说谎者语句在模糊逻辑和直觉模糊逻辑中不产生悖论。(本文来源于《毕节学院学报》期刊2014年04期）
申立平,王艳平[7]（2014）在《直觉模糊粗糙逻辑的语义及其推理》一文中研究指出将直觉模糊粗糙集理论引入到逻辑推理中,通过对粗糙集、直觉模糊集、数理逻辑等基本理论的融合,给出了直觉模糊粗糙逻辑的语义及其推理方法。首先给出直觉模糊命题逻辑的5个逻辑值,即直觉模糊真、直觉模糊假、直觉模糊粗糙真、直觉模糊粗糙假和直觉模糊粗糙不相容,在此基础上定义了直觉模糊粗糙逻辑的运算,然后讨论了近似空间中直觉模糊粗糙命题公式的语义,最后针对含有不同逻辑连接词的直觉模糊粗糙命题公式给出了其语义推理方法。(本文来源于《智能系统学报》期刊2014年01期）
邹丽,谭雪微,张云霞[8]（2014）在《语言真值直觉模糊逻辑的知识推理》一文中研究指出针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。(本文来源于《计算机科学》期刊2014年01期）
蒋运承[9]（2013）在《面向语义Web的直觉模糊粗描述逻辑(英文)》一文中研究指出分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(",#)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑.针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题(包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等)可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理.(本文来源于《华南师范大学学报(自然科学版)》期刊2013年06期）
胡建庭,徐沥泉[10]（2012）在《随机数学与模糊数学中的直觉与逻辑》一文中研究指出1确定性数学的模型和公式长期以来,人类为了更有把握地驾驭自然和社会,在从事自然科学和社会科学的实践与研究中,已经建立并且还在不断地寻求建立各种各样的数学模型,用以揭示事物之间的本质联系,据以预估和控制某些自然现(本文来源于《数学教学研究》期刊2012年10期）
直觉模糊逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
作为一般逻辑连接词的推广,直觉模糊逻辑连接词的特殊情形已有研究,并应用于直觉模糊粗糙集理论的研究中.然而,作为更一般的情形,直觉模糊逻辑系统及其与直觉模糊粗糙集之间的关系尚未见到系统研究.基于上述考虑,本文讨论了直觉模糊叁值逻辑系统、基于直觉模糊叁值逻辑系统的直觉模糊粗糙集理论及其相互关系.首先,在二值逻辑系统和叁值逻辑系统的基础上,定义了直觉模糊完备格逻辑和直觉模糊逻辑.同时,作为经典多粒度粗糙集的推广,提出了多粒度混合乐观和混合悲观粗糙集模型.其次,基于对偶叁角模,在完备格上对直觉模糊粗糙集进行了统一处理:定义和讨论了完备格上基于t算子的直觉模糊集、运算法则及对偶叁角模剩余蕴涵及其相互转化关系;在讨论完备格上基于t算子的直觉模糊集的对偶叁角模TS隶属度和非隶属度表示的基础上,给出了完备格上基于t算子的直觉模糊集对应的剩余蕴涵之隶属度和非隶属度计算公式;并且在定义完备格上基于t算子相似关系的基础上,定义和刻画了完备格上基于t算子的直觉模糊粗糙集模型.同时,通过建立直觉模糊粗糙集与叁值逻辑对应关系,由直觉模糊逻辑命题导出了直觉模糊覆盖粗糙集的两个近似算子,得到了基于直觉模糊逻辑的直觉模糊覆盖粗糙集;针对多粒度直觉模糊粗糙集,在由直觉模糊逻辑命题导出直觉模糊多粒度覆盖粗糙集两个近似算子的基础上,提出了基于直觉模糊逻辑的直觉模糊多粒度覆盖粗糙集,并对它们的性质进行了刻划.最后,在研究乐观中包含悲观和悲观中包含乐观的直觉模糊多粒度混合乐观和混合悲观覆盖粗糙集模型的基础上,提出和讨论了直觉模糊混合多粒度乐观粗糙集、直觉模糊混合多粒度悲观粗糙集、直觉模糊混合多粒度混合乐观粗糙集和直觉模糊混合多粒度混合悲观粗糙集等既有直觉模糊覆盖又有直觉模糊关系的直觉模糊混合多粒度粗糙集模型,并给出了算例.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
直觉模糊逻辑论文参考文献
[1].李晓楠.直觉模糊逻辑的（α，β）-线性归结方法研究[D].辽宁师范大学.2017
[2].贾永.基于直觉模糊逻辑的直觉模糊粗糙集和直觉模糊多粒度覆盖粗糙集理论[D].西北师范大学.2017
[3].邹丽,刘迪,谭雪微,郑宏亮.直觉模糊逻辑的(α,β)-准锁语义归结方法[J].模式识别与人工智能.2016
[4].刘迪.基于直觉模糊命题逻辑的（α，β）-广义锁归结方法[D].辽宁师范大学.2015
[5].邹丽,刘迪,郑宏亮.直觉模糊逻辑的(α,β)-广义锁归结方法[J].计算机科学与探索.2015
[6].赵鹏.模糊逻辑和直觉模糊逻辑中的说谎者悖论[J].毕节学院学报.2014
[7].申立平,王艳平.直觉模糊粗糙逻辑的语义及其推理[J].智能系统学报.2014
[8].邹丽,谭雪微,张云霞.语言真值直觉模糊逻辑的知识推理[J].计算机科学.2014
[9].蒋运承.面向语义Web的直觉模糊粗描述逻辑(英文)[J].华南师范大学学报(自然科学版).2013
[10].胡建庭,徐沥泉.随机数学与模糊数学中的直觉与逻辑[J].数学教学研究.2012