模糊推理三Ⅰ算法的还原性

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

基于蕴涵算子θp模糊推理的三I与反向三I算法的约束度分析

研究基于蕴涵算子θp模糊推理的三I算法与反向三I算法的约束度理论, 分析约束度的性质,得到α-三I算法的FMP(FMT)上(下)确界计算公式与α-反向三I算法的FMP(FMT)下(上)确界的计算公式.     

基于一族蕴涵算子的对偶三I算法

三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充. 三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善.本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究.     

三I算法的鲁棒性

基于三I算法的模糊推理不仅在语义上而且在语构上均有合理的解释。在模糊推理三I算法中,研究输入的微小变化所引起输出变化幅度尤为重要。本文首先给出了基于QL蕴涵的三I算法的表达式,进一步借助模糊连接词的鲁棒性,系统地研究了基于几种常见的蕴涵的三I算法的鲁棒性。     

基于蕴涵算子族L-λ-G的模糊推理三Ⅰ约束算法

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高模糊推理结果的效果. 针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三I约束算法、α-三I约束算法.     

模糊推理三I算法的逻辑基础

在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。     

模糊推理的α-三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质，针对满足一定条件的较一般蕴涵算子，建立了FMP与FMT模型的α-三I算法，并讨论了算法的还原性。     

FMT-泛三I算法的约束度理论

从先前提出的泛三I算法出发,面向FMT(fuzzy modus tollens)问题,提出模糊推理的FMT-泛三I约束算法。改进之前的三I约束FMT原则,给出泛三I约束解的存在条件,建立FMT-泛三I约束算法的统一形式的解。并且,针对9种具体的蕴涵算子,获得相应的泛三I约束解。最后,给出并改进FMT-三I约束算法的相关结论。     

三I表达式取最小值时的最优解

在本文中，针对蕴涵算子$R_0$,我们给出了当$A\rightarrow B$与$A^*(B^*)$给定时,求使三I表达式$(A\rightarrow B)\rightarrow(A^*\rightarrow B^*)$取最小值的全体$B^*(A^*)$之集的上确界(下确界)算法.并将上确界算法推广到多维多重的模糊推理中.从三I表达式取最值时求最优的$B^*(A^*)$的角度来看,本文是三I算法思想的延伸和完善.     

基于蕴涵算子族L-λ-G的模糊推理三I支持算法

提出了基于蕴涵算子族L -λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G 给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法.     

基于Lukasiewicz蕴涵算子的反向三I算法

三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理，借助该蕴涵算子的性质,给出相应的推理算法。     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

基于S蕴涵算子的区间值模糊推理的三I算法

针对S蕴涵算子讨论了FM P模型及FM T模型的区间值模糊集三I推理,借助S蕴涵算子的性质,给出相应的推理算法,并讨论了算法的还原性。     

FMT问题的两种三Ⅰ算法及其还原性

进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W－还原的,而三Ⅰ^*算法是Z－还原的。     

基于极大模糊熵原理的模糊推理三I算法

用模糊熵来度量模糊推理结果的模糊程度，并用本文给出的极大模糊熵原理对王国俊先生提出的模糊推理三Ⅰ算法做进一步的解释和改进，提出基于极大模糊熵原理的模糊推理三Ⅰ算法，证明这几种算法在一定条件下是关系再现算法。     

关于三 I FMT问题的若干注记

指出了在经典逻辑学中,M T是M P的等价形式;明确了三I FM T是与三I FM P不同的算法,且三I FM P与三I FM T这两种算法是对偶算法,表明三I算法的两个组成部分在理论上是和谐的。指出了如果在Fuzzy推理中模仿M T而计算FM T的解,则会回到FM P问题。     

模糊推理的三I逄法的RL型支持度分析

在文献[1]提出的三I算法的支持度理论的基础上,全面展开了基于Lukasiewicz蕴函算子RL的三I算法的理论,给出了模糊MP算法与模糊MT算法的计算公式,并考虑了三I算法制还原性问题;进一步研究了三I算法的支持度理论,分析了支持度的性质,得到了一般化的α-三IFMP公式与α-三IFMT公式。     

扰动值模糊推理的三I算法

以D2上的三角模及其伴随为基础,给出了扰动值模糊推理的三I算法,为模糊信息处理的方法和应用提供了新的理论基础。