为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结...为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。展开更多
对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium n...对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。展开更多
模糊推理中,合成规则推理方法(compositional rule of inference, CRI)与基于贴近度的方法(similarity based approximate reasoning,SAR)都是建立在只有一种否定的经典模糊集上。针对广义模糊集GFScom(generalized fuzzy sets with con...模糊推理中,合成规则推理方法(compositional rule of inference, CRI)与基于贴近度的方法(similarity based approximate reasoning,SAR)都是建立在只有一种否定的经典模糊集上。针对广义模糊集GFScom(generalized fuzzy sets with contradictory, opposite and medium negation)具有三种否定(矛盾否定、对立否定、中介否定)的特点,对模糊推理方法 CRI的蕴含算子作了扩展。提出了具有三种否定的GFScom贴近度定义和公式,得到模糊近似推理的一种新的计算形式GSAR方法,证明了GSAR该方法具有FMP(fuzzy modus ponens)还原性。通过应用实例对比,模糊推理GSAR的新方法不仅克服了CRI方法在建立模糊关系矩阵具有主观性和随意性的不足,而且客观有效地反映了模糊推理中的3种否定信息,丰富了模糊推理的形式。展开更多
对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negatio...对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,FScom)。针对FScom及其改进模糊集(Improved Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,IFScom)在刻画模糊性知识及其三种不同否定关系上的一些不足,提出了广义模糊集GFScom。在此基础上,给出了基于GFScom的模糊控制规则的设记方法,并给出一个具体实例。通过该实例可以看出,所提出的设计方法是有效且合理的。展开更多
文摘为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。
文摘对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。
文摘模糊推理中,合成规则推理方法(compositional rule of inference, CRI)与基于贴近度的方法(similarity based approximate reasoning,SAR)都是建立在只有一种否定的经典模糊集上。针对广义模糊集GFScom(generalized fuzzy sets with contradictory, opposite and medium negation)具有三种否定(矛盾否定、对立否定、中介否定)的特点,对模糊推理方法 CRI的蕴含算子作了扩展。提出了具有三种否定的GFScom贴近度定义和公式,得到模糊近似推理的一种新的计算形式GSAR方法,证明了GSAR该方法具有FMP(fuzzy modus ponens)还原性。通过应用实例对比,模糊推理GSAR的新方法不仅克服了CRI方法在建立模糊关系矩阵具有主观性和随意性的不足,而且客观有效地反映了模糊推理中的3种否定信息,丰富了模糊推理的形式。
文摘对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,FScom)。针对FScom及其改进模糊集(Improved Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,IFScom)在刻画模糊性知识及其三种不同否定关系上的一些不足,提出了广义模糊集GFScom。在此基础上,给出了基于GFScom的模糊控制规则的设记方法,并给出一个具体实例。通过该实例可以看出,所提出的设计方法是有效且合理的。
