Beruflich Dokumente
Kultur Dokumente
Crisp and fuzzy sets of short, average, and tall men Representation of crisp and fuzzy subsets
In the fuzzy theory, fuzzy set A of universe X is
defined by function μA(x) called the membership
Degree of
Crisp Sets
Membership
1.0 μ (x)
function of set A 0.8 Short Average Tall
Short X Fuzzy S ubset A
Tall Men
0.6
1
μA(x): X → [0, 1], where μA(x) = 1 if x is totally in A; 0.4
μA(x) = 0 if x is not in A; 0.2
Fuzzy sets with the hedge very Representation of hedges in fuzzy logic (1/2) Representation of hedges in fuzzy logic (2/2)
Mathematical
Hedge Graphical Representation Mathematical
Degree of Expression Hedge Expression Graphical Representation
Membership
1.0 A little [μA ( x )]1.3
Short Tall
Short Very very [μA ( x )]4
0.8
μ¬A(x) = 1 − μA(x) A
Intersection Union
Intersection
Containment Union
Crisp Sets: Which element belongs to both sets? Crisp Sets: Which element belongs to either set?
Crisp Sets: Which sets belong to which other sets? Fuzzy Sets: To what degree the element is in both sets?
Fuzzy Sets: Which sets belong to other sets? Fuzzy Sets: How much of the element is in either set?
In classical set theory, an intersection between two sets The union of two crisp sets consists of every element
Similar to a Chinese box, a set can contain other contains the elements shared by these sets. For
sets. The smaller set is called the subset. For that falls into either set. For example, the union of
example, the intersection of the set of tall men and the tall men and fat men contains all men who are tall
example, the set of tall men contains all tall men; set of fat men is the area where these sets overlap. In
very tall men is a subset of tall men. However, the OR fat. In fuzzy sets, the union is the reverse of the
fuzzy sets, an element may partly belong to both sets intersection. That is, the union is the largest
tall men set is just a subset of the set of men. In with different memberships. A fuzzy intersection is the
crisp sets, all elements of a subset entirely belong to membership value of the element in either set. The
lower membership in both sets of each element. The fuzzy operation for forming the union of two fuzzy
a larger set. In fuzzy sets, however, each element fuzzy intersection of two fuzzy sets A and B on
can belong less to the subset than to the larger set. sets A and B on universe X can be given as:
universe of discourse X:
Elements of the fuzzy subset have smaller B μA∩B(x) = min [μA(x), μB(x)] = μA(x) ∩ μB(x), μA∪B(x) = max [μA(x), μB(x)] = μA(x) ∪ μB(x),
memberships in it than in the larger set. AA
where x∈X A B where x∈X A B
A B
Operations of fuzzy sets
Fuzzy set operators Fuzzy rules What is a fuzzy rule?
μ( x) μ(x)
Cantor’s operators 1 1
B In 1973, Lotfi Zadeh published his second most A fuzzy rule can be defined as a conditional
A
A influential paper. This paper outlined a new statement in the form:
Not A 0 0
B x
B
x approach to analysis of complex systems, in which
A AA 1
Not A
1 A Zadeh suggested capturing human knowledge in IF x is A
Complement Containment
0
x
0
x
fuzzy rules. THEN y is B
Complement Containment
μ(x) μ(x)
A B AA B
where x and y are linguistic variables; and A and B
1 1
A B A B are linguistic values determined by fuzzy sets on the
Intersection Union
0
x
0
x universe of discourses X and Y, respectively.
1 A∩B 1
A∪B
0 0
Intersection x Union x
What is the difference between classical and We can also represent the stopping distance rules in a
fuzzy rules? fuzzy form: Fuzzy rules relate fuzzy sets.
A classical IF-THEN rule uses binary logic, for Rule: 1 Rule: 2 In a fuzzy system, all rules fire to some extent,
example, IF speed is fast IF speed is slow i.e., fire partially. If the antecedent is true to
THEN stopping_distance is long THEN stopping_distance is short
Rule: 1 Rule: 2 some degree of membership, then the
IF speed is > 100 IF speed is < 40 In fuzzy rules, the linguistic variable speed also has consequent is also true to that same degree.
THEN stopping_distance is long THEN stopping_distance is short the range (the universe of discourse) between 0 and
220 km/h, but this range includes fuzzy sets, such as
The variable speed can have any numerical value slow, medium and fast. The universe of discourse of
between 0 and 220 km/h, but the linguistic variable the linguistic variable stopping_distance can be
stopping_distance can take either value long or short. between 0 and 300 m and may include such fuzzy
In other words, classical rules are expressed in the sets as short, medium and long.
black-and-white language of Boolean logic.
Fuzzy sets of tall and heavy men The value of the output or a truth membership grade of
A fuzzy rule can have multiple antecedents, for
Degree of
Membership
Degree of
Membership the rule consequent can be estimated directly from a
example:
1.0
Tall men
1.0
Heavy men
corresponding truth membership grade in the
0.8 0.8
antecedent. This form of fuzzy inference uses a
0.6 0.6 IF project_duration is long
method called monotonic selection.
0.4 0.4 AND project_staffing is large
0.2 0.2
Degree of Degree of AND project_funding is inadequate
0.0 0.0 Membership Membership
160 180 190 200 70 80 100 120 1.0 1.0 THEN risk is high
Height, cm Weight, kg Tall men
0.8 0.8 Heavy men
These fuzzy sets provide the basis for a weight estimation 0.6 0.6 IF service is excellent
model. The model is based on a relationship between a 0.4 0.4 OR food is delicious
man’s height and his weight: 0.2 0.2 THEN tip is generous
IF height is tall 0.0 0.0
160 180 190 200 70 80 100 120
THEN weight is heavy Height, cm Weight, kg
IF temperature is hot
THEN hot_water is reduced;
cold_water is increased