完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

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

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

模糊CRI算法及模糊推理的有效性研究

通过揭示模糊推理的一种CRI算法的逻辑原理,提出了模糊推理的一种新算法.并对单规则的CRI算法(或三Ⅰ算法)的重心(或最大隶属度)去模糊法的有效性进行了研究.发现在单规则的CRI算法(或三Ⅰ算法)的模糊推理中,当大前提的后件取对称模糊集时,采用重心去模糊法使得推理结果无效,而采用最大隶属度去模糊法可使得推理结果有效.     

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

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

模糊推理的α-三I算法

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

一些模糊推理方法的还原性

给出15个常用模糊蕴涵算子的三Ⅰ算法，在此基础上讨论由这15个蕴涵算子与CRI算法和三Ⅰ算法相结合生成的30种模糊推理方法的还原性。     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

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

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

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

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

三I算法的鲁棒性

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

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

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

Formalization of implication based fuzzy reasoning method

Fuzzy reasoning includes a number of important inference methods for addressing uncertainty. This line of fuzzy reasoning forms a common logical foundation in various fields, such as fuzzy logic control and artificial intelligence. The full implication triple I method (a method only based on implication, TI method for short) for fuzzy reasoning is proposed in 1999 to improve the popular CRI method (a hybrid method based on implication and composition). The current paper delves further into the TI method, and a sound logical foundation is set for the TI method based on the monoidal t-norm based logical system MTL.     

Triple I algorithms based on Schweizer–Sklar operators in fuzzy reasoning

In this paper, we focus on the flexible inference method with parameters, that is the parametric triple I method by the combination of Schweizer–Sklar operators and triple I principles for fuzzy reasoning. Because the Schweizer–Sklar parameter m reflects the interaction between propositions in reasoning processes, the new parameterized triple I algorithms are closer to human reasoning in daily life. Also some properties of the new algorithms such as the reductivity, continuity and approximation are discussed. It is shown that some existing results are special cases of the new algorithms given here and in view of the variability of the parameter m the new algorithms have excellent flexibility in reasoning processes.     

作用模糊子集推理方法的研究与应用

针对实用模糊控制过程,提出作用模糊子集和作用模糊控制规则的概念;根据模糊逻辑推理中真值的产生、传递和接收机理,提出作用模糊子集推理方法;比较分析了作用模糊子集推理方法与CRI法的推理结果;利用该推理方法实现了试验室温度模糊控制试验。     

Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets

Two basic inference models of fuzzy reasoning are fuzzy modus ponens (FMP) and fuzzy modus tollens (FMT). The Triple I method is a very important method to solve the problems of FMP and FMT. The aim of this paper is to extend the Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets. In the paper, we first investigate the algebra operators' properties on the lattice structure of intuitionistic fuzzy information and provide the unified form of residual implications which indicates the relationship between intuitionistic fuzzy implications and fuzzy implications. Then we present the intuitionistic fuzzy reasoning version of the Triple I principles based on the models of intuitionistic fuzzy modus ponens (IFMP) and intuitionistic fuzzy modus tollens (IFMT) and give the Triple I method of intuitionistic fuzzy reasoning for residual implications. Moreover, we discuss the reductivity of the Triple I methods for IFMP and IFMT. Finally, we propose α-Triple I method of intuitionistic fuzzy reasoning.     

基于模式匹配的模糊控制算法

本文针对模糊控制器输入输出是非模糊量的特点,在隶属函数统一定义的情况下,提出一类新的基于模式匹配的简化推理决策算法。     

模糊映象的完全广义变分包含

研究了一类新的关于模糊映射的完全广义变分包含问题 ,给出了解的逼近算法 ,证明了这类问题解的存在定理和序列收敛定理 ,推广了 N. J. Huang在文 [1 ]的主要结果 .     

关于GMP和GMT问题的最优解

进一步研究模糊推理的非模糊形式，在几个重要的逻辑系统中形式地讨论GMP(广义取式)和GMT(广义拒取式)问题的最优解。结果表明，GMP和GMT问题的三I解和一种新的三I解都是某种意义下的最优解。还讨论所给算法的还原性问题。