week6 Fuzzy Logic 3

advertisement
AI – CS289
Fuzzy Logic
Fuzzy Logic 3
09th October 2006
Dr Bogdan L. Vrusias
[email protected]
AI – CS289
Fuzzy Logic
Contents
•
Fuzzy Inference
•
•
•
•
•
•
Fuzzification of the input variables
Rule evaluation
Aggregation of the rule outputs
Defuzzification
Mamdani
Sugeno
09th October 2006
Bogdan L. Vrusias © 2006
2
AI – CS289
Fuzzy Logic
Fuzzy Inference
• The most commonly used fuzzy inference technique is the so-called
Mamdani method.
• In 1975, Professor Ebrahim Mamdani of London University built one
of the first fuzzy systems to control a steam engine and boiler
combination. He applied a set of fuzzy rules supplied by experienced
human operators.
09th October 2006
Bogdan L. Vrusias © 2006
3
AI – CS289
Fuzzy Logic
Mamdani Fuzzy Inference
•
The Mamdani-style fuzzy inference process is performed in four
steps:
1. Fuzzification of the input variables
2. Rule evaluation (inference)
3. Aggregation of the rule outputs (composition)
4. Defuzzification.
09th October 2006
Bogdan L. Vrusias © 2006
4
AI – CS289
Fuzzy Logic
Mamdani Fuzzy Inference
We examine a simple two-input one-output problem that includes three rules:
Rule: 1
IF
OR
THEN
Rule: 2
IF
AND
THEN
Rule: 3
IF
THEN
x is A3
y is B1
z is C1
Rule: 1
IF
OR
THEN
project_funding
project_staffing
risk
is adequate
is small
is low
x is A2
y is B2
z is C2
Rule: 2
IF
AND
THEN
project_funding
project_staffing
risk
is marginal
is large
is normal
x is A1
z is C3
Rule: 3
IF
THEN
project_funding
risk
is inadequate
is high
09th October 2006
Bogdan L. Vrusias © 2006
5
AI – CS289
Fuzzy Logic
Step 1: Fuzzification
• The first step is to take the crisp inputs, x1 and y1 (project funding and
project staffing), and determine the degree to which these inputs
belong to each of the appropriate fuzzy sets.
Crisp Input
x1
1
0.5
0.2
0
A1
A2
x1
 (x = A1) = 0.5
 (x = A2) = 0.2
09th October 2006
Crisp Input
y1
1
0.7
A3
X
B1
0.1
0
Bogdan L. Vrusias © 2006
B2
y1
 (y = B1) = 0.1
 (y = B2) = 0.7
Y
6
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
• The second step is to take the fuzzified inputs, (x=A1) = 0.5,
(x=A2) = 0.2, (y=B1) = 0.1 and (y=B2) = 0.7, and apply them to the
antecedents of the fuzzy rules.
• If a given fuzzy rule has multiple antecedents, the fuzzy operator
(AND or OR) is used to obtain a single number that represents the
result of the antecedent evaluation.
• This number (the truth value) is then applied to the consequent
membership function.
09th October 2006
Bogdan L. Vrusias © 2006
7
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
RECAL:
To evaluate the disjunction of the rule antecedents, we use the OR fuzzy
operation. Typically, fuzzy expert systems make use of the classical fuzzy
operation union:
AB(x) = max [A(x), B(x)]
Similarly, in order to evaluate the conjunction of the rule antecedents, we
apply the AND fuzzy operation intersection:
AB(x) = min [A(x), B(x)]
09th October 2006
Bogdan L. Vrusias © 2006
8
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
1
1
A3
1
B1
C1
0.1
0.0
0
x1
0
X
Rule 1: IF x is A3 (0.0)
OR
1
y1
A2
0
x1
y1
Rule 2: IF x is A2 (0.2) AND y is B2 (0.7)
1
0
A1
AND
(min)
09th October 2006
0.2
THEN
C1
C2
C3
Z
z is C2 (0.2)
1
0.5 C1
C2
0
X
Rule 3: IF x is A1 (0.5)
z is C1 (0.1)
0
Y
0.5
x1
Z
1
B2
0
C3
0
THEN
0.7
0.2
X
Y
y is B1 (0.1)
1
OR
(max)
C2
0.1
THEN
Bogdan L. Vrusias © 2006
C3
Z
z is C3 (0.5)
9
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
•
Now the result of the antecedent evaluation can be applied to the
membership function of the consequent.
•
There are two main methods for doing so:
– Clipping
– Scaling
09th October 2006
Bogdan L. Vrusias © 2006
10
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
•
The most common method of correlating the rule consequent with the
truth value of the rule antecedent is to cut the consequent membership
function at the level of the antecedent truth. This method is called
clipping (alpha-cut).
•
Since the top of the membership function is sliced, the clipped fuzzy
set loses some information.
•
However, clipping is still often preferred because it involves less
complex and faster mathematics, and generates an aggregated output
surface that is easier to defuzzify.
09th October 2006
Bogdan L. Vrusias © 2006
11
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
•
While clipping is a frequently used method, scaling offers a better
approach for preserving the original shape of the fuzzy set.
•
The original membership function of the rule consequent is adjusted
by multiplying all its membership degrees by the truth value of the rule
antecedent.
•
This method, which generally loses less information, can be very
useful in fuzzy expert systems.
09th October 2006
Bogdan L. Vrusias © 2006
12
AI – CS289
Fuzzy Logic
Step 2: Rule Evaluation
Degree of
Membership
1.0
Degree of
Membership
1.0
C2
C2
0.2
0.2
0.0
Z
0.0
scaling
clipping
09th October 2006
Z
Bogdan L. Vrusias © 2006
13
AI – CS289
Fuzzy Logic
Step 3: Aggregation of the rule outputs
• Aggregation is the process of unification of the outputs of all rules.
• We take the membership functions of all rule consequents previously
clipped or scaled and combine them into a single fuzzy set.
• The input of the aggregation process is the list of clipped or scaled
consequent membership functions, and the output is one fuzzy set for
each output variable.
09th October 2006
Bogdan L. Vrusias © 2006
14
AI – CS289
Fuzzy Logic
Step 3: Aggregation of the rule outputs
1
1
C1
1
C2
C3
0.5
0.2
0.1
0
Z
z is C 1 (0.1)
09th October 2006
0.5
0.1
0
Z
z is C 2 (0.2)
0
Z
z is C 3 (0.5)
Bogdan L. Vrusias © 2006
0.2
0
Z

15
AI – CS289
Fuzzy Logic
Step 4: Defuzzification
• The last step in the fuzzy inference process is defuzzification.
• Fuzziness helps us to evaluate the rules, but the final output of a fuzzy
system has to be a crisp number.
• The input for the defuzzification process is the aggregate output fuzzy
set and the output is a single number.
09th October 2006
Bogdan L. Vrusias © 2006
16
AI – CS289
Fuzzy Logic
Step 4: Defuzzification
• There are several defuzzification methods, but probably the most
popular one is the centroid technique. It finds the point where a
vertical line would slice the aggregate set into two equal masses.
Mathematically this centre of gravity (COG) can be expressed as:
b
COG 
  A x  x dx
a
b
  A x  dx
a
09th October 2006
Bogdan L. Vrusias © 2006
17
AI – CS289
Fuzzy Logic
Step 4: Defuzzification
• Centroid defuzzification method finds a point representing the centre
of gravity of the fuzzy set, A, on the interval, ab.
• A reasonable estimate can be obtained by calculating it over a sample
of points.
(x)
1.0
0.8
A
0.6
0.4
0.2
0.0
150
09th October 2006
a
160
b
170
180
190
Bogdan L. Vrusias © 2006
200
X
210
18
AI – CS289
Fuzzy Logic
Step 4: Defuzzification
Degree of
Membership
1.0
0.8
0.6
0.4
0.2
0.0
0
10
20
30
40
50
60
70
67.4
COG 
80
90
100
Z
(0  10  20)  0.1  (30  40  50  60)  0.2  (70  80  90  100)  0.5
 67.4
0.1  0.1  0.1  0.2  0.2  0.2  0.2  0.5  0.5  0.5  0.5
09th October 2006
Bogdan L. Vrusias © 2006
19
AI – CS289
Fuzzy Logic
Sugeno Fuzzy Inference
• Mamdani-style inference, as we have just seen, requires us to find the
centroid of a two-dimensional shape by integrating across a
continuously varying function. In general, this process is not
computationally efficient.
• Michio Sugeno suggested to use a single spike, a singleton, as the
membership function of the rule consequent.
• A singleton, or more precisely a fuzzy singleton, is a fuzzy set with a
membership function that is unity at a single particular point on the
universe of discourse and zero everywhere else.
09th October 2006
Bogdan L. Vrusias © 2006
20
AI – CS289
Fuzzy Logic
Sugeno Fuzzy Inference
• Sugeno-style fuzzy inference is very similar to the Mamdani method.
Sugeno changed only a rule consequent. Instead of a fuzzy set, he
used a mathematical function of the input variable. The format of the
Sugeno-style fuzzy rule is
IF
x is A
AND y is B
THEN z is f(x, y)
where x, y and z are linguistic variables; A and B are fuzzy sets on
universe of discourses X and Y, respectively; and f(x, y) is a
mathematical function.
09th October 2006
Bogdan L. Vrusias © 2006
21
AI – CS289
Fuzzy Logic
Sugeno Fuzzy Inference
• The most commonly used zero-order Sugeno fuzzy model applies
fuzzy rules in the following form:
IF
x is A
AND y is B
THEN z is k
where k is a constant.
• In this case, the output of each fuzzy rule is constant. All consequent
membership functions are represented by singleton spikes.
09th October 2006
Bogdan L. Vrusias © 2006
22
AI – CS289
Fuzzy Logic
Sugeno Rule Evaluation
1
1
A3
1
B1
0.1
0.0
0
x1
0
X
Rule 1: IF x is A3 (0.0)
y1
Y
OR y is B1 (0.1)
1
1
A2
0
x1
y1
Rule 2: IF x is A2 (0.2) AND y is B2 (0.7)
1
0
A1
AND
(min)
09th October 2006
Z
0.2
THEN
k2
Z
z is k2 (0.2)
1
0.5
0
X
Rule 3: IF x is A1 (0.5)
k1
z is k1 (0.1)
0
Y
0.5
x1
0
1
B2
0
0.1
THEN
0.7
0.2
X
OR
(max)
THEN
Bogdan L. Vrusias © 2006
k3
Z
z is k3 (0.5)
23
AI – CS289
Fuzzy Logic
Sugeno Aggregation of the Rule Outputs
1
0.1
0
1
1
1
0.5
0.5
0
0.1
0
0.2
k1
Z
z is k1 (0.1)
09th October 2006
0
k2
Z
z is k2 (0.2)
k3
Z
z is k3 (0.5)
Bogdan L. Vrusias © 2006
0.2
k1
k2
k3

24
Z
AI – CS289
Fuzzy Logic
Sugeno Defuzzification
Weighted Average (WA)
WA 
(k1)  k1  (k 2)  k 2  (k 3)  k 3 0.1 20  0.2  50  0.5  80

 65
(k1)  (k 2)  (k 3)
0.1  0.2  0.5
0
z1
Z
Crisp Output
z1
09th October 2006
Bogdan L. Vrusias © 2006
25
AI – CS289
Fuzzy Logic
Mamdani or Sugeno?
• Mamdani method is widely accepted for capturing expert knowledge.
It allows us to describe the expertise in more intuitive, more humanlike manner. However, Mamdani-type fuzzy inference entails a
substantial computational burden.
• On the other hand, Sugeno method is computationally effective and
works well with optimisation and adaptive techniques, which makes it
very attractive in control problems, particularly for dynamic nonlinear
systems.
09th October 2006
Bogdan L. Vrusias © 2006
26
AI – CS289
Fuzzy Logic
Closing
•
•
•
•
Questions???
Remarks???
Comments!!!
Evaluation!
09th October 2006
Bogdan L. Vrusias © 2006
27
Download
Related flashcards

Philosophical logic

16 cards

Conjectures

15 cards

Hypotheses

16 cards

Metrology

19 cards

Mathematical logic

36 cards

Create Flashcards