金融投资决策中的模糊知识及其不同否定的表示与推理

基于一种带有矛盾否定、对立否定和中介否定的新模糊集FScom,研究了在一个金融投资决策实例中的应用.其中,对于模糊知识的不同否定,引入模糊集合～<'+>A和～<'->A,并采用距离比率函数思想定义了模糊集的隶属函数,给出了模糊集合FScom定义中λ值以及模糊产生式规则中周值τ的一种确定方法,讨论了实例中的模糊知识及其三种不同否定的推理算法与实现.     

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

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

一种改进的具有三种否定的新模糊集及其应用

对于模糊知识及其否定关系,潘指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的新模糊集FScom。在此基础上,对模糊知识及其各种否定的集合基础进一步研究,提出了一种改进的具有三种否定的模糊集IFScom,并讨论了它的特征、运算及相关性质。应用实例表明改进的模糊集IFScom在模糊知识的“否定”的区分、表示以及推理上是有效性的。     

基于中介逻辑的模糊知识表示及应用

本文基于中介逻辑理论,在知识描述中区分知识的“矛盾”与“对立”,肯定对立的模糊概念之间存在中介对象（中介概念）,将矛盾否定与对立否定运用于知识表示中;并 以一金融决策实际问题为例,采用距离比率函数为模糊谓词表达式赋予属于[0,1]区间的真值,结合中介谓词逻辑的无穷值语义模型与具体情形,给出了模型中变量（取值的的一种确定方法及其意义,最后通过一具体实例讨论了模糊知识推理。     

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

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

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

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

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

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

基于中介逻辑的模糊知识推理的搜索处理

中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。     

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

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

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

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

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

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

基于模糊命题逻辑形式系统FLcom的模糊推理及应用

FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。     

广义模糊集GFScom在模糊综合评判中的应用

针对FScom在刻画模糊性知识及其3种不同否定关系上的一些不足,提出了广义模糊集GFScom,它从哲学层面上更好地刻画了模糊性知识及其3种不同否定之间的关系。在此基础上,给出了基于GFScom的模糊综合评判方法。应用示例表明,GFScom对3种否定的处理不仅使模糊评判的计算更加简便,而且合理有效。     

具有三种否定的模糊集FScom的模糊度与贴近度

文献[1]从概念层面上提出并区分模糊概念中存在的三种不同否定关系,即矛盾否定关系、对立否定关系和中介否定关系,由此定义了能够刻画这些不同否定的一种新的模糊集FScom。研究模糊集FScom的模糊度与贴近度,提出模糊集FScom的模糊度、距离贴近度以及格贴近度计算公式,并讨论了它们的应用。