直觉模糊逻辑的（α，β）-线性归结方法研究

发布时间：2024-03-23 22:51

　　人类在对事物进行判断时,时常表现出赞同、犹豫及反对三种态度,直觉模糊逻辑能够很好的表达人类在受到外界信息影响后做出的带有犹豫程度的不确定性推理。归结方法作为自动推理的重要分支,以其严谨而简洁的推理过程被诸多学者关注。本文结合经典逻辑中的线性归结方法提出了直觉模糊命题逻辑的(α,β)-有序线性归结,并进一步研究了直觉模糊谓词逻辑中的(α,β)-线性归结。结合锁归结策略,提出了直觉模糊谓词逻辑的(α,β)-线性半锁归结,提高了直觉模糊谓词逻辑的归结效率。本文的主要研究成果如下:本文提出了一种基于(α,β)-归结的直觉模糊命题逻辑自动推理方法。通过有限次的使用等价公式将每一个同时拥有真度和假度的直觉模糊命题逻辑公式转换成直觉模糊命题逻辑广义子句。利用假定的阈值(α,β)判断直觉模糊命题逻辑广义子句中的每一个直觉模糊命题逻辑文字是否是(α,β)-可满足的,并以此为基础将文字分成两类,即(α,β)-相似文字和(α,β)-互补文字。利用线性归结仅有一条中心线和一条边线的结构去限制每次归结过程中的归结子句。此外通过(α,β)-有序归结去限制每次参加归结的文字必须是中心子句的最右一个文字。然后使用直觉...

【文章页数】：54 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
1 绪论
    1.1 研究意义
    1.2 国内外研究现状
        1.2.1 直觉模糊集理论研究
        1.2.2 基于归结的自动推理方法研究
    1.3 本文研究内容
    1.4 文章结构
2 预备知识
    2.1 直觉模糊命题逻辑
    2.2 归结原理
3 直觉模糊命题逻辑的(α, β)-有序线性归结方法
    3.1 直觉模糊命题逻辑的(α, β)-归结原理
    3.2 直觉模糊命题逻辑中的(α, β)-有序线性归结方法
    3.3 直觉模糊命题逻辑中的(α, β)-有序线性归结算法
    3.4 本章小结
4 直觉模糊谓词逻辑系统
    4.1 直觉模糊谓词逻辑公式及其性质
    4.2 直觉模糊谓词逻辑的Skolem标准范式
    4.3 直觉模糊谓词逻辑的归结原理
    4.4 本章小结
5 直觉模糊谓词逻辑的(α, β)-线性半锁归结方法
    5.1 直觉模糊谓词逻辑的(α, β)-线性半锁归结方法
    5.2 直觉模糊谓词逻辑的(α, β)-线性半锁归结问题求解算法
    5.3 本章小结
6 结论与展望
参考文献
攻读硕士学位期间发表学术论文情况
致谢



本文编号：3936585