fuzzy logic. lecture outline fuzzy systems fuzzy sets membership functions fuzzy operators fuzzy set...
TRANSCRIPT
Fuzzy Logic
Lecture OutlineLecture Outline
Fuzzy SystemsFuzzy Systems
Fuzzy Sets Fuzzy Sets
Membership Functions
Fuzzy OperatorsFuzzy Operators
Fuzzy Set Characteristics
Fuzziness and Probability
Fuzzy SystemsFuzzy SystemsBoolean Logic
– has a well-defined and used theory
– has been implemented in computing systems
– played an important role in the development of the first AI reasoning systems (expert systems)
– based on traditional two-valued set theory, where an element either belongs to a set or not
– is not enough to solve most of the real world problems (need to deal with incomplete, imprecise, vague or uncertain information)
Fuzzy logic – gives the formal tools to reason about uncertain information
– represent the problem by linguistic terms, rather than numbersit is partly cloudy
Stephan is very tall
Fuzzy SystemsFuzzy Systems– like human brain can understand these terms, and infer from
them that it will most probably not rain
Stephan might just be a good basket ball player
Fuzzy Logic (some history)– Aristotle (Laws of Thought) :- every proposition must have
only one of two outcomes: either true or false.– Plato laid the foundations of today’s fuzzy logic
– Only in the 1900s that Lejewski and Lukasiewicz proposed three-valued logic has a third value which is assigned a
numeric value between true and false– Lukasiewicz later extended this to four-valued and five-
valued logic– Recently, in 1965, Lotfi Zadeh produced the foundations of
infinite-valued logic with mathematics of fuzzy set theory.
Fuzzy SetsFuzzy Sets
Example – Consider the problem of designing a set of all tall people, and
assigning all the people you know to this set.
– Suppose all tall people are described as those with height greater than 1.75m.
– using classical set theory:- an element is either a member of the set or not
a person of height 1.78m is an element of the set tall
someone with height 1.5m does not belong to the set of tall
someone of height 1.73m, which implies that someone who falls only 2cm short is not considered as being tall
no semantics in the description of membership (someone of height 1.78m and one of height 2.1m belongs equally to the set
Fuzzy SetsFuzzy Sets– fuzzy sets, has no problem with this situation:- all people are
members of the set tall, but to different degreesperson of height 2.1m may be a member of the set to degree
0.95, while someone of length 1.7m may belong to the set with degree 0.4
Fuzzy sets are an extension of crisp (two-valued) sets to model the uncertainties of natural language
– when it is very cloudy, it will most probably rain, has the linguistic terms very and most probably
Fuzzy sets, together with fuzzy reasoning systems, give the tools which enables computing systems to understand
such vague terms, and to reason with these terms
Fuzzy SetsFuzzy Sets
Formal Definitions– suppose X is the domain, or universe of discourse, and x ∈
X is a specific element of the domain X.
– The fuzzy set A is characterized by a membership function
– For all x X∈ , μA(x) indicates the certainty to which element x belongs to fuzzy set A.
– For two-valued sets, μA(x) is either 0 or 1.
– In a discrete domain X, A can be defined as
– or
– The sum here is not algebraic summation
Membership Functions
Membership Functions– the essence of fuzzy sets
– associate a degree of membership of each of the elements of the domain to the corresponding fuzzy set
– can be of any shape or type
– For the tall fuzzy set, a possible membership function can be
Membership Functions– Other shapes of membership function
Triangular function
Trapezoidal function
Logistic function
Gaussian function
Membership Functions
Membership Functions– must satisfy the following constraints:
bounded from below by 0 and from above by 1.
Fall in the range [0, 1].
For each x X∈ , μA(x) must be unique.
Fuzzy Operators
As for crisp sets, relations and operators are defined for fuzzy sets
Assume the shape of the membership function of two fuzzy Assume the shape of the membership function of two fuzzy sets A and B are given as sets A and B are given as
Fuzzy Operators– Equality of fuzzy sets: two fuzzy sets A and B are equal if and only if the sets have the same domain, and μA(x) = μB(x)
for all x X∈ . That is, A = B.
– Containment of fuzzy sets: Fuzzy set A is a subset of fuzzy set B if and only if μA(x) ≤ μB(x) for all x X∈ . That is, A B⊂ .
Fuzzy Operators– Complement of a fuzzy set (NOT): Let A denote the
complement of set A. Then, for all x X∈ , μA(x) = 1 − μA(x). It also follows that A ∩ A = ∅ and A A ∪ = X.
Fuzzy Operators– Intersection of fuzzy sets (AND):If A and B are two fuzzy
sets, thenMin-operator:
Product operator
Fuzzy Operators– Union of fuzzy sets (OR):If A and B are two fuzzy sets, then
the union of A, B (AUB)Max-operator:
Summation operator:
Fuzzy Set Characteristics
Normality: A fuzzy set A is normal if that set has an element that belongs to the set with degree 1. That is,
Height: The height of a fuzzy set is defined as the supremum of the membership function, i.e.
Support: The support of fuzzy set A is the set of all elements in the universe of discourse, X, that belongs to A
with non-zero membership. That is,
Core: The core of fuzzy set A is the set of all elements in the domain that belongs to A with membership degree 1.
That is,
Fuzziness and Probability
Fuzziness is not probability, and probability is not fuzziness.
Both refer to degrees of uncertainty of event occurring, but probability degrees of uncertainty are only meaningful before the event occurs, however, membership to fuzzy sets is still
relevant after an event occurred
Furthermore, probability assumes independence among events, while fuzziness is not based on this assumption.
Probability assumes a closed world model where everything is known, and where probability is based on frequency measures
of occurring events
Fuzziness does not assume everything to be known, and is based on descriptive measures of the domain (in terms of
membership functions), instead of subjective frequency measures.