分享到:

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上,用[0,1]中的两个实数表示一个命题的  (本文共4页) 阅读全文>>

辽宁师范大学
辽宁师范大学

直觉模糊逻辑的(α,β)-线性归结方法研究

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

《计算机科学与探索》2015年08期
计算机科学与探索

直觉模糊逻辑的(α,β)-广义锁归结方法

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广...  (本文共6页) 阅读全文>>

辽宁师范大学
辽宁师范大学

基于直觉模糊命题逻辑的(α,β)-广义锁归结方法

直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的不确定性的模糊现象。归结方法是定理机器证明的重要工具。归结原理简洁而又美观,吸引众多学者投入到归结原理的研究队伍中去。由于传统的直觉模糊逻辑的归结原理存在着归结过程较复杂、计算机工作量较大的现象,因此,本文基于经典归结方法中锁归结方法的思想提出了直觉模糊命题逻辑的(α,β)-广义锁归结方法。此归结方法比直觉模糊逻辑传统的归结方法更易实现。此外,本文在直觉模糊命题逻辑(α,β)-广义锁归结方法的基础上,提出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结方法。进一步约束了冗余子句的产生,减少了计算机的工作量。本文的主要研究成果如下:为了简化直觉模糊命题逻辑的归结过程,本文基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念,证明了广义子句与其(α,β)-归结式的同可满足性...  (本文共43页) 本文目录 | 阅读全文>>

西南交通大学
西南交通大学

基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究

人类在处理决策、评估、风险分析、信息检索等问题中会遇到大量的不确定性信息,本文基于格蕴涵代数,用语言真值去处理具有模糊性和不可比较性的不确定信息,建立能够同时处理可比性和不可比性的语言真值逻辑系统,并对语言真值逻辑系统和语言真值直觉模糊逻辑系统的性质及其推理的理论与方法进行了研究,主要研究成果如下:一、语言真值格蕴涵代数(1)分析了2-tuple语言值表示模型,语气代数等语言值信息处理方法.(2)借鉴语气代数的结构特点并结合格蕴涵代数的性质,讨论了18元和2n元语言真值格蕴涵代数的结构及性质.二、基于格蕴涵代数的语言真值命题逻辑系统(1)基于六元格蕴涵代数,得到了六元语言真值命题逻辑系统的推理性质及其基于滤子的归结推理方法.(2)基于2n元语言真值格蕴涵代数,得到了2n元语言真值格值命题逻辑系统中命题公式的性质.(3)解决了基于语言真值格蕴涵代数的格值命题逻辑系统的可满足性问题,给出了基于滤子的语言真值归结推理理方法及a-语言真...  (本文共171页) 本文目录 | 阅读全文>>

南京理工大学
南京理工大学

基于直觉区间值模糊理论的近似推理与多属性决策研究

在很多实际系统中均不同程度地存在着不确定性。美国电子工程与控制论专家L.A.Zadeh是位很有洞察力的科学家,他正视并为解决这类问题于1965年,发表了《模糊集合》一文,大胆地对现代数学的基石——集合论进行修改和补充,提出了用模糊集合(Fuzzy Sets)作为表现模糊事物的数学模型,宣告了新兴学科——模糊数学的诞生。1986年保加利亚著名学者K.Atanassov提出了直觉模糊集的概念,由于直觉模糊集的特点是同时考虑隶属度与非隶属度两方面的信息,使得它在对事物属性的描述上提供了更多的选择方式,在处理不确定信息时具有更强的表现能力。因此直觉模糊集在学术界及工程技术界引起了广泛的关注。在实际应用中,区间值隶属度和非隶属度较点值隶属度和非隶属度更容易确定。因此K.Atanassov和G.Gargov于1989年又提出了直觉区间值模糊集的概念。本文利用直觉区间值模糊集研究近似推理及多属性决策问题,建立起一系列推理与决策方法。主要内容和...  (本文共120页) 本文目录 | 阅读全文>>