FUZZY LOGIC FUNDAMENTALS
3.fm Page 61 Monday, March 26, 2001 10:18 AMCHAPTER3FUZZY LOGICFUNDAMENTALS3.1 INTRODUCTIONThe past few years have witnessed a rapid growth in the number and variety of applications of fuzzy logic (FL). FL techniques have been used in image-understanding applicationssuch as detection of edges, feature extraction, classification, and clustering. Fuzzy logic posesthe ability to mimic the human mind to effectively employ modes of reasoning that are approximate rather than exact. In traditional hard computing, decisions or actions are based on precision, certainty, and vigor. Precision and certainty carry a cost. In soft computing, tolerance andimpression are explored in decision making. The exploration of the tolerance for imprecisionand uncertainty underlies the remarkable human ability to understand distorted speech, deciphersloppy handwriting, comprehend nuances of natural language, summarize text, and recognizeand classify images. With FL, we can specify mapping rules in terms of words rather than numbers. Computing with the words explores imprecision and tolerance. Another basic concept inFL is the fuzzy if–then rule. Although rule-based systems have a long history of use in artificialintelligence, what is missing in such systems is machinery for dealing with fuzzy consequents orfuzzy antecedents. In most applications, an FL solution is a translation of a human solution.Thirdly, FL can model nonlinear functions of arbitrary complexity to a desired degree of accuracy. FL is a convenient way to map an input space to an output space. FL is one of the toolsused to model a multiinput, multioutput system.Soft computing includes fuzzy logic, neural networks, probabilistic reasoning, and geneticalgorithms. Today, techniques or a combination of techniques from all these areas are used todesign an intelligence system. Neural networks provide algorithms for learning, classification,and optimization, whereas fuzzy logic deals with issues such as forming impressions and reasoning on a semantic or linguistic level. Probabilistic reasoning deals with uncertainty. Althoughthere are substantial areas of overlap between neural networks, FL, and probabilistic reasoning,61
3.fm Page 62 Monday, March 26, 2001 10:18 AM62Chapter 3 FUZZY LOGIC FUNDAMENTALSin general they are complementary rather than competitive. Recently, many intelligent systemscalled neuro fuzzy systems have been used. There are many ways to combine neural networksand FL techniques. Before doing so, however, it is necessary to understand basic ideas in thedesign of FL techniques. In this chapter, we will introduce FL concepts such as fuzzy sets andtheir properties, FL operators, hedges, fuzzy proposition and rule-based systems, fuzzy mapsand inference engine, defuzzification methods, and the design of an FL decision system.3.2 FUZZY SETS AND MEMBERSHIP FUNCTIONSZadeh introduced the term fuzzy logic in his seminal work “Fuzzy sets,” which describedthe mathematics of fuzzy set theory (1965). Plato laid the foundation for what would becomefuzzy logic, indicating that there was a third region beyond True and False. It was Lukasiewiczwho first proposed a systematic alternative to the bivalued logic of Aristotle. The third valueLukasiewicz proposed can be best translated as “possible,” and he assigned it a numeric valuebetween True and False. Later he explored four-valued logic and five-valued logic, and then hedeclared that, in principle, there was nothing to prevent the derivation of infinite-valued logic.FL provides the opportunity for modeling conditions that are inherently imprecisely defined.Fuzzy techniques in the form of approximate reasoning provide decision support and expert systems with powerful reasoning capabilities. The permissiveness of fuzziness in the humanthought process suggests that much of the logic behind thought processing is not traditional twovalued logic or even multivalued logic, but logic with fuzzy truths, fuzzy connectiveness, andfuzzy rules of inference. A fuzzy set is an extension of a crisp set. Crisp sets allow only fullmembership or no membership at all, whereas fuzzy sets allow partial membership. In a crispset, membership or nonmembership of element x in set A is described by a characteristic function µ A ( x ) , where µ A ( x ) 1 if x A and µ A ( x ) 0 if x A. Fuzzy set theory extends this concept by defining partial membership. A fuzzy set A on a universe of discourse U is characterizedby a membership function µ A ( x ) that takes values in the interval [ 0,1]. Fuzzy sets representcommonsense linguistic labels like slow, fast, small, large, heavy, low, medium, high, tall, etc. Agiven element can be a member of more than one fuzzy set at a time. A fuzzy set A in U may berepresented as a set of ordered pairs. Each pair consists of a generic element x and its grade ofmembership function; that is, i A ( x, µ A ( x )) x Un, x is called a support value if µ A ( x ) 0 .A linguistic variable x in the universe of discourse U is characterized by T ( x ) Tx1 , Tx 2 , ., Tx k12kand µ ( x ) µx , µx , ., µx , where T ( x ) is the term set of x — that is, the set of names of linguistic values of x, with each Txi being a fuzzy number with membership function µ xi defined onU. For example, if x indicates height, then T ( x ) may refer to sets such as short, medium, or tall.A membership function is essentially a curve that defines how each point in the input space ismapped to a membership value (or degree of membership) between 0 and 1. As an example,consider a fuzzy set tall. Let the universe of discourse be heights from 40 inches to 90 inches.With a crisp set, all people with height 72 or more inches are considered tall, and all people withheight of less than 72 inches are considered not tall. The crisp set membership function for settall is shown in Figure 3.1. The corresponding fuzzy set with a smooth membership function isshown in Figure 3.2. The curve defines the transition from not tall and shows the degree of mem-{{}}{}
3.fm Page 63 Monday, March 26, 2001 10:18 AMFUZZY SETS AND MEMBERSHIP FUNCTIONS63tall10.80.6µ(x)0.40.2040Figure 3.14550556065input7075808590Crisp membership function.tall10.80.6µ(x)0.40.2040Figure 3.24550556065input707580An example of a fuzzy membership function.8590
3.fm Page 64 Monday, March 26, 2001 10:18 AM64Chapter 3 FUZZY LOGIC FUNDAMENTALSbership for a given height. We can extend this concept to multiple sets. If we consider a universeof discourse from 40 inches to 90 inches, then, to describe height, we can use three term valuessuch as short, average, and tall. In practice, the terms short, medium, and tall are not used in thestrict sense. Instead, they imply a smooth transition. Fuzzy membership functions representingthese sets are shown in Figure 3.3. The Figure shows that a person with height 65 inches willhave membership value 1 for set medium, whereas a person with height 60 inches may be amember of the set short and also a member of the set medium; only the degree of membershipvaries with these sets. Various types of membership functions are used, including triangular,trapezoidal, generalized bell shaped, Gaussian curves, polynomial curves, and sigmoid functions. Figure 3.3 shows trapezoidal membership functions. Triangular curves depend on threeparameters a, b, and c and are given by 0 x a b af ( x; a, b, c ) c x c b 0 1for x afor a x b(3.1)for b x cfor x ightFigure 3.3Trapezoidal membership functions.75808590
3.fm Page 65 Monday, March 26, 2001 10:18 AMFUZZY SETS AND MEMBERSHIP FUNCTIONS65Trapezoidal curves depend on four parameters and are given by 0 x a b a f ( x ; a , b , c , d ) 1 d x d c 0for x afor a x bfor b x c(3.2)for c x dfor d xThe π-shaped membership functions are given by (Giarratano and Riley, 1993) S ( x ; c b, c b 2 , c )f ( x ; b, c ) 1 S ( x ; c, c b 2 , c b )for x cfor x c(3.3)where S ( x; a, b, c ) represents a membership function defined as 0 2 2 (x a )2 (c a )S ( x; a, b, c ) 22 (x c ) 1 (c a )2 1 for x afor a x b(3.4)for b x cfor x cIn Equation (3.4), a, b, and c are the parameters that are adjusted to fit the desired membershipdata. The parameter b? is the half width of the curve at the crossover point. The Gaussian and πshaped membership functions are shown in Figures 3.4 and 3.5, respectively. Gaussian curvesdepend on two parameters σ and c and are represented by ( x c)2 f ( x; σ, c) exp 2 2σ (3.5)In designing a fuzzy inference system, membership functions are associated with term sets thatappear in the antecedent or consequent of rules.
3.fm Page 66 Monday, March 26, 2001 10:18 AM66Chapter 3 FUZZY LOGIC 200Figure 3.450100150temperature200250300Gaussian membership 050100150200temperatureFigure 3.5π-shaped membership functions.250300
3.fm Page 67 Monday, March 26, 2001 10:18 AMLOGICAL OPERATIONS AND IF–THEN RULES673.3 LOGICAL OPERATIONS AND IF–THEN RULESFuzzy set operations are analogous to crisp set operations. The important thing in definingfuzzy set logical operators is that if we keep fuzzy values to the extremes 1 (True) or 0 (False),the standard logical operations should hold. In order to define fuzzy set logical operators, let usfirst consider crisp set operators. The most elementary crisp set operations are union, intersection, and complement, which essentially correspond to OR, AND, and NOT operators, respectively. Let A and B be two subsets of U. The union of A and B, denoted A B , contains allelements in either A or B; that is, µ A B ( x ) 1 if x A or x B. The intersection of A and B,denoted A B , contains all the elements that are simultaneously in A and B; that is,µ A B ( x ) 1 if x A and x B . The complement of A is denoted by A, and it contains all elements that are not in A; that is µ A ( x ) 1 if x A, and µ A ( x ) 0 if x A. The truth tables forthese operators are shown in Figure 3.6.In FL, the truth of any statement is a matter of degree. In order to define FL operators, wehave to find the corresponding operators that preserve the results of using AND, OR, and NOToperators. The answer is min, max, and complement operations. These operators are defined,respectively, asµ A B ( x ) max µ A ( x ) , µ B ( x ) µ A B ( x ) min µ A ( x ) , µ B ( x ) (3.6)µ Α ( x ) 1 µΑ ( x)The formulas for AND, OR, and NOT operators in Equation (3.6) are useful for provingother mathematical properties about sets; however, min and max are not the only ways todescribe the intersection and union of two sets. Zadeh (1965) defined fuzzy union and fuzzyintersection asµ A B ( x ) µ A ( x ) µ B ( x ) µ A ( x ) µ B ( x )(3.7)µ A B ( x ) µ A ( x ) µ B ( x )ANDA0011Figure 3.6B0101ORA B0001A0011B0101NOTA B0111Truth tables for AND, OR, and NOT operators.A01A10
3.fm Page 68 Monday, March 26, 2001 10:18 AM68Chapter 3 FUZZY LOGIC FUNDAMENTALSIn more general terms, the intersection of two fuzzy sets A and B is specified by a binary mapping T that aggregates two membership functions asµ A B ( x ) T ( µ A ( x ) , µ B ( x ))(3.8)For example, the binary operator T may represent the multiplication of µ A ( x ) , µB ( x ).These fuzzy intersection operators are referred to as T-norm (triangular norm) operators, andthey meet the following basic requirements:boundary: T (0, 0 ) 0, T (a,1) T (1, a ) amonotonicity: T (a, b ) T (c, d ) if a c and b dcommutativity: T (a, b ) T (b, a )(3.9)associativity: T (a, T (b, c )) T (T (a, b ) , c )The first requirement ensures the correct generalization of crisp sets. The second requirementimplies that a decrease in the membership values in A and B cannot produce an increase in themembership value of the intersection of sets A and B. The third requirement specifies that theoperation is insensitive to the order in which fuzzy sets are combined, and the fourth requirement enables us to take the intersection of any number of fuzzy sets and any order of pairwisegroupings. Similar to fuzzy intersection, the fuzzy union operator is specified by the followingbinary mapping S:µ A B S ( µ A ( x ) , µ B ( x ))(3.10)These fuzzy union operators are known as T-conorm or S-norm operators, and they satisfy thefollowing requirements:boundary: S (1,1) 1, S (a, 0 ) S (0, a ) amonotonicity: S ( a, b ) S (c, d ) if a c and b dcommutativity: S ( a, b ) S (b, a)associativity: S ( a, S (b, c)) S (S (a, b ) , c )(3.11)
3.fm Page 69 Monday, March 26, 2001 10:18 AMLOGICAL OPERATIONS AND IF–THEN RULES69Several T-norms and S-norms have been suggested in the literature (Yager, 1980; Duboisand Prade, 1980; Schweizer and Sklar, 1963, Sugeno, 1977). One example of a pair of S-normand T-norm operators is the bounded sum and bounded product:x y min [1, x y]x y max [0, x y 1](3.12)Most applications use min for fuzzy intersection, max for fuzzy union, and 1 µ A ( x ) for complementation. We have to remember that operators used in FL, such as union, intersection, andcomplement, reduce to their crisp logic counterparts when the membership functions arerestricted to 0 or 1.Fuzzy inference systems consist of if–then rules that specify a relationship between theinput and output fuzzy sets. Fuzzy relations present a degree of presence or absence of association or interaction between the elements of two or more sets. Let U and V be two universes ofdiscourse. A fuzzy relation R (U, V ) is a set in the product space U V and is characterized bythe membership function µR ( x, y ), where x U and y V , and µR ( x, y ) [ 0,1]. Fuzzy relationsplay an important role in fuzzy inference systems. FL uses notions from crisp logic. Concepts incrisp logic can be extended to FL by replacing 0 or 1 values with fuzzy membership values. Asingleton fuzzy rule assumes the form “if x is A, then y is B,” where x U and y V , and has amembership function, µ A B ( x, y) , where µ A B ( x, y ) [0,1]. The if part of the rule, “x is A,” iscalled the antecedent or premise, while the then part of the rule, “y is B,” is called the consequentor conclusion. Interpreting an if–then rule involves two distinct steps. The first step is to evaluatethe antecedent, which involves fuzzifying the input and applying any necessary fuzzy operators.The second step is implication, or applying the result of the antecedent to the consequent, whichessentially evaluates the membership function µ A B ( x, y ) . It can be seen that in crisp logic a ruleis fired if the premise is exactly the same as the antecedent of the rule, and the result of such rulefiring is the rule’s actual consequent. In fuzzy logic, a rule is fired so long as there is a nonzerodegree of similarity between the premise and the antecedent of the rule. For most applications,the fuzzy membership function µ A B ( x, y ) for a given relation is obtained with the minimum orproduct implication, given, respectively, as follows:µ A B ( x ) µ A ( x ) µ B ( x )µ A B ( x ) min µ A ( x ) , µ B ( x ) (3.13)(3.14)
3.fm Page 70 Monday, March 26, 2001 10:18 AM70Chapter 3 FUZZY LOGIC FUNDAMENTALSIt was Mamdani (1977) who first proposed the minimum implication, and later Larsen(1980) proposed the product implication. The minimum and product inferences have nothing todo with traditional prepositional logic; hence, they are collectively referred to as engineeringimplications. Details of implication methods can be found in the classic tutorial paper by Mendel (1995).3.4 FUZZY INFERENCE SYSTEMA fuzzy inference system (FIS) essentially defines a nonlinear mapping of the input datavector into a scalar output, using fuzzy rules. The mapping process involves input/output membership functions, FL operators, fuzzy if–then rules, aggregation of output sets, and defuzzification. An FIS with multiple outputs can be considered as a collection of independent multiinput,single-output systems. A general model of a fuzzy inference system (FIS) is shown in Figure3.7. The FLS maps crisp inputs into crisp outputs. It can be seen from the figure that the FIScontains four components: the fuzzifier, inference engine, rule base, and defuzzifier. The rulebase contains linguistic rules that are provided by experts. It is also possible to extract rules fromnumeric data. Once the rules have been established, the FIS can be viewed as a system that mapsan input vector to an output vector. The fuzzifier maps input numbers into corresponding fuzzymemberships. This is required in order to activate rules that are in terms of linguistic variables.The fuzzifier takes input values and determines the degree to which they belong to each of thefuzzy sets via membership functions. The inference engine defines mapping from input fuzzysets into output fuzzy sets. It determines the degree to which the antecedent is satisfied for eachrule. If the antecedent of a given rule has more than one clause, fuzzy operators are applied toobtain one number that represents the result of the antecedent for that rule. It is possible that oneor more rules may fire at the same time. Outputs for all rules are then aggregated. During aggregation, fuzzy sets that represent the output of each rule are combined into a single fuzzy set.Fuzzy rules are fired in parallel, which is one of the important aspects of an FIS. In an FIS, theorder in which rules are fired does not affect the output. The defuzzifier maps output fuzzy setsinto a crisp number. Given a fuzzy set that encompasses a range of output values, the defuzzifierinputxfuzzifierinferenceenginerule baseFigure 3.7Block diagram of a fuzzy inference system.defuzzifieroutputy
3.fm Page 71 Monday, March 26, 2001 10:18 AMFUZZY INFERENCE SYSTEM71returns one number, thereby moving from a fuzzy set to a crisp number. Several methods fordefuzzification are used in practice, including the centroid, maximum, mean of maxima, height,and modified height defuzzifier. The most popular defuzzification method is the centroid, whichcalculates and returns the center of gravity of the aggregated fuzzy set. FISs employ rules. However, unlike rules in conventional expert systems, a fuzzy rule localizes a region of space alongthe function surface instead of isolating a point on the surface. For a given input, more than onerule may fire. Also, in an FIS, multiple regions are combined in the output space to produce acomposite region. A general schematic of an FIS is shown in Figure 3.8.Consider a multiinput, multioutput system. Let x ( x1 , x2 ,. . ., xn ) be the input vector andTy ( y1 , y2 ,., ym ) be the output vector. The linguistic variable xi in the universe of discourse U1212kkis characterized by T ( x ) Tx , Tx ,., Tx and µ ( x ) µx , µx ,., µx where T ( x ) is a termset of x; that is, it is the set of names of linguistic values of x, with each Tx i being a fuzzy member and the membership function µx i defined onU. As an illustration, we consider a fuzzy inference system with two inputs (n 2) and one output (m 1) . Let the two inputs represent thenumber of years of education and the number of years of experience, and let the output of thesystem be salary. Let x1 indicate the number of years of education, T ( x1 ) represent its term set{low, medium, high}, and the universe of discourse be [ 0 15]. Let x2 indicate the number ofyears of experience, the universe of discourse be [ 0 30], and the corresponding term set be{low, medium, high}. Similarly, linguistic variable y in the universe of discourse V is characterized by T (y ) Ty1 , Ty 2 ,., Ty l , where T (y) is a term set of y; that is, T is the set of names of linguistic values of y, with each Ty i being a fuzzy membership function µy i defined on V. If theT{{}{}}Production rulesFuzzifierif x1 in Tx th y in Ty
FUZZY LOGIC FUNDAMENTALS 3.1 INTRODUCTION The past few years have witnessed a rapid growth in the number and variety of applica-tions of fuzzy logic (FL). FL techniques have been used in image-understanding applications such as detection of edges, feature extraction, classification, and clustering. Fuzzy logic poses
2.2 Fuzzy Logic Fuzzy Logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. Fuzzy logic is not a vague logic system, but a system of logic for dealing with vague concepts. As in fuzzy set theory the set membership values can range (inclusively) between 0 and 1, in
ing fuzzy sets, fuzzy logic, and fuzzy inference. Fuzzy rules play a key role in representing expert control/modeling knowledge and experience and in linking the input variables of fuzzy controllers/models to output variable (or variables). Two major types of fuzzy rules exist, namely, Mamdani fuzzy rules and Takagi-Sugeno (TS, for short) fuzzy .
Fuzzy Logic IJCAI2018 Tutorial 1. Crisp set vs. Fuzzy set A traditional crisp set A fuzzy set 2. . A possible fuzzy set short 10. Example II : Fuzzy set 0 1 5ft 11ins 7 ft height . Fuzzy logic begins by borrowing notions from crisp logic, just as
fuzzy controller that uses an adaptive neuro-fuzzy inference system. Fuzzy Inference system (FIS) is a popular computing framework and is based on the concept of fuzzy set theories, fuzzy if and then rules, and fuzzy reasoning. 1.2 LITERATURE REVIEW: Implementation of fuzzy logic technology for the development of sophisticated
A Short Fuzzy Logic Tutorial April 8, 2010 The purpose of this tutorial is to give a brief information about fuzzy logic systems. The tutorial is prepared based on the studies [2] and [1]. For further information on fuzzy logic, the reader is directed to these studies. A fuzzy logic system (FLS) can be de ned as the nonlinear mapping of an
Tutorial On Fuzzy Logic Jan Jantzen 1 Abstract Fuzzy logic is based on the theory of fuzzy sets, where an object’s membership of a set is gradual rather than just member or not a member. Fuzzy logic uses the whole interval of real numbers between zero (False) and one (True) to develop a logic as a basis for rules of inference.
Fuzzy logic versus neural networks The idea of fuzzy logic is to approxi-mate human decision-making using nat-ural-language terms instead of quantita-tive terms. Fuzzy logic is similar to neur-al networks, and one can create behav-ioral systems with both methodologies. A good example is the use of fuzzy logic for automatic control: a set of .
Fuzzy logic has two different meanings. In a narrow sense, fuzzy logic is a logical system, which is an extension of multivalued logic. However, in a wider sense fuzzy logic (FL) is almost synonymous with the theory of fuzzy sets, a theory which relates to classes of objects with unsharp boundaries in which membership is a matter of degree. In .
