0% found this document useful (0 votes)
16 views63 pages

AI Lecture 2

Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
16 views63 pages

AI Lecture 2

Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 63

Artificial Intelligence

(EEng5103)

Agmuasie B. , Lecturer
EEng Department
Institute of Technology
University of Gondar

Lecture Notes
2. Fundamentals
2. Fundamentals of Fuzzy
of Fuzzy Logic
Logic System
System

Ø Contents
– Introduction
– Fuzzy Sets
– Fuzzy Relation
– Fuzzy Logic

2
2. Fundamentals
2. Fundamentals of Fuzzy
of Fuzzy Logic
Logic System
System

Ø Chapter Objectives: At the end of this chapter, the


students will be able to:
– know the definitions of fuzzy set, fuzzy relation, and fuzzy
logic.
– understand the difference between classical set and fuzzy
set theory
– understand the rules to perform fuzzy compositions
– understand fuzzy implication, fuzzy propositions and fuzzy
reasoning
– develop fuzzy rulebase for a given system.

3
2. Fundamentals of Fuzzy Logic System
2.1. Introduction
Ø Many words we use arbitrarily in our daily life are usually
fuzzy in terms of verbal meanings.
Ø When describing a system or an event, we use words such as
– old, young, tall, short, cold, warm, hot, fast, slow, etc., which are
fuzzy in nature.
Ø We, the humans, use uncertain and vague words when
discussing something or making decisions.
Ø Our brain acts and takes decisions during the situations that
are uncertain and fuzzy.
Ø But what is fuzziness? The concept of fuzziness comes from
uncertainty.
– it indicates “ambiguity” or “vagueness.”

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 4


2. Fundamentals of Fuzzy Logic System
2.1. Introduction
Ø If data are not crisp and hard to distinguish, they are
represented by inclusion degrees in related categories.
Ø For example, consider the colors defined in the universe of
colors that are blended as shown in Fig below.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 5


2. Fundamentals of Fuzzy Logic System
2.1. Introduction
Ø First, the color is white, then it is changed to black over a
transition region
Ø The colors in the transition area can be distinguished as white,
light gray, gray, dark gray and black.
Ø During this transition, the shades of gray change from lighter
to darker while membership degrees become smaller in
WHITE and larger in BLACK.
Ø Along the transition region, the colors are both white and
black, they are neither white nor black.
Ø Besides, one cannot see a clear start and end for every color
in the Fig.
Ø Therefore, the color spectrum along the transition is fuzzy.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 6


2. Fundamentals of Fuzzy Logic System
2.1. Introduction
Ø Such type of vague and imprecise phenomenon can be well
represented and studied with the help of fuzzy logic.
Ø The concept of fuzzy logic was concieved by Lofti A.Zadeh, a
professor at the university of California at Berkley.
Ø He pioneered the study on systems with uncertainty using
fuzzy sets.
– He published the article ‘‘Fuzzy sets’’ 1965.
Ø The use of fuzzy logic (FL) has increased after the 1975s
when Lotfi A. Zadeh published two more articles on
– the application of fuzzy set theory to uncertain systems and
decision-making.
Ø Nowadays, fuzzy-based applications are available in almost
every area.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 7


2. Fundamentals of Fuzzy Logic System
2.1. Introduction
Ø Some of the utilization areas of fuzzy logic include:
– robotics, automation, tracking systems, temperature control, flow
control, motion control
– image processing, signal aliasing and human–machine
interaction
– function optimization, filtering, curve fitting

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 8


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Fuzzy set theory, a theory that can handle problems that can
not be solved in classical set theory, is a foundation of FL.
– where fuzzy logic is a branch of AI that deals with reasoning
algorithms used to emulate human thinking and decision making
in machines.
Ø It is a generalization of the classical set theory.
Ø The classical set theory is built on the fundamental concept of
“set” of which
– an individual is either a member or not a member.
Ø There is a very precise and clear boundary to indicate if an
entity belongs to the set.
– it is not allowed that an element is in a set and not in the set at
the same time (no partial membership).

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 9


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø For any set A, the characteristic function of A is defined by

Ø The characteristic function of classical set theory is an


indicator of members and nonmembers of the crisp set A.
Ø Many real-world problems involve with partial membership
and cannot be handled by the classical set theory.
Ø Whereas, fuzzy set theory accepts partial memberships and is
handy to represent real world problems.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 10


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Hence, the characteristic function needs to be generalized to
describe the membership grade of an element w/c has partial
membership in the set.
– A membership grade( of an element
represents the extent with which the element belongs to the set
Ø This generalization leads to the fuzzy membership functions,
which act as a bridge b/n uncertain data and fuzzy world.
Ø A membership function makes a fuzzy set �� well- defined
and characterizes it in a precise way.
– A fuzzy set �� is an ordered pair, where the first entry represents
the (�) belonging to a set, and the second one
represents the ( of the element to
the set.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 11


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø If � is a universe of discourse, and � is a particular element of
�, then a fuzzy set �� defined on � is:
�� = {�, � ∈ �}
Ø Membership function associated with a given fuzzy subset is
defined as:
– a nonnegative-valued function that establishes a
mathematical measure for the given characteristics of a set.
Ø Fuzzy membership functions are defined in an interval [0,1].
– The lowest value represents in the related
fuzzy set while the highest value 1 means full membership.
– Larger values denote higher degrees of the membership.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 12


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Let � = {�1 , �2 , �3 , �4 } be the reference set of fruits and let ��
be the fuzzy set of “sweet” fruits, (“sweet” is a fuzzy term).
Ø The fuzzy set that indicates the sweetness of the fruits can be
described as:
�� = {(�1 , 0.25), (�2 , 0.75), (�3 , 0.9), (�4 , 0.5)}
Ø For a fuzzy set having continuous input data, membership
function can be represented .
Ø Consider a real life example: Let be the set of
, used as the universe set, and
�� = {� ∈ |� �� ���. }
Ø Given a person’s age (assume 40), it is not clear if this person
belongs to the set �� .

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 13


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Then �� is a “fuzzy subset” of � because the property “old” is
not well defined and cannot be precisely measured.
Ø Thus, to make the subset �� well-defined, we have to quantify
the “oldness” using MFs.
Ø By intuition, let those people who are 120 years old or older
be “absolutely old”, and those newborns are “absolutely
young”
Ø Meanwhile, all the other people are old as well as young,
depending on their actual ages.
Ø This relation can be approximated by the following
membership function.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 14


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

Ø For example, according to the measuring curve a person 40


years is
– “old” with “degree 0.5” and at the same time also
– “young” with “degree 0.5”.
Ø This person possess partial membership in “old”
Ø Another example: the crisp universe of gray colors [discussed
previously] can be partitioned into subsections as
– white, light gray, gray, dark gray and black and defined by
triangular-shape fuzzy membership functions.
March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 15
2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Five triangular-shape membership functions representing five
fuzzy subsets are used in Fig. to define the shades of gray.
– Right triangles are used to represent lower (white) and upper
(black) limits of shades of gray.
– Equilateral triangles are used as membership functions for
the other shades that vary from white to black.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 16


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø A member of a fuzzy set may assume two or more (even
conflicting) membership values.
Ø There is yet no fixed, unique, and universal rule or criterion for
selecting a MF for a particular “fuzzy subset”,
– the selection is more or less subjective.
Ø In general a correct and good MF is determined by the user
based on their
– scientific knowledge,
– experience, and
– actual need for the particular application.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 17


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Membership functions can have many shapes, depending on
the data set,
Ø But the most common are the S, Z, ∧, and Π shapes which can
be symmetrical or asymmetrical.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 18


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

Ø For these membership functions, they can have up to three


line segments with a maximum of four end points.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 19


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Triangular membership function is defined by three
parameters: a, b, and c.
§ “a” defines the lower boundary value,
§ “b” defines the height of the triangle,
§ “c” defines the upper boundary value.

0, �<�
�−�
, �≤�≤�
�� (�) = �� −
−�

, �≤�≤�
�−�
0, �>�

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 20


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Trapezoidal membership function Π is constrained by four
parameters – a, b, c, and d.
§ The values from b to c represent the highest membership value
that the element can take.
§ If x is between a and b or between c and d, it will have
membership value between 0 and 1.

0, �<�
�−�
, �≤�≤�
�−�
�� (�) = 1, �≤�≤�
�−�
, �≤�≤�
�−�
0, �>�

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 21


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø The Gaussian membership function
Ø defined by two parameters – mean (�) and standard
deviation (�).
• The mean (�) represents the center of the Gaussian curve,
• the ( ) represents the

1 1 �− � 2

�� (�) = � 2 �
� 2�

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 22


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Sigmoidal membership function: It has a characteristic of
being S-shaped,
Ø Commonly used in fuzzy set theory and machine learning.
Ø It provides a gradual variation from nonmembership (i.e., 0)
to complete membership
• is mainly controlled by two parameters: “a” and “c.”
• The membership function value is 0 for value of “�” less
than “a” and equal to 1 for any value of “�” greater than “c.”
• Other fuzzy membership values lie between 0 and 1.

1
�� (�) =
1 + �−�(�−�)

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 23


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø The range of the input data or the universe of discourse is
called fuzzy variable.
Ø Each membership function is defined by a name called a label.

For example, a
such as
might have five membership
functions labeled as
– Cold, Cool, Normal,
Warm, and Hot.

Ø A group of membership functions forms a fuzzy set.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 24


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Generically, the seven membership functions which span from
the data range’s minimum point (NL) to its maximum point
(PL) can be labeled as:
NL (negative large) PS (positive small)
NM (negative medium) PM (positive medium)
NS (negative small) PL (positive large)
ZR (zero)

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 25


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Features of membership functions are core, support, and
boundary.
– The core of a membership function for some fuzzy set A is
defined as that region of the universe that is characterized by
full membership in the set A; i.e �� = 1.
– The support of a membership function for some fuzzy set A is
defined as that region of the universe that is characterized by
nonzero membership in the set A; i.e �� > 0.
– The boundaries of a membership function for some fuzzy set
A are defined as that region of the universe containing
elements that have a nonzero membership but not complete
membership; i.e. 0 < �� < 1.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 26


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

Ø Types of fuzzy set include normal, sub-normal, convex and


nonconvex:
– A normal fuzzy set is one whose membership function has
at least one element x in the universe whose membership
value is unity.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 27


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
– A convex fuzzy set is described by a membership function
whose membership values are
vstrictly monotonically increasing, or
vstrictly monotonically decreasing, or
vstrictly monotonically increasing then strictly monotonically
decreasing
with increasing values for elements in the universe.
Ø The crossover points of a MF are defined as the elements in
the universe for which a particular fuzzy set A has values
equal to 0.5
Ø If A is a convex single-point normal fuzzy set defined on the
real line, then A is often termed a fuzzy number.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 28


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 29


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set
Ø Operations on fuzzy set include:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 30


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

Ø Operations on fuzzy set:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 31


2. Fundamentals of Fuzzy Logic System
2.2. Fuzzy Set

Ø Properties of set

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 32


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Ø Fuzzy relation is a fuzzy set defined on the Cartesian product
of fuzzy set �1 , �2 , . . . , ��
Ø Here, n-tuples (�1 , �2 , . . . , �� ) may have varying degree of
memberships within the relationship.
Ø The membership values indicate the strength of the relation
between the tuples.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 33


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Ø Operations on Fuzzy Relations

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 34


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Ø Operations on Fuzzy Relations

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 35


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Ø Operations on Fuzzy Relations

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 36


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 37


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Composition:
Ø Suppose � is a fuzzy relation on the Cartesian space � × �, �
is a fuzzy relation on � × �,
Ø Then fuzzy max-min composition � is a fuzzy relation on � ×
� and is defined as:

Ø Consider the following fuzzy relations:

– where � = {�1 , �2 }, � = {�1 , �2 }, and � = {�1 , �2 , �3 }.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 38


2. Fundamentals of Fuzzy Logic System
2.3. Fuzzy Relations
Ø The resulting max-min composition will be

Ø where
– ��∘� (�1 , �1 ) = ���{���(0.7, 0.9), ���(0.5, 0.1)} = 0.7
– ��∘� (�1 , �2 ) = ���{���(0.7, 0.6), ���(0.5, 0.7)} = 0.6
– ��∘� (�1 , �3 ) = ���{���(0.7, 0.2), ���(0.5, 0.5)} = 0.5
– ��∘� (�2 , �1 ) = ���{���(0.8, 0.9), ���(0.4, 0.1)} = 0.8
– ��∘� (�2 , �2 ) = ���{���(0.8, 0.6), ���(0.4, 0.7)} = 0.6
– ��∘� (�2 , �3 ) = ���{���(0.8, 0.2), ���(0.4, 0.5)} = 0.4

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 39


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø Logic refers to the study of methods and principles of human
reasoning.
Ø Classical logic deals with propositions:
– a proposition � is a linguistic, or declarative, statement that can
be identified as true or false.
Ø The veracity (truth) of an element in the proposition � can be
assigned a binary truth value, called �(�),
Ø For binary (Boolean) classical logic, �(�) is assigned a value
of 1 (truth) or 0 (false).
Ø If � is the universe of all propositions, then
– � is a of the elements, �, in these propositions (sets) to
the binary quantities (0, 1).

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 40


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø Two or more propositions on the same universe of discourse
can be combined using the following five logical connectives

Ø Two propositions (� and �) will have a total of 4 propositional


combinations with truth table depicted below.
� � � �∨� �∧� �→� �↔�

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 41


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø The implication � → � connective is also equivalent to the
linguistic rule form,
– IF �, THEN �.
Ø Tautologies are compound propositions that are always true
irrespective of the truth values of the individual propositions.
Ø They are are useful for deductive reasoning, for proving
theorems, and for making deductive inferences.
Ø One tautology, known as modus ponens deduction, is a very
common inference scheme
Ø It is used in forward-chaining rule-based expert systems.
– to find the truth value of a consequent in a production rule, given
the truth value of the antecedent in the rule.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 42


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø Modus ponens deduction concludes that:
– given two propositions, � and � → �, both of which are true, then
the truth value of the proposition � is automatically inferred.
Ø Another useful tautology is the , which
is used in backward-chaining expert systems.
– In modus tollens an implication between two propositions is
combined with a second proposition and both are used to imply a
third proposition.
Ø Some common tautologies follow:
�∨�⟷�
� ∨ �; � ∨ � ⟷ �
(� ∧ (� → �)) → � (����� ������)
(� ∧ (� → �)) → � (����� �������)

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 43


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø The main content of classical logic is
– the study of rules that allow new logical variables to be produced
as functions of certain existing variables.
Ø Suppose that � logical variables, �1 , �2 , . . . , �� , are given,
say: �1 is true; �2 is false; . . ., �� is false.
Ø Then a new logical variable, �, can be defined by a rule as a
function of �1 , �2 , . . . , �� that has a particular truth value
– One example of a Rule: IF �1 is true AND �2 is false AND . . .
AND �� is false, THEN � is false.
Ø Because only one truth value is assumed by logical variable
(hypothetical proposition), the classical logic is also called a
two-valued logic.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 44


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø The fundamental assumption upon which the classical logic is
that every proposition is either true or false.
Ø It is now well understood that many propositions are both
partially true and partially false.
Ø To describe such partial truth values by some new rules, in a
way to extend and generalize the two-valued logic,
– multi- valued logic was proposed and developed.
Ø In a typical three-valued logic, we denote the , falsity, and
indeterminacy by values of , 0, and 1/2, respectively.
Ø The negation of a proposition � is usually defined to be � =
1 − �.
Ø Thus, in this three-valued logic, we have
1 = 0, 0 = 1, 1/2 = 1/2

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 45


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø The three-valued logic does not satisfy many basic operation
laws of the two-valued logic.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 46


2. Fundamentals of Fuzzy Logic System
2.4. Classical Logic
Ø For a given finite positive integer, � > 3, an �-valued logic
assumes a rational truth value in the range [0, 1].
Ø These are defined by the following equally spaced partition:
truth values that describe a degree of truth:
0 1 2 �−2 �−1
0= , , ,..., , =1
�−1 �−1 �−1 �−1 �−1

Ø Zadeh established an infinite-valued logic, by defining the


following primary logic operations:
� =1−�
� � = ���{�, �}
� ⋁ � = ���{�, �}
� ⇒ � = ���{1, 1 + � − �}
� ⟺ � = 1 − |� − �|

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 47


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø Basically, FL is a multivalued logic that allows intermediate
values to be defined between conventional two valued logic.
Ø It employs middle values accepting things that can be partly
true and partly false at the same time.
Ø The following figure shows that fuzzy logic adds a range of
logical values to boolean logic to a color spectrum.

Ø It attempts to model our senses of words, our decision making


and our common sense.
Ø As a result, it is leading to new, more human, intelligent
systems.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 48


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø Fuzzy logic proposition generalizes classical proposition
calculus by using the truth set instead of .
– A fuzzy logic proposition, �, is a statement involving some
concept with uncertain boundaries
Ø Thus, the truth value to � is assigned by mapping from the
interval to the universe of truth values, �,
�: � ∈
Ø Fuzzy propositions are assigned to fuzzy sets: suppose
proposition � is assigned to fuzzy set �� ;
– then the truth value of a proposition, denoted �(�), is given by
�(�) = �� (�) �ℎ��� 0 ≤ �� (�) ≤ 1
Ø i.e. the degree of truth for the proposition �: � ∈ �� is equal to
the membership grade of � in the fuzzy set �� .

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 49


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø The logical connectives of negation, disjunction, conjunction,
and implication are also defined for a fuzzy logic.
Ø For two simple propositions: proposition � defined on fuzzy
set �� and proposition � defined on fuzzy set �� .
– Negation:
�(�) = 1 − �(�)
– Disjunction:
� ∨ �: � �� �� �� �� �(� ∨ �) = ���(�(�) ∨ �(�))
– Conjunction:
� ∧ �: � �� �� ��� �� �(� ∧ �) = ���(�(�) ∧ �(�))
– Implication:
� → �: � �� �� , �ℎ�� � �� �� �(� → �) = �(� ∨ �) = ���(�(�), �(�))

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 50


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø As before in binary logic, the fuzzy implication connective can
be modeled in rule-based form;
� → � is, IF � is �� , THEN � is ��
Ø and it is equivalent to the following fuzzy relation,
� = (� × �) ∪ (� × �)
Ø The membership function of � is expressed by the following
form
�� (�, �) = ���[(�� (�) ∧ �� (�)), (1 − �� (�))]

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 51


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø The ultimate goal of fuzzy logic is to form the theoretical
foundation for reasoning about imprecise propositions;
– such reasoning has been referred to as approximate reasoning
[Zadeh, 1976, 1979].
Ø Approximate reasoning is analogous to classical logic for
reasoning with precise propositions.
Ø Hence it is an extension of classical propositional calculus
that deals with partial truths.
Ø Suppose we have a rule-based format to represent fuzzy
information.
Ø These rules are expressed in conventional antecedent-
consequent form, such as

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 52


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø Rule 1: IF x is A, THEN y is B,
– where A and B represent fuzzy propositions (sets).
Ø Now suppose we introduce a new antecedent, say �, and we
consider the following rule:
Ø Rule 2: IF x is � , THEN y is �
Ø From information derived from Rule 1, is it possible to derive
the consequent in Rule 2?
– The answer is yes, and the procedure is fuzzy composition.
Ø The consequent � can be found from the composition
operation,
�=�∘�

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 53


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø Zadeh’s inference rules of approximate reasoning can be
used to generate different and meaningful inference engines.
Ø Some of these inference rules are:
1. Entailment rule of inference:
– This rule implements the subset concept.
– For a given premise(knowledge), fact(data) and
consequence(conclusion) this rule states:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 54


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
2. Conjunction rule of inference:
– This is the implementation of intersection as a rule.
– The conclusion is the intersection of the input sets:

3. Disjunction rule of inference


– This is the implementation of union operator as a rule.
– The conclusion of the inference system is the union of the input
sets:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 55


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
4. Negation rule of inference
– This rule is the implementation of complement operator.
– The knowledge base is not required.
– The conclusion of the inference system is the complement of the
input set.

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 56


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
5. Generalized modus ponens rule of inference
– Generalized modus ponens (GMP) is the basis of
.
– the conclusion depends on how the data suits with the
knowledge.
– If data is true, then there will be a conclusion:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 57


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
6. Compositional rule of inference
– Zadeh has suggested the compositional rule of inference for the
fuzzy implications to be used in approximate reasoning .
– The fuzzy inference system used in fuzzy logic control systems
is based on the CRI, which is written as:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 58


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø Note again that the modus ponens inference is the basis for
fuzzy logic system.
Ø This inference is used to interpret the General Fuzzy IF-THEN
Rule which has the form
“IF �1 is �1 AND �2 is �2 . . . AND �� is �� THEN b is B.”
Ø Using the fuzzy logic AND operation, this rule is implemented
by the following evaluation formula:

Ø About this general fuzzy IF-THEN rule and its evaluation, a


few issues have to be clarified:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 59


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
1. There is no fuzzy logic OR operation in a general fuzzy IF-
THEN rule.
– Suppose the following rule:
• “(IF a1 is A1 AND a2 is A2) OR (IF a3 is A3 AND a4 is A4)
THEN b is B.”
– this statement is equivalent to the combination of the
following two fuzzy IF-THEN rules:
• “(IF a1 is A1 AND a2 is A2) THEN b is B.”
• “(IF a3 is A3 AND a4 is A4) THEN b is B.”
– Hence, the fuzzy logic OR operation is not necessary to use:
it increases the format complexity of the rule

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 60


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
2. There is no fuzzy logic NOT operation in a general fuzzy IF-
THEN rule.
– we may have a negative statement like “IF a is not A”
– we can always interpret this negative statement by a positive
one “IF a is �” or “IF � is A”.
Ø All the other fuzzy logic operations can be simply defined and
expressed by the AND and OR operations.
3. They can be inferenced via the min and max operations as:

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 61


2. Fundamentals of Fuzzy Logic System
2.5. Fuzzy Logic
Ø A fuzzy rule base has to satisfy some properties or requirements.
– A fuzzy rule base has to be complete in the sense that no
other possible conditions are left out.
– The following rule base is incomplete:
• IF a > 0 THEN b > 0,
• IF a = 0 THEN b < 0,
because the case of a < 0 is left out.
– Also, a fuzzy rule base has to be consistent in the sense that
no conclusions are contradictive.
– A rule base should be concise with less or no redundancy

March. 2024 | EEng5103: Ch - 2 | Year V : Sem I 62


2. Fundamentals of Fuzzy Logic System

The End

March. 2024 | EEng5103: Ch - 1 | Year V : Sem I 63

You might also like