Fuzzy Logic
Fuzzy Logic
Tushar B. Kute,
http://tusharkute.com
Fuzzy Logic
A˜={(y,μA˜(y))|y∈U}
• Case 2
– When universe of information U is continuous
and infinite −
• Distributive Property
– Having three fuzzy sets A˜, B˜ and C˜, this
property states −
Properties of Fuzzy Sets
• Idempotency Property
– For any fuzzy set A˜ , this property states −
Properties of Fuzzy Sets
• Identity Property
– For fuzzy set A˜ and universal set U, this
property states −
Properties of Fuzzy Sets
• Transitive Property
– Having three fuzzy sets A˜ , B˜ and C˜, this
property states −
Properties of Fuzzy Sets
• Involution Property
– For any fuzzy set A˜ , this property states −
Properties of Fuzzy Sets
• De Morgan’s Law
– This law plays a crucial role in proving
tautologies and contradiction.
– This law states −
Difference:
Difference:
Difference:
Difference:
Membership Function
• 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
• R=AxB
and
• R ⊂ (X x Y)
• Let A = {a1, a2, …, an} and B = {b1, b2, .., bm}, then
fuzzy relation between A and B is described by the
fuzzy relation matrix as,
• 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]
• https://wisdomplexus.com
Thank you
This presentation is created using LibreOffice Impress 7.0.1.2, can be used freely as per GNU General Public License
Web Resources
https://mitu.co.in
http://tusharkute.com