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

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

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

Fuzzy control in manufacturing systems

XIV+119hlm.;24c

Some mathematical aspects of fuzzy systems

In this work, three topics which are important for the further development of fuzzy systems are chosen to be investigated. First, the mathematical aspects of fuzzy relational equations (FREs) are explored. Solving FREs is one of the most important problems in fuzzy systems. In order to identify the algebraic information of the fuzzy space, two new tools, called fuzzy multiplicative inversion and additive inversion, are proposed. Based on these tools, the relationship among fuzzy vectors in fuzzy space is studied. Analytical expressions of maximum and mean solutions for FREs, and an optimal algorithm for calculating minimum solutions are developed. Second, the possibility of applying functional analysis theory to Takagi-Sugeno (T-S) fuzzy systems design is investigated. Fuzzy transforms, which are based on the generalised Fourier transform in functional analysis, are proposed. It is demonstrated that, mathematically, a T-S fuzzy model is equivalent to a fuzzy transform. Hence the parameters of a T-S fuzzy system can be identified by solving equations constructed using the inner product between membership functions and a given target function. The functional point of view leads to an insight into the behaviour of a fuzzy system. It provides a theoretical basis for exploring improvements to the efficiency of T-S fuzzy modelling. Third, the mathematical aspects of model-based fuzzy control (MBFC) are investigated. MBFC theory is not suitable for general nonlinear systems, due to an implicit linearity assumption. This assumption limits fuzzy controller design to a special case of linear time-varying systems control. To apply MBFC in general nonlinear control, a new stability criterion for general nonlinear fuzzy system is proposed. The mathematical aspects investigated in this research, provide a systematic guidance on issues such as efficient fuzzy systems modelling, balanced "soft" and "hard" computing in fuzzy system design, and applicability of fuzzy control to general nonlinear systems. They serve as a theoretical basis for further development of fuzzy systems.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

System of Systems Architecture Generation and Evaluation Using Evolutionary Algorithms

Evolutionary algorithms and computational intelligence represent a developing technology and science that provides great potential in the area of system and system-of-systems architecture generation, categorization and evaluation. Classical system engineering analysis techniques have been used to represent a system architecture in a manner that is compatible with evolutionary algorithms and computational intelligence techniques. This paper focuses on specific system relationship configurations and attributes that are required to successfully aggregate the best-fit function in a fuzzy associative memory that is used in an evolutionary algorithm to generate and evaluate system architectures

Some mathematical aspects of fuzzy systems

In this work, three topics which are important for the further development of fuzzy systems are chosen to be investigated. First, the mathematical aspects of fuzzy relational equations (FREs) are explored. Solving FREs is one of the most important problems in fuzzy systems. In order to identify the algebraic information of the fuzzy space, two new tools, called fuzzy multiplicative inversion and additive inversion, are proposed. Based on these tools, the relationship among fuzzy vectors in fuzzy space is studied. Analytical expressions of maximum and mean solutions for FREs, and an optimal algorithm for calculating minimum solutions are developed. Second, the possibility of applying functional analysis theory to Takagi-Sugeno (T-S) fuzzy systems design is investigated. Fuzzy transforms, which are based on the generalised Fourier transform in functional analysis, are proposed. It is demonstrated that, mathematically, a T-S fuzzy model is equivalent to a fuzzy transform. Hence the parameters of a T-S fuzzy system can be identified by solving equations constructed using the inner product between membership functions and a given target function. The functional point of view leads to an insight into the behaviour of a fuzzy system. It provides a theoretical basis for exploring improvements to the efficiency of T-S fuzzy modelling. Third, the mathematical aspects of model-based fuzzy control (MBFC) are investigated. MBFC theory is not suitable for general nonlinear systems, due to an implicit linearity assumption. This assumption limits fuzzy controller design to a special case of linear time-varying systems control. To apply MBFC in general nonlinear control, a new stability criterion for general nonlinear fuzzy system is proposed. The mathematical aspects investigated in this research, provide a systematic guidance on issues such as efficient fuzzy systems modelling, balanced 'soft' and 'hard' computing in fuzzy system design, and applicability of fuzzy control to general nonlinear systems. They serve as a theoretical basis for further development of fuzzy systems

Admissibility of Π₂-inference rules: Interpolation, model completion, and contact algebras

We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to the case of symmetric implication calculus S2IC, where we also supply a finite axiomatization of the model completion of its algebraic counterpart, via the equivalent theory of contact algebras. Using this result we obtain a finite basis for admissible Π2-rules