基于直觉模糊命题逻辑的（α，β）-广义锁归结方法

发布时间：2017-05-10 05:01

  本文关键词：基于直觉模糊命题逻辑的（α，，β）-广义锁归结方法，由笔耕文化传播整理发布。

【摘要】：直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的不确定性的模糊现象。归结方法是定理机器证明的重要工具。归结原理简洁而又美观,吸引众多学者投入到归结原理的研究队伍中去。由于传统的直觉模糊逻辑的归结原理存在着归结过程较复杂、计算机工作量较大的现象,因此,本文基于经典归结方法中锁归结方法的思想提出了直觉模糊命题逻辑的(α,β)-广义锁归结方法。此归结方法比直觉模糊逻辑传统的归结方法更易实现。此外,本文在直觉模糊命题逻辑(α,β)-广义锁归结方法的基础上,提出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结方法。进一步约束了冗余子句的产生,减少了计算机的工作量。本文的主要研究成果如下:为了简化直觉模糊命题逻辑的归结过程,本文基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念,证明了广义子句与其(α,β)-归结式的同可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了直觉模糊命题逻辑的(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊命题逻辑的(α,β)-广义锁归结算法步骤,并通过实例说明该方法的有效性。为了提高直觉模糊命题逻辑的(α,β)-锁归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到了直觉模糊命题逻辑的(α,β)-准锁语义归结方法,并证明了该归结方法的可靠性与完备性。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念。讨论了直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和广义锁子句的合并规则。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结算法,并通过实例说明了该方法的有效性。
【关键词】：自动推理 直觉模糊逻辑 (α β)-广义锁归结方法 (α β)-准锁语义归结 完备性定理
【学位授予单位】：辽宁师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：O159
【目录】：

• 摘要4-5
• Abstract5-8
• 1 绪论8-14
• 1.1 研究背景8-9
• 1.2 国内外相关研究综述9-12
• 1.2.1 直觉模糊推理的研究现状9-11
• 1.2.2 归结自动推理的研究现状11-12
• 1.3 本文研究内容12
• 1.4 文章结构12-14
• 2 预备知识14-19
• 2.1 直觉模糊集14
• 2.2 直觉模糊逻辑14-19
• 3 直觉模糊逻辑的(α, β)-广义锁归结方法19-28
• 3.1 直觉模糊逻辑的(α, β)-归结方法19-21
• 3.2 直觉模糊逻辑的(α, β)-广义锁归结方法21-23
• 3.3 直觉模糊逻辑的(α, β)-广义锁归结算法23-27
• 3.4 本章小结27-28
• 4 直觉模糊逻辑的(α, β)-准锁语义归结方法28-37
• 4.1 直觉模糊逻辑的(α,β)-准锁语义互撞28-29
• 4.2 直觉模糊逻辑的(α, β)-准锁语义归结方法29-32
• 4.3 直觉模糊逻辑的(α, β)-准锁语义归结算法32-36
• 4.4 本章小结36-37
• 5 总结与展望37-39
• 参考文献39-42
• 攻读硕士学位期间发表学术论文情况42-43
• 致谢43

【相似文献】

中国期刊全文数据库 前8条

1 刘叙华,杨玉普;线性半锁归结方法[J];科学通报;1990年18期

2 孙吉贵,刘叙华;广义线性半锁归结[J];科学通报;1992年19期

3 刘叙华,陈斌;广义RUE-NRF归结的配锁[J];吉林大学自然科学学报;1993年02期

4 刘叙华,欧阳继红;自动定理证明中RUE-NRF单元输入和锁的演绎[J];吉林大学自然科学学报;1989年02期

5 刘叙华,杨凤杰;λ-Horn集上的λ-单元锁归结[J];吉林大学自然科学学报;1989年03期

6 刘叙华,杨凤杰;λ-Horn集上的λ-单元锁归结[J];科学通报;1989年01期

7 刘叙华;Horn集上的输入半锁归结原理[J];科学通报;1985年16期

8 ;[J];;年期

中国硕士学位论文全文数据库 前2条

1 刘迪;基于直觉模糊命题逻辑的（α，β）-广义锁归结方法[D];辽宁师范大学;2015年

2 惠骁;命题信念集非修正方法的优化策略研究[D];大连海事大学;2014年

  本文关键词：基于直觉模糊命题逻辑的（α，β）-广义锁归结方法，由笔耕文化传播整理发布。

本文编号：354022