Академический Документы
Профессиональный Документы
Культура Документы
Classical Logic
Invented by ancient Greeks, Socrates
used by mathematicians
In this logic
2
INTRODUCTION
• It is the mark of an instructed mind to rest satisfied with that degree of
precision which the nature of the subject admits, and not to seek exactness
where only an approximation of the truth is possible.
Aristotle, 384–322 BC (Ancient Greek philosopher)
• All traditional logic habitually assumes that precise symbols are being
employed. It is therefore not applicable to this terrestrial life but only to an
imagined celestial existence.
Bertrand Russell, 1923
• Most engineering texts do not address the uncertainty in the information, models,
and solutions that are conveyed within the problems addressed therein.
• The more complex a system is, the more imprecise or inexact is the information that
we have to characterize that system. It seems, then, that precision, information and
complexity are inextricably related in the problems we pose for eventual solution.
• However, for most of the problems that we face, we can do a better job in accepting
some level of imprecision.
• It seems intuitive that we should balance the degree of precision in a problem with
the associated uncertainty in that problem
BRIEF HISTORY Boolean Logic
George Boole
5
Boolean Logic
6
Boolean Logic
If A represents an ordinary crisp set/ Boolean set
Then A ={x | P(x)} indicates that the set A consists of those items
x for which the property P is true.
For example:
“THE BULB GLOWS AT A SUPPLY VOLTAGE OF 220V”
According to this statement the bulb will glow at 220V and not otherwise.
GLOW, 1
1
Fuzzy logic
8
1
Basics of Fuzzy Logic…
Now consider the statement “The bulb glows when supply voltage is "around 220V”
According to this statement , the bulb will glow even for voltages lower as well as higher
than 220V.
The condition “around 220V” cannot be represented by either 1 or 0, although the
human mind can very well comprehend that it refers to voltages little below or higher
than 220V.
Thus “ around 220V” is not a binary /crisp condition. i.e. two distinct states 1 and 0 are
not enough to characterize it. So one might be inclined to say that we require more states
or multiple states. But how many states?
1
THE ANSWER LIES WITH FUZZY LOGIC
0
214 216 218 220 222 224 226
FUZZY REPRESENTATION
9
1
Basics of Fuzzy Logic…
The terms like AROUND, APPROXIMATELY, MORE-OR-LESS, SLIGHTLY, VERY represent an intuitive feel
of expert human and can be expressed as FUZZY SETS.
FUZZY SET
Fuzzy set is a mathematical measure of ambiguous phenomenon and a technique for mathematically
expressing linguistics ambiguity.
The phrase” around 220V” can be represented by a set of points. Each point is a measure of the
degree to which the phrase” around 220V” is true.
10
Basics of Fuzzy Logic…
• The collection of points which determine the curve “AROUND 220V” can
be written in the form
F μ F (x)/x OR F μ F (x)/x
u
u
11
• Suppose set A is the crisp set of all people with 5.0 ≤ x ≤ 7.0 feet.
• A particular individual, x1, has a height of 6.0 feet. The membership of this
individual in crisp set A is equal to 1, or full membership, given symbolically as
χA(x1) = 1.
• Another individual, say x2, has a height of 4.99 feet. The membership of this
individual in set A is equal to 0, or no membership, hence χA(x2) = 0.
• In these cases the membership in a set is binary, either an element is a member of
a set or it is not.
Fuzzification is the process of changing a real scalar value into a fuzzy value.
This is achieved with the different types of fuzzifiers (membership functions).
The process of transforming crisp(bivalued) input values into linguistic values is called
fuzzification
Steps of Fuzzification:
Step 1: Input values are translated into linguistic concepts, which are represented by fuzzy set.
Step 2: Membership functions are applied to the measurements, and the degree of membership
is determined
Fuzzification
Fuzzy Linguistic Variables are used to represent qualities spanning a particular spectrum
Temp: {Freezing, Cool, Warm, Hot}
Question: What is the temperature?
Answer: It is warm.
Question: How warm is it?
Fuzzification
0
10 30 50 70 90 110
Temp. (F°)
Membership Functions
Fuzzification
How cool is 36 F° ?
It is 30% Cool and 70% Freezing
0.7
0.3
0
10 30 50 70 90 110
Temp. (F°)
Fuzzification
Membership Functions
The MATLAB toolbox includes 11 built-in membership function types.
These 11 functions are, in turn, built from several basic functions:
• piecewise linear functions
• the Gaussian distribution function
• the sigmoid curve
• quadratic and cubic polynomial curves
Fuzzification
Membership Functions
The simplest membership functions are formed using straight lines. The
simplest is the triangular membership function, and it has the function
name trimf.
The trapezoidal membership function, trapmf, has a flat top and really is
just a truncated triangle curve. These straight line membership
functions have the advantage of simplicity.
Fuzzification
Membership Functions
Two membership functions are built on the Gaussian distribution
curve: a simple Gaussian curve and a two-sided composite of two
different Gaussian curves. The two functions are gaussmf and
gauss2mf. The generalized bell membership has the function name
gbellmf.
Trapezoid(x; a, b, c, d) = 0 if x a;
= (x-a)/(b-a) if a x b;
= 1 if b x c;
= (d-x)/(d-c) 0 if c x d;
= 0, if d x.
A sigmoidal membership function is specified by two
parameters {a, c}:
• Sigmoid(x; a, c) = 1/(1 + exp[-a(x-c)]) where a controls slope at the
crossover point x = c.
• These membership functions are some of the commonly used
membership functions in the fuzzy inference systems.
Fuzzy Rules
• Fuzzy rules are useful for modeling human thinking, perception and
judgment.
• A fuzzy if-then rule is of the form “If x is A then y is B” where A and B
are linguistic values defined by fuzzy sets on universes of discourse X
and Y, respectively.
• “x is A” is called antecedent and “y is B” is called consequent.
Binary fuzzy relation
• A binary fuzzy relation is a fuzzy set in X × Y which maps each
element in X × Y to a membership value between 0 and 1. If X and Y
are two universes of discourse, then
• R = {((x,y), R(x, y)) | (x,y) Є X × Y } is a binary fuzzy relation in X × Y.
• X × Y indicates cartesian product of X and Y
Fuzzy rule as a relation
If x is A, then y is B
x is A, y is B fuzzy predicates A( x), B( y )
If A( x), then B( y )
can be represente d by relation
R( x, y ) : A( x) B( y )
R( x, y ) can be considered a fuzzy set with 2 - dim membership function
R ( x, y ) f ( A ( x), B ( y ))
where f is " fuzzy implicatio n function" , performs the task
of transform ing the membership degrees of x in A and y in B
into those of ( x, y ) in A B
31
Fuzzy implications
32
Example of Fuzzy implications
h
20 50 70 90
t
20 0.1 0.1 0.1 0.1
30 0.2 0.5 0.5 0.5
40 0.2 0.6 0.7 0.9
34
Example of Fuzzy implications
When " temperatur e is fairly high" or t is A' , A' T
37
Compositional rule of inference
The inference procedure is called as the “compositional rule of inference”. The
inference is determined by two factors : “implication operator” and
“composition operator”.
38
Representation of Fuzzy Rule
Fact: u is A ' : R(u)
Rule: If u is A then w is C : R(u, w)
Result: w is C ' : R( w) R(u) R(u, w)
R(u, w) : A C