Approximation properties of the neuro-fuzzy minimum function

The integration of fuzzy logic systems and neural networks in data driven nonlinear modeling applications has generally been limited to functions based upon the multiplicative fuzzy implication rule for theoretical and computational reasons. We derive a universal approximation result for the minimum fuzzy implication rule as well as a differentiable substitute function that allows fast optimization and function approximation with neuro-fuzzy networks. --Fuzzy Logic,Neural Networks,Nonlinear Modeling,Optimization

Some New Implication Operations Emerging From Fuzzy Logic

We choose, from fuzzy set theory, t-norms, t-conorms and fuzzy compliments which forms dual triplet that is (i,u,c) that satisfy the DeMorgan's law, these dual triplet are used in the construction of fuzzy implications in fuzzy logic. In this work introduction of fuzzy implication is given, which included definition of fuzzy implications and their properties and also distinct classes of fuzzy implication (S, R and QL-implications). Further also described previous work on fuzzy implication and supporting literature of construction of fuzzy implication are given. Finally main contribution of work is to design new fuzzy implication and their graphical representations

Fuzzy morphological operators in image processing

First of all, in this paper we propose a family of fuzzy implication operators, which the generalised Luckasiewicz's one, and to analyse the impacts of Smets and Magrez properties on these operators. The result of this approach will be a characterisation of a proposed family of inclusion grade operators (in Bandler and Kohout's manner) that satisfies the axioms of Divyendu and Dogherty. Second, we propose a method to define fuzzy morphological operators (erosions and dilations). A family of fuzzy implication operators and the inclusion grade are the basis for this method

A Deep Study of Fuzzy Implications

This thesis contributes a deep study on the extensions of the IMPLY operator in classical binary logic to fuzzy logic, which are called fuzzy implications. After the introduction in Chapter 1 and basic notations about the fuzzy logic operators In Chapter 2 we first characterize In Chapter 3 S- and R- implications and then extensively investigate under which conditions QL-implications satisfy the thirteen fuzzy implication axioms. In Chapter 4 we develop the complete interrelationships between the eight supplementary axioms FI6-FI13 for fuzzy implications satisfying the five basic axioms FI1-FI15. We prove all the dependencies between the eight fuzzy implication axioms, and provide for each independent case a counter-example. The counter-examples provided in this chapter can be used in the applications that need different fuzzy implications satisfying different fuzzy implication axioms. In Chapter 5 we study proper S-, R- and QL-implications for an iterative boolean-like scheme of reasoning from classical binary logic in the frame of fuzzy logic. Namely, repeating antecedents $n$ times, the reasoning result will remain the same. To determine the proper S-, R- and QL-implications we get a full solution of the functional equation $I(x,y)=I(x,I(x,y))$, for all $x$, $y\in[0,1]$. In Chapter 6 we study for the most important t-norms, t-conorms and S-implications their robustness against different perturbations in a fuzzy rule-based system. We define and compare for these fuzzy logical operators the robustness measures against bounded unknown and uniform distributed perturbations respectively. In Chapter 7 we use a fuzzy implication $I$ to define a fuzzy $I$-adjunction in $\mathcal{F}(\mathbb{R}^{n})$. And then we study the conditions under which a fuzzy dilation which is defined from a conjunction $\mathcal{C}$ on the unit interval and a fuzzy erosion which is defined from a fuzzy implication $I^{'}$ to form a fuzzy $I$-adjunction. These conditions are essential in order that the fuzzification of the morphological operations of dilation, erosion, opening and closing obey similar properties as their algebraic counterparts. We find out that the adjointness between the conjunction $\mathcal{C}$ on the unit interval and the implication $I$ or the implication $I^{'}$ play important roles in such conditions

On the first place antitonicity in QL-implications

To obtain a demanded fuzzy implication in fuzzy systems, a number of desired properties have been proposed, among which the first place antitonicity, the second place isotonicity and the boundary conditions are the most important ones. The three classes of fuzzy implications derived from the implication in binary logic, S-, R- and QL-implications all satisfy the second place isotonicity and the boundary conditions. However, not all the QL-implications satisfy the first place antitonicity as S- and R-implications do. In this paper we study the QL-implications satisfying the first place antitonicity. First we establish the relationship between the first place antitonicity and other required properties of QL-implications. Second we work on the conditions under which a QL-implication generated by different combinations of a t-conorm S, a t-norm T and a strong fuzzy negation N satisfy the first place antitonicity, especially in the cases that both S and T are continuous. We further investigate the interrelationships between S- and R-implications generated by left-continuous t-norms on one hand and QL-implications satisfying the first place antitonicity on the other

Fuzzy implication functions based on powers of continuous t-norms

The modification (relaxation or intensification) of the antecedent or the consequent in a fuzzy “If, Then” conditional is an important asset for an expert in order to agree with it. The usual method to modify fuzzy propositions is the use of Zadeh's quantifiers based on powers of t-norms. However, the invariance of the truth value of the fuzzy conditional would be a desirable property when both the antecedent and the consequent are modified using the same quantifier. In this paper, a novel family of fuzzy implication functions based on powers of continuous t-norms which ensure the aforementioned property is presented. Other important additional properties are analyzed and from this study, it is proved that they do not intersect the most well-known classes of fuzzy implication functions.Peer ReviewedPostprint (author's final draft

Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of L-fuzzy mathematical morphology

Mathematical morphology (MM) offers a wide range of tools for image processing and computer vision. MM was originally conceived for the processing of binary images and later extended to gray-scale morphology. Extensions of classical binary morphology to gray-scale morphology include approaches based on fuzzy set theory that give rise to fuzzy mathematical morphology (FMM). From a mathematical point of view, FMM relies on the fact that the class of all fuzzy sets over a certain universe forms a complete lattice. Recall that complete lattices provide for the most general framework in which MM can be conducted. The concept of L-fuzzy set generalizes not only the concept of fuzzy set but also the concepts of interval-valued fuzzy set and Atanassov’s intuitionistic fuzzy set. In addition, the class of L-fuzzy sets forms a complete lattice whenever the underlying set L constitutes a complete lattice. Based on these observations, we develop a general approach towards L-fuzzy mathematical morphology in this paper. Our focus is in particular on the construction of connectives for interval-valued and intuitionistic fuzzy mathematical morphologies that arise as special, isomorphic cases of L-fuzzy MM. As an application of these ideas, we generate a combination of some well-known medical image reconstruction techniques in terms of interval-valued fuzzy image processing

On continuity of the entropy-based differently implicational algorithm

summary:Aiming at the previously-proposed entropy-based differently implicational algorithm of fuzzy inference, this study analyzes its continuity. To begin with, for the FMP (fuzzy modus ponens) and FMT (fuzzy modus tollens) problems, the continuous as well as uniformly continuous properties of the entropy-based differently implicational algorithm are demonstrated for the Tchebyshev and Hamming metrics, in which the R-implications derived from left-continuous t-norms are employed. Furthermore, four numerical fuzzy inference examples are provided, and it is found that the entropy-based differently implicational algorithm can obtain more reasonable solution in contrast with the fuzzy entropy full implication algorithm. Finally, in the entropy-based differently implicational algorithm, we point out that the first fuzzy implication reflects the effect of rule base, and that the second fuzzy implication embodies the inference mechanism