基于FLcom的模糊知识推理与搜索处理

基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出规则路径表的定义,利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型,讨论该模型的模糊推理及搜索过程,给出了搜索的算法及其实现结果。     

具有3种否定的模糊集FScom在股票投资决策中的应用

对于模糊知识中不同“否定”的认知与处理,文献[1]从概念层面上区分模糊知识中3种不同的否定关系,并提出一种具有矛盾否定、对立否定和中介否定的模糊集FScom。对FScom在股票投资决策方面的应用做了研究,以表明FScom处理实际问题的适用性。并基于FScom,讨论了决策规则中的模糊集及其不同否定的区分与形式表示;给出一种确定模糊集及其不同否定集的隶属函数以及阈值的方法;采用模糊产生式规则,讨论了实例中的模糊推理与决策。从而表明,FScom用来处理具有模糊性并且存在不同否定的实际问题是有效的。     

区分3种否定的模糊命题逻辑系统及其应用

在模糊知识表示与推理中,否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3 种否定关系,即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础,提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM.讨论了FLCOM 特有的性质与意义,给出了FLCOM 的一种语义解释,并证明了可靠性定理.为了表明FLCOM 处理实际问题的适用性,进一步研究了FLCOM在一个模糊决策实例中的应用.具体地,基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示,给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法,并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明,运用FLCOM 处理具有模糊性并且存在不同否定的实际问题是有效的.     

区间值加权模糊推理方法

提出了一种新的带权的区间值模糊产生式规则,给出了加权模糊匹配函数和一个区间值排序算法。在此基础上给出了区间值加权模糊推理方法。该方法使规则前件与事实的匹配更符合实际情况,得到的结果更便于实际应用,并且解决了文献犤1,2犦中模糊推理方法存在的不足。     

模糊联想推理及其实现

本文给出了用模糊联想记忆网络实现肯定前件式,否定后件式或同时包含这两种模糊推理形式的充要条件,并提出了一个增加网络神经元的增强学习算法,这种学习算法能够可靠有效地用于任意多个基于规则的不同形式模糊推理。     

具有还原性的多重多维模糊推理算法

Zadeh提出的CRI算法是模糊推理中运用最广泛的算法，但它不具还原性。王国俊教授提出的全蕴涵三Ⅰ算法，以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法，在单一规则情形满足还原性条件。本文在给出多重多维模糊推理具有还原性的定义的基础上，先用例子说明，全蕴涵三Ⅰ算法和已有的基于相似度的算法在多重多维推理的情况下不具有还原性，同时本文提出一种新的基于相似度的模糊推理算法，在多重多维推理时满足还原性条件。     

一种新的基于综合相似度的区间值模糊推理方法

在深入分析已有的基于相似度的模糊推理算法的基础上,针对其计算复杂、未考虑规则前件权重及规则激活方法可能导致结论不全面的问题,提出一种基于综合相似度的区间值模糊推理算法。引入综合相似度、规则阈值、规则可信度等概念,给出新的模糊规则激活方法及推理结论可信度的计算方法。通过算例说明了新方法在多重多维模糊推理的情况下具有还原性,且计算简单,适用于实际应用。     

三种基于不同模糊否定的模糊拒取式推理及其算法

模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT的一个前提——模糊否定在推理中较重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否定的3种模糊拒取式推理FMT1、FMT2和FMT3.此外,基于R-蕴涵算子IR定义一种与IR关联的NR-蕴涵算子INR,并依据FMT的算法给出FMT1、FMT2和FMT3的算法,证明FMT1、FMT2和FMT3的算法在I≤INR条件下是还原算法.     

带有矛盾否定、对立否定和中介否定的模糊推理

随着知识处理研究的发展,对"否定知识"的认识和处理受到广泛关注.先扩展关于Fuzzy判断句的否定认识,构造带有矛盾否定、对立否定和中介否定的Fuzzy判断句,并给出相应的语义描述和一种逻辑描述.在此基础上扩展真域模型的概念,得到带有不同否定的3种Fuzzy推理规则,并且给出一种CRI算法的推广算法,继而给出一个具体的应用示例.     

基于OWA算子的区间值加权模糊推理

针对如何对区间值模糊产生式规则赋予合理权值的问题,将OWA算子引入到区间值模糊推理中。介绍一种基于OWA算子的区间值赋权方法,根据此方法给出区间值模糊集上的加权模糊产生式规则的推理算法。在采用该算法的过程中,为合理地计算输入事实与规则前件的匹配程度,引入基于OWA算子的区间值模糊匹配函数值和总体贴近度的计算方法。实例分析表明了所给出的区间值模糊推理算法的有效性和可行性。     

一类具有3种否定的模糊模态命题逻辑

对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论。基于FLCOM和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑MKCOM及其扩充系统MTCOM,MS₄COM和MS₅COM;讨论了MKCOM的语义和语法解释,并证明了MKCOM的可靠性定理和完备性定理。     

模糊知识的不同否定及其在投资决策中的应用(英文)

在模糊知识中存在三种不同的否定,即矛盾否定、对立否定和中介否定,基于中介谓词逻辑MF与其无穷值语义解释Φ,研究了模糊知识及其三种否定的表示与推理,并在一个金融投资决策实例中进行了应用。引入了一种新的与Φ中参数λ相关的模糊产生式规则,讨论了实例中的模糊知识及其三种不同否定的推理算法与实现。     

带有不同否定的模糊命题逻辑的形式演绎系统

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom（fuzzy sets with contradictory negation, opposite negation and medium negation）,随后建立了一种改进的模糊集IFScom（improved FScom）。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。     

模糊知识的三种否定及其集合基础

对于模糊知识中"否定"的认知与处理,文中从概念层面上区分模糊知识中的矛盾否定关系与对立否定关系,研究发现了模糊知识中存在一规律:一对对立的概念为模糊概念,则它们之间必然存在"中介"的模糊概念;反之,如果一对对立的概念之间存在中介的模糊概念,则对立的概念必然是模糊概念.因此,作者提出在模糊知识的否定关系中存在三种不同的否定关系,即矛盾否定关系、对立否定关系和中介否定关系,并给出它们的形式定义.为了能够刻画这些关系的内在性质与联系,作者提出了一种新的具有矛盾否定、对立否定和中介否定的模糊集FSCOM,并讨论了FSCOM的特征、FSCOM的基本运算与性质以及FSCOM与Zadeh模糊集的关系等.在后续文中将表明,FSCOM是一种处理实际中的模糊知识及其各种否定的有效方法.     

基于中介逻辑的模糊推理算法

中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。     

模糊控制的模糊推理分析

分析了使用RZ算子时推理合成规则(CRI)不具有还原性和不能正确进行模糊推理的原因,给出了正确应用CRI的条件;分析了全蕴涵3I算法的不足及其具有还原性的原因;对各种蕴涵算子的模糊推理进行分析比较,得到了正确的推理算法;对模糊推理在理论和实际应用中的矛盾作了具体说明.     

基于遗传算法的模糊PI控制器

模糊PI控制器具有鲁棒性强、控制灵活等优点,但是将其应用于纯迟延系统时超调量较大、响应速度慢。针对此提出了一种基于遗传算法的模糊PI控制器,使用遗传算法对模糊逻辑系统参数进行训练。在以往的模糊逻辑系统建立过程中,主要依靠专家知识或工作人员经验来确定其主要参数（如模糊推理规则和隶属函数参数等）,而该文利用遗传算法对样本数据进行优化来获取系统参数。在遗传算法中,将推理规则和隶属函数参数的确定结合在一起,从而确定最优的模糊逻辑系统。仿真试验结果表明,由该方法得到的控制器用于纯迟延系统具有响应快,超调量小等优点。     

具有两种否定的描述逻辑系统MALC

否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。