Fuzzy System and Fuzzy Relation
Fuzzy System and Fuzzy Relation
A˜={(y,μA˜(y))|y∈U}
• Core
– For any fuzzy set A˜, the core of
a membership function is that
region of universe that is
characterize by full membership
in the set.
– Hence, core consists of all those
elements y of the universe of
information such that,
Features of Membership Functions
• Support
– For any fuzzy set A˜, the support of
a membership function is the
region of universe that is
characterize by a nonzero
membership in the set.
– Hence core consists of all those
elements y of the universe of
information such that,
Features of Membership Functions
• Boundary
– For any fuzzy set A˜ , the boundary of
a membership function is the
region of universe that is
characterized by a nonzero but
incomplete membership in the set.
– Hence, core consists of all those
elements y of the universe of
information such that,
Features of Membership Functions
Fuzzification
• It may be defined as the process of
transforming a crisp set to a fuzzy set or a fuzzy
set to fuzzier set.
• Basically, this operation translates accurate
crisp input values into linguistic variables.
Support Fuzzification(s-fuzzification) Method
• R=Ax
B and
• R ⊂ (X
x Y)
where
the
relatio
n R has
Fuzzy Relation
• Atomic sentences:
– Atomic sentences are the most basic
sentences of first-order logic. These
sentences are formed from a predicate
symbol followed by a parenthesis with a
sequence of terms.
– We can represent atomic
sentences as Predicate (term1,
term2, ......, term n).
– Example: Ravi and Ajay are
brothers: => Brothers(Ravi, Ajay).
Chinky is a cat: => cat (Chinky).
First Order Logic
• Complex Sentences:
– Complex sentences are made by combining
atomic sentences using connectives.
• First-order logic statements can be divided
into two parts:
– Subject: Subject is the main part of the
statement.
– Predicate: A predicate can be defined as a
relation, which binds two atoms together
in a statement.
First Order Logic
• Examples:
– Consider E(x, y) denote "x = y"
– Consider X(a, b, c) denote "a + b + c
= 0"
– Consider M(x, y) denote "x is married
to y."
Predicate Logic
A=[a1,a2,...,ai,...,an]