Fuzzy Intro and Properties
Fuzzy Intro and Properties
• Definitions
• Brief History
• Fuzzy Applications
• Fuzzy Sets
• Fuzzy Boundaries
• Fuzzy Representation
• Linguistic Variables and Hedges
2
Definition
• Experts rely on common sense when they solve problems.
• Fuzzy logic is not logic that is fuzzy, but logic that is used to describe
fuzziness. Fuzzy logic is the theory of fuzzy sets, sets that calibrate
vagueness.
• Fuzzy logic is based on the idea that all things admit of degrees.
Temperature, height, speed, distance, beauty – all come on a sliding scale.
• The motor is running really hot.
• Tom is a very tall guy.
3
Crisp logic Vs Fuzzy Logic
The concept of a set and set theory are powerful concepts in
mathematics. However, the principal notion underlying set theory,
that an element can (exclusively) either belong to set or not belong to a
set, makes it well nigh impossible to represent much of human
discourse. How is one to represent notions like:
large profit
high pressure
tall man
moderate temperature
Ordinary set-theoretic representations will require the maintenance of
a crisp differentiation in a very artificial manner:
high
not quite high
very high … etc.
4
Bit of History
For example, the possibility that a man 181 cm tall is really tall
might be set to a value of 0.86. It is likely that the man is tall. This
work led to an inexact reasoning technique often called possibility
theory.
In 1965 Lotfi Zadeh, published his famous paper “Fuzzy sets”.
Zadeh extended the work on possibility theory into a formal system of
mathematical logic, and introduced a new concept for applying
natural language terms. This new logic for representing and
manipulating fuzzy terms was called fuzzy logic.
5
Why?
• Why fuzzy?
As Zadeh said, the term is concrete, immediate and descriptive; we all know
what it means. However, many people in the West were repelled by the
word fuzzy, because it is usually used in a negative sense.
• Why logic?
Fuzziness rests on fuzzy set theory, and fuzzy logic is just a small part of that
theory.
6
Fuzzy Applications
• Theory of fuzzy sets and fuzzy logic has been applied to problems in
a variety of fields:
• taxonomy; topology; linguistics; logic; automata theory; game theory;
pattern recognition; medicine; law; decision support; Information
retrieval; etc.
7
Fuzzy Applications
Advertisement: …
• Imbalance compensation
In the event of imbalance, Fuzzy Logic immediately calculates the
maximum possible speed, sets this speed and starts spinning. This
provides optimum utilization of the spinning time at full speed.
• Washing without wasting - with automatic water level
adjustment
• Fuzzy automatic water level adjustment adapts water and energy
consumption to the individual requirements of each wash
programme, depending on the amount of laundry and type of fabric.
9
More Definitions
Fuzzy logic is a set of mathematical principles for knowledge
representation based on degrees of membership.
10
Fuzzy Sets
• However, our own language is also the supreme expression of sets. For
example, car indicates the set of cars. When we say a car, we mean one
out of the set of cars.
• The classical example in fuzzy sets is tall men. The elements of the fuzzy
set “tall men” are all men, but their degrees of membership depend on
their height. (see table on next page)
11
Fuzzy Sets
Degree of Membership
Name Height, cm Crisp Fuzzy
Chris 208 1 1.00
Mark 205 1 1.00
John 198 1 0.98
Tom 181 1 0.82
David 179 0 0.78
Mike 172 0 0.24
Bob 167 0 0.15
Steven 158 0 0.06
Bill 155 0 0.01
Peter 152 0 0.00
12
Degree of
Membership Crisp Sets
1.0
Crisp Vs Fuzzy
0.8
Tall Men
The x-axis represents the 0.6
Sets
universe of discourse – the 0.4
men. 0.6
0.4
The y-axis represents the 0.2
membership value of the fuzzy 0.0
set. In our case, the fuzzy set of 150 160 170 180 190 200 210
Height, cm
“tall men” maps height values
into corresponding membership
13
values.
Crisp Set
1, if x A
f A ( x)
0, if x A
fA(x) : X {0, 1}, where
This set maps universe X to a set of two elements. For any element x of
universe X, characteristic function fA(x) is equal to 1 if x is an element of
set A, and is equal to 0 if x is not an element of A. 14
A Fuzzy Set has Fuzzy Boundaries
• In the fuzzy theory, fuzzy set A of universe X is defined by function µ (x) called the membership
A
function of set A
This set allows a continuum of possible choices. For any element x of universe X, membership
function µA(x) equals the degree to which x is an element of set A. This degree, a value between 0
and 1, represents the degree of membership, also called membership value, of element x in set A.
15
Fuzzy Set Representation
16
Fuzzy Set Representation
Degree of
Crisp Sets
Membership
1.0
0.2
0.0
150 160 170 180 190 200 210
Height, cm
Degree of
Fuzzy Sets
Membership
1.0
0.8
0.4
0.2 Tall
17
0.0
150 160 170 180 190 200 210
Fuzzy Set Representation
(x)
X Fuzzy Subset A
• Typical functions that can be used
1 to represent a fuzzy set are
sigmoid, gaussian and pi. However, these functions increase the
time of computation. Therefore, in practice, most applications use
linear fit functions.
0
Crisp Subset A Fuzziness Fuzziness x
18
Linguistic Variables and Hedges
At the root of fuzzy set theory lies the idea of linguistic variables.
A linguistic variable is a fuzzy variable. For example, the statement
“John is tall” implies that the linguistic variable John takes the linguistic
value tall.
In fuzzy expert systems, linguistic variables are used in fuzzy rules. For
example:
IF wind is strong
THEN sailing is good
IF project_duration is long
THEN completion_risk is high
IF speed is slow
THEN stopping_distance is short
19
Linguistic Variables and Hedges
• Hedges are terms that modify the shape of fuzzy sets. They include
adverbs such as very, somewhat, quite, more or less and slightly.
20
Linguistic Variables and Hedges
Degree of
Membership
1.0
Short Short
Tall
0.8
0.6 Average
0.4
Very Short Very
VeryTall
Tall
0.2 Tall
0.0
150 160 170 180 190 200 210
Height, cm
21
Linguistic Variables and Hedges
Mathematical
Hedge Expression Graphical Representation
More or less A ( x )
Somewhat A ( x )
2 [A ( x )]2
if 0 A 0.5
Indeed
1 2 [1 A ( x )]2
23
if 0.5 < A 1
Fuzzy Logic Properties
Contents
25
Characteristics of Fuzzy Sets
• The classical set theory developed in the late 19th century by George
Cantor describes how crisp sets can interact. These interactions are
called operations.
• Also fuzzy sets have well defined properties.
• These properties and operations are the basis on which the fuzzy sets
are used to deal with uncertainty on the one hand and to represent
knowledge on the other.
• A fuzzy set A in X is characterized by a membership function μA (x)
which associates with each point in X a real number in the interval [0,
1], with the values of μA (x) at x representing the grade of
membership of x in A.
• fuzzy set A = {x1, x2, x3, x4} in X characterized by the membership
function μA(x) which maps each point x in X to real values 0.5, 1, 0.75
and 0.5. A = {x,μA(x) | x ∈ X}
26
Characteristics of Fuzzy Sets
27
Note: Membership Functions
28
Membership Functions
29
Membership function
The parameters {a, b, c} with a < b < c determine the x coordinates of the
three corners of the underlying triangular MF. Triangular MFs can be
asymmetric, depending on the relations a ≤ b and b ≤ c.
30
Triangular Membership function
31
Trapezoidal membership function
The parameters {a, b, c, d} with a < b < c < d determine the x coordinates
of the four corners of the underlying trapezoidal MF. Trapezoidal MFs can
be asymmetric, depending on the relations a ≤ b and c ≤ d.
32
Trapezoidal membership function
33
Gaussian MF
34
Bell-shaped MF
The parameters m and σ represent the centre and width of the bell-shaped MF,
respectively. Parameter a, usually positive, controls the slope of the MF
35
Sigmoidal MF
36
Operations of Fuzzy Sets
Not A
B
A AA
Complement Containment
A B AA B
Intersection Union
37
Complement
• Crisp Sets: Who does not belong to the set?
• Fuzzy Sets: How much do elements not belong to the set?
• The complement of a set is an opposite of this set. For example, if we
have the set of tall men, its complement is the set of NOT tall men.
When we remove the tall men set from the universe of discourse, we
obtain the complement.
38
Complement
39
Complement
40
Containment
Crisp Sets: Which sets belong to which other sets?
Fuzzy Sets: Which sets belong to other sets?
Similar to a Chinese box, a set can contain other sets. The smaller
set is called the subset. For example, the set of tall men contains all
tall men; very tall men is a subset of tall men. However, the tall men
set is just a subset of the set of men. In crisp sets, all elements of a
subset entirely belong to a larger set. In fuzzy sets, however, each
element can belong less to the subset than to the larger set.
Elements of the fuzzy subset have smaller memberships in it than
in the larger set.
Let A and B be two fuzzy sets with membership functions μA
and μB, respectively. A is a subset of B (or A is contained in B),
written A B, if and only if
41
Intersection
Crisp Sets: Which element belongs to both sets?
Fuzzy Sets: How much of the element is in both sets?
In classical set theory, an intersection between two sets contains the
elements shared by these sets. For example, the intersection of the
set of tall men and the set of fat men is the area where these sets
overlap. In fuzzy sets, an element may partly belong to both sets
with different memberships.
43
Union
The union of two crisp sets consists of every element that falls into either
set. For example, the union of tall men and fat men contains all men who
are tall OR fat.
In fuzzy sets, the union is the reverse of the intersection. That is, the union
is the largest membership value of the element in either set. The fuzzy
operation for forming the union of two fuzzy sets A and B on universe X can
be given as:
AB(x) = max [A(x), B(x)] = A(x) B(x),
where xX
44
Union
45
Operations of Fuzzy Sets
( x ) ( x )
B
1 1 A
A
0 0
x x
B
1 1 A
Not A
0 0
Complement x Containment x
(x) ( x )
1 1
A B A B
0 0
x x
1 AB 1
AB
0 0
Intersection x Union x
46
Properties of Fuzzy Sets
47
Equality
therefore A = B
48
Inclusion
• Inclusion of one fuzzy set into another fuzzy set. Fuzzy set A X is
included in (is a subset of) another fuzzy set, B X:
A(x) B(x), xX
then A is a subset of B, or A B
49
Cardinality
cardA = 1.8
cardB = 2.05
50
Empty Fuzzy Set
51
Alpha-cut
This means that the fuzzy set Aα contains all elements with a
membership of α ∈ [0, 1] and
higher, called the α-cut of the membership function
52
Alpha-cut
53
Fuzzy Set Normality
• A fuzzy subset of X is called normal if there exists at least one element xX
such that A(x) = 1.
• All crisp subsets except for the null set are normal. In fuzzy set theory, the
concept of nullness essentially generalises to subnormality.
54
Fuzzy Sets Core and Support
• Assume A is a fuzzy subset of X:
• the support of A is the crisp subset of X consisting of all elements
with membership grade:
supp(A) = {x A(x) 0 and xX}
• the core of A is the crisp subset of X consisting of all elements with
membership grade:
core(A) = {x A(x) = 1 and xX}
55
Singleton
56
Crossover Point
57
DeMorgan Law
58
Properties of Fuzzy Sets
59
Properties of Fuzzy Sets
60
Properties of Fuzzy Sets
61
Properties of Fuzzy Sets
62
Properties of Fuzzy Sets
63
64
65
66
67
68
69
Exercises
For
A = {0.2/a, 0.4/b, 1/c, 0.8/d, 0/e}
B = {0/a, 0.9/b, 0.3/c, 0.2/d, 0.1/e}
Support
Supp(A) = {a, b, c, d}
Supp(B) = {b, c, d, e}
Core
Core(A) = {c}
Core(B) = {}
Cardinality
Card(A) = 0.2 + 0.4 + 1 + 0.8 + 0 = 2.4
Card(B) = 0 + 0.9 + 0.3 + 0.2 + 0.1 = 1.5
Complement
Comp(A) = {0.8/a, 0.6/b, 0/c, 0.2/d, 1/e}
Comp(B) = {1/a, 0.1/b, 0.7/c, 0.8/d, 0.9/e}
71
Solutions
A = {0.2/a, 0.4/b, 1/c, 0.8/d, 0/e}
B = {0/a, 0.9/b, 0.3/c, 0.2/d, 0.1/e}
Union
AB = {0.2/a, 0.9/b, 1/c, 0.8/d, 0.1/e}
Intersection
AB = {0/a, 0.4/b, 0.3/c, 0.2/d, 0/e}
C=A2
C = {0.04/a, 0.16/b, 1/c, 0.64/d, 0/e}
D = 0.5*B
D = {0/a, 0.45/b, 0.15/c, 0.1/d, 0.05/e}
E = A0.5
E = {c, d} 72