Implication functions in interval-valued fuzzy set theory

Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees. Since implications on the unit interval play an important role in fuzzy set theory, several authors have extended this notion to interval-valued fuzzy set theory. This chapter gives an overview of the results pertaining to implications in interval-valued fuzzy set theory. In particular, we describe several possibilities to represent such implications using implications on the unit interval, we give a characterization of the implications in interval-valued fuzzy set theory which satisfy the Smets-Magrez axioms, we discuss the solutions of a particular distributivity equation involving strict t-norms, we extend monoidal logic to the interval-valued fuzzy case and we give a soundness and completeness theorem which is similar to the one existing for monoidal logic, and finally we discuss some other constructions of implications in interval-valued fuzzy set theory

Special construction of Atanassov’s intuitionistic fuzzy S-implications that maintain the Atanassov’s intuitionistic index

In this paper we present a method for the construction of Atanassov’s intuitionistic fuzzy S-implications that satisfy the following property: if in the intuitionistic fuzzy conditional the antecedent is equal to the consequent, then the Atanassov’s intuitionistic fuzzy implication operator has the same Atanassov’s intuitionistic fuzzy index as the antecedent and the consequent

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