SlideShare a Scribd company logo
FUZZY LOGIC
Theory and
Applications
Dzikra F. – Yosep Dwi K.
HISTORICALREMARKS
Charles Sanders
Peirce
Jan Lukasiewicz Lotfi Zadeh
INTRODUCTION
CLASSICAL LOGIC
Logic is the study of the methods and principles of
reasoning in all its possible forms. Classical logic
deals with propositions that are required to be either
true or false. Each proposition has its opposite,
which is usually called an negation of the
proposition. A proposition and its negation are
required to assume opposite thruth values.
One area of logic, referred to as propositional
logic, deals with combinations of variables that
stand for arbitrary propositions.
Two of the many complete sets of
primitives have been predominant
in propotional logic: (i) negation,
conjuction, and disjunction; and (ii)
negation and implication.
When the variable represented by a
logic formula is always true
regardless of the truth values
assigned to the variables
participating in the formulas, it is
called a tautology; when it is
always false, it is called a
contradiction.
ISOMORPHISM
Set Theory Propositional Logic
𝒫 𝑋
⋃
⋂
−
𝑋
∅
⊆
ℒ(𝑉),
⋁
∧
−
1
0
⇒
QUANTIFICATION
Existential quantification of a predicate P(𝑥)
is expressed by the form
∃𝑥 𝑃 𝑥 =
𝑥 ∈ 𝑋
𝑃(𝑥)
Universal quantification of a predicate 𝑃(𝑥)
is expressed by the form
∀𝑥 𝑃 𝑥 =
𝑥 𝜖 𝑋
𝑃 𝑥 .
Existential and Universal Quantification
FUZZY LOGIC
Propositions about future
events are neither actually true
not actually false, but
potentially either; hence, their
truth value is undetermined, at
least prior to the event.
In order to deal with such
propositions, we must relax
the true/false dichotomy of
classical two-valued logic by
allowing a third truth value,
which may be called
indeterminate.
MULTIVALUED
LOGICS
Partly cloudy
Two of three-
valued logics𝒂 𝒃
Lukasiewicz Bochvar
∧ ∨ ⟹ ⟺ ∧ ∨ ⟹ ⟺
0 0 0 0 1 1 0 0 1 1
0
1
2
0
1
2
1
1
2
1
2
1
2
1
2
1
2
0 1 0 1 1 0 0 1 1 0
1
2
0 0
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1 1
1
2
1
2
1
2
1
2
1
2
1
1
2
1 1
1
2
1
2
1
2
1
2
1
2
1 0 0 1 0 0 0 1 0 0
1
1
2
1
2
1
1
2
1
2
1
2
1
2
1
2
1
2
1 1 1 1 1 1 1 1 1 1
Primitives of some three-valued logics
QUASI-TAUTOLOGY AND QUASI-
CONTRADICTION
We say that a logic formula in a three-valued logic
which does not assume the truth value 0 (falsity)
regardless of the truth values assigned to its
proposition variables is a quasi-tautology.
Similarly, we say that a logic formula which does not
assume the truth value 1 (truth) is a quasi-
contradiction.
TRUTH VALUES
The set 𝑇𝑛 of truth values of an n-valued logic is
thus defined as
𝑇𝑛 = 0 =
0
𝑛 − 1
,
1
𝑛 − 1
,
2
𝑛 − 1
, … ,
𝑛 − 2
𝑛 − 1
,
𝑛 − 1
𝑛 − 1
= 1
TRUTHVALUE
The n-value logics (𝑛 ≥ 2) uses truth
values in 𝑇𝑛 and defines the primitives
by the following equations:
𝑎 = 1 − 𝑎
𝑎 ∧ 𝑏 = min 𝑎, 𝑏
𝑎 ∨ 𝑏 = max 𝑎, 𝑏
𝑎 ⟹ 𝑏 = min 𝑎, 1 + 𝑏 − 𝑎
𝑎 ⟺ 𝑏 = 1 − 𝑎 − 𝑏
INFINITE-VALUE LOGIC
Lukasiewicz used only negation and implication as
primitives
Generally, the term infinite-valued logic is usually
used in the literature to indicate the logic whose
truth values are represented by all the real numbers
in the interval [0, 1]. This is also quite often called
the standard Lukasiewicz logic 𝐿1.
FUZZYPROPOSITIONS
UNCONDITIONAL ANDUNQUALIFIED
PROPOSITION
The canonical form of fuzzy propositions of this type,
𝑝, is expressed by sentence
𝑝: 𝒱 is 𝐹
Example:
𝑝: temperatue (𝒱) is high (𝐹).
And the membership grade is
𝑇 𝑝 = 𝐹(𝑣)
Components of the fuzzy proposistion
UNCONDITIONAL AND QUALIFIED
PROPOSITIONS
𝑝: 𝒱 is 𝐹 is 𝑆
𝑝: Tina (𝒱) is young (𝐹) is very true (𝑆)
𝑇 𝑝 = 𝑆(𝐹 𝑣 )
𝑝: Pro 𝒱 is 𝐹 is 𝑃
Pro {𝒱 is 𝐹} = 𝑣𝜖𝑉 𝑓 𝑣 ∙ 𝐹(𝑣)
𝑇 𝑝 = 𝑃
𝑣𝜖𝑉
𝑓 𝑣 ∙ 𝐹(𝑣)
EXAMPLE
𝑝: Pro {temperature t (at given place and time) is
around 75°F} is likely
Pro (t is close to 75°F) = 𝑣𝜖𝑉 𝑓 𝑣 ∙ 𝐹(𝑣) = 0.8
𝑇 𝑝 = 0.95
𝑡 68 69 70 71 72 73 74 75
𝑓(𝑡) .002 .005 .005 .01 .04 .11 .15 .21
𝑡 76 77 78 79 80 81 82 83
𝑓(𝑡) .16 .14 .11 .04 .01 .005 .022 .001
CONDITIONAL AND UNQUALIFIEDPROPOSITIONS
Propositions 𝑝 of this type are expressed by the
canonical form
𝑝: if 𝒳 is A, then 𝒴 is B
These propositions may also be viewed as
propositions of the form
(𝒳,𝒴) is R
where
𝑅 𝑥, 𝑦 = 𝒥 𝐴 𝑥 ∙ 𝐵 𝑦
where 𝒥 denotes a binary operation on [0, 1]
representing a suitable fuzzy implication.
𝒥 𝑎, 𝑏 = min 1, 1 − 𝑎 + 𝑏
Let 𝐴 = 0.1
𝑥1 + 0.8
𝑥2 + 1
𝑥3 and B = 0.5
𝑦1 + 1
𝑦2.
Then
𝑅 = 1 𝑥1, 𝑦1 + 1 𝑥1, 𝑦2 + 0.7 𝑥2, 𝑦1 + 1 𝑥2, 𝑦2 + 0.5 𝑥3, 𝑦1 + 1 𝑥3, 𝑦2
CONDITIONALAND QUALIFIEDPROPOSITION
Propositions of this type can be characterized by
either the canonical form
𝑝: If 𝒳 is 𝐴, then 𝒴 is 𝐵 is S
or the canonical form
𝑝: Prop {𝒳 is 𝐴 𝒴 is 𝐵 } is 𝑃
FUZZY QUANTIFIERS
Fuzzy quantifiers of the first kind are defined on ℝ
and characterize linguistic terms such as about 10,
much more than 100, at least about 5, and so on.
Fuzzy quantifiers of the second kind are defined on
[0, 1] and characterize linguistic terms such as almost
all, about half, most, and so on.
There are two basic forms of propositions that
contain fuzzy quantifiers of the first kind. One of
them is the form
𝑝: There are 𝑄 i’s in 𝐼 such that 𝒱 𝑖 is 𝐹
Example:
There are about 10 students in a given class whose
fluency in English is high.
Alternatively, we can use
𝑝′: There are 𝑄 E’s
where,
𝐸 𝑖 = 𝐹 𝒱 𝑖
Example:
There are about 10 high-fluency English-speaking
students in a given class.
Also, a proposition before can be rewritten
as,
𝑝′: 𝒲 is 𝑄
where, 𝒲 = |𝐸|
𝐸 =
𝑖∈𝐼
𝐸 𝑖 =
𝑖∈𝐼
𝐹 𝒱 𝑖
and,
𝑇 𝑝 = 𝑇 𝑝′ = 𝑄 𝐸
EXAMPLE
𝑝: There are about three students in 𝑰 whose
fluency in English, 𝒱 𝑖 , is high.
Assume that 𝐼 = {Adam, Bob, Cathy, David, Eve}, and
𝑉 is a variable with values in the interval [0, 100] that
express degrees of fluency in English. And following
scores are given: 𝒱(Adam) = 35, 𝒱(Bob) = 20,
𝒱(Cathy) = 80, 𝒱(David) = 95, 𝒱(Eve) = 70. Determine
the truth value of the proposition 𝑝.
From the graph, we get
𝐸 = 0/Adam + 0/Bob + 0,75/Cathy + 1/David +
0,5/Eve
Then,
𝐸 =
𝑖∈𝐼
𝐸 𝑖 = 2,25
Finally,
𝑇 𝑝 = 𝑄 2,25 = 0,625
The second basic form of the first kind of fuzzy
quantifiers can be expressed as
𝑝: There are 𝑖's in 𝐼 such that 𝒱1 𝑖 is 𝐹1 and
𝒱2 𝑖 is 𝐹2
Example:
There are about 10 students in a given class whose
fluency in English is high and who are young.
The proposition before also can be expressed as,
𝑝′: 𝑄𝐸1’s 𝐸2’s
where,
𝐸1 𝑖 = 𝐹1 𝒱1 𝑖
𝐸2 𝑖 = 𝐹2 𝒱2 𝑖
or,
𝑝′: There are 𝑄(𝐸1 and 𝐸2)’s.
or
𝑝′: 𝒲 is 𝑄
The value 𝒲 and 𝑇 𝑝 can be determined as
𝒲 =
𝑖∈𝐼
min 𝐹1 𝒱1 𝑖 , 𝐹2 𝒱2 𝑖
and,
𝑇 𝑝 = 𝑇 𝑝′ = 𝑄 𝒲
FUZZY PROPOSITIONS WITH QUANTIFIERSOF SECOND
KIND
𝑝: Among 𝑖's in 𝐼 such that 𝒱1 1 is 𝐹1 there are 𝑄 𝑖's
in 𝐼 such that 𝒱2 𝑖 is 𝐹2
Or,
𝑝′: 𝑄𝐸1’s are 𝐸2’s
Where,
𝐸1 = 𝐹1 𝒱1 𝑖
𝐸2 = 𝐹2 𝒱2 𝑖
Example: Almost all young students in a given class
are students whose fluency in English is high.
Proposition before can be written as,
𝑝′: 𝒲 is 𝑄
where,
𝒲 =
𝐸1 ∩ 𝐸2
𝐸1
And we obtain,
𝒲 =
𝑖∈𝐼 min 𝐹1 𝒱1 𝑖 , 𝐹2 𝒱2 𝑖
𝑖∈𝐼 𝐹1 𝒱1 𝑖
APPLICATIONS
Hardware implementation of a fuzzy controller
COMPUTER ENGINEERING
WASHING MACHINE
Type_of_dirt
Dirtness_of_clothes
Linguistic input
Fuzzy controller
Output
Fuzzyfication
Fuzzy arithmetic
& applying criterion
Defuzzyfication
Wash_time
THANK YOU.

More Related Content

What's hot

lattice
 lattice lattice
Classical Sets & fuzzy sets
Classical Sets & fuzzy setsClassical Sets & fuzzy sets
Classical Sets & fuzzy sets
Dr.Ashvini Chaudhari Bhongade
 
Informed search
Informed searchInformed search
Informed search
Amit Kumar Rathi
 
Defuzzification
DefuzzificationDefuzzification
Defuzzification
Dr. C.V. Suresh Babu
 
Instance Based Learning in Machine Learning
Instance Based Learning in Machine LearningInstance Based Learning in Machine Learning
Instance Based Learning in Machine Learning
Pavithra Thippanaik
 
Principles of soft computing-Associative memory networks
Principles of soft computing-Associative memory networksPrinciples of soft computing-Associative memory networks
Principles of soft computing-Associative memory networksSivagowry Shathesh
 
Logistic regression
Logistic regressionLogistic regression
Logistic regression
YashwantGahlot1
 
Concept learning and candidate elimination algorithm
Concept learning and candidate elimination algorithmConcept learning and candidate elimination algorithm
Concept learning and candidate elimination algorithm
swapnac12
 
Instance based learning
Instance based learningInstance based learning
Instance based learningSlideshare
 
Back propagation
Back propagationBack propagation
Back propagation
Nagarajan
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th Sem
DigiGurukul
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)
surbhi jha
 
Galois field
Galois fieldGalois field
Galois field
Niaj Morshed
 
ML_Unit_1_Part_B
ML_Unit_1_Part_BML_Unit_1_Part_B
ML_Unit_1_Part_B
Srimatre K
 
Combining inductive and analytical learning
Combining inductive and analytical learningCombining inductive and analytical learning
Combining inductive and analytical learning
swapnac12
 
Gaussian process in machine learning
Gaussian process in machine learningGaussian process in machine learning
Gaussian process in machine learning
VARUN KUMAR
 
Chapter 5 - Fuzzy Logic
Chapter 5 - Fuzzy LogicChapter 5 - Fuzzy Logic
Chapter 5 - Fuzzy Logic
Ashique Rasool
 
Optimization Using Evolutionary Computing Techniques
Optimization Using Evolutionary Computing Techniques Optimization Using Evolutionary Computing Techniques
Optimization Using Evolutionary Computing Techniques
Siksha 'O' Anusandhan (Deemed to be University )
 
Introduction to Statistical Machine Learning
Introduction to Statistical Machine LearningIntroduction to Statistical Machine Learning
Introduction to Statistical Machine Learning
mahutte
 
L7 fuzzy relations
L7 fuzzy relationsL7 fuzzy relations
L7 fuzzy relations
Mohammad Umar Rehman
 

What's hot (20)

lattice
 lattice lattice
lattice
 
Classical Sets & fuzzy sets
Classical Sets & fuzzy setsClassical Sets & fuzzy sets
Classical Sets & fuzzy sets
 
Informed search
Informed searchInformed search
Informed search
 
Defuzzification
DefuzzificationDefuzzification
Defuzzification
 
Instance Based Learning in Machine Learning
Instance Based Learning in Machine LearningInstance Based Learning in Machine Learning
Instance Based Learning in Machine Learning
 
Principles of soft computing-Associative memory networks
Principles of soft computing-Associative memory networksPrinciples of soft computing-Associative memory networks
Principles of soft computing-Associative memory networks
 
Logistic regression
Logistic regressionLogistic regression
Logistic regression
 
Concept learning and candidate elimination algorithm
Concept learning and candidate elimination algorithmConcept learning and candidate elimination algorithm
Concept learning and candidate elimination algorithm
 
Instance based learning
Instance based learningInstance based learning
Instance based learning
 
Back propagation
Back propagationBack propagation
Back propagation
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th Sem
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)
 
Galois field
Galois fieldGalois field
Galois field
 
ML_Unit_1_Part_B
ML_Unit_1_Part_BML_Unit_1_Part_B
ML_Unit_1_Part_B
 
Combining inductive and analytical learning
Combining inductive and analytical learningCombining inductive and analytical learning
Combining inductive and analytical learning
 
Gaussian process in machine learning
Gaussian process in machine learningGaussian process in machine learning
Gaussian process in machine learning
 
Chapter 5 - Fuzzy Logic
Chapter 5 - Fuzzy LogicChapter 5 - Fuzzy Logic
Chapter 5 - Fuzzy Logic
 
Optimization Using Evolutionary Computing Techniques
Optimization Using Evolutionary Computing Techniques Optimization Using Evolutionary Computing Techniques
Optimization Using Evolutionary Computing Techniques
 
Introduction to Statistical Machine Learning
Introduction to Statistical Machine LearningIntroduction to Statistical Machine Learning
Introduction to Statistical Machine Learning
 
L7 fuzzy relations
L7 fuzzy relationsL7 fuzzy relations
L7 fuzzy relations
 

Similar to Fuzzy logic

Logic
LogicLogic
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx
Bongisipho Hlophe
 
Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)
SHUBHAM KUMAR GUPTA
 
Lecture 04
Lecture 04Lecture 04
Heteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptxHeteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptx
DevendraRavindraPati
 
Heteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptxHeteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptx
PatilDevendra5
 
All you Need to Know about Deductive Reasoning
All you Need to Know about Deductive ReasoningAll you Need to Know about Deductive Reasoning
All you Need to Know about Deductive Reasoning
Samantha A. Walters
 
Quantification
QuantificationQuantification
Quantification
Abdur Rehman
 
Polynomials
PolynomialsPolynomials
Polynomials
Shafi1987
 
Econometrics chapter 5-two-variable-regression-interval-estimation-
Econometrics chapter 5-two-variable-regression-interval-estimation-Econometrics chapter 5-two-variable-regression-interval-estimation-
Econometrics chapter 5-two-variable-regression-interval-estimation-
Alamin Milton
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceasimnawaz54
 
Lecture 1.pdf
Lecture 1.pdfLecture 1.pdf
Lecture 1.pdf
test168734
 
PROOF TECHNIQUES
PROOF TECHNIQUESPROOF TECHNIQUES
PROOF TECHNIQUES
Meutiah Nahrisyah
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
MuhammadUmerIhtisham
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
ssuser92109d
 
2016 ANALISIS STATISTIK.ppt
2016 ANALISIS STATISTIK.ppt2016 ANALISIS STATISTIK.ppt
2016 ANALISIS STATISTIK.ppt
YuanAchdaArbinery1
 
Collocations 5
Collocations 5Collocations 5
Collocations 5
Hector Vega
 
DIGITAL TEXT BOOK
DIGITAL TEXT BOOKDIGITAL TEXT BOOK
DIGITAL TEXT BOOKbintu55
 
1Week 3 Section 1.4 Predicates and Quantifiers As.docx
 1Week 3 Section 1.4 Predicates and Quantifiers  As.docx 1Week 3 Section 1.4 Predicates and Quantifiers  As.docx
1Week 3 Section 1.4 Predicates and Quantifiers As.docx
joyjonna282
 
DM(1).pptx
DM(1).pptxDM(1).pptx
DM(1).pptx
PradeeshSAI
 

Similar to Fuzzy logic (20)

Logic
LogicLogic
Logic
 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx
 
Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)
 
Lecture 04
Lecture 04Lecture 04
Lecture 04
 
Heteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptxHeteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptx
 
Heteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptxHeteroscedasticity Remedial Measures.pptx
Heteroscedasticity Remedial Measures.pptx
 
All you Need to Know about Deductive Reasoning
All you Need to Know about Deductive ReasoningAll you Need to Know about Deductive Reasoning
All you Need to Know about Deductive Reasoning
 
Quantification
QuantificationQuantification
Quantification
 
Polynomials
PolynomialsPolynomials
Polynomials
 
Econometrics chapter 5-two-variable-regression-interval-estimation-
Econometrics chapter 5-two-variable-regression-interval-estimation-Econometrics chapter 5-two-variable-regression-interval-estimation-
Econometrics chapter 5-two-variable-regression-interval-estimation-
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inference
 
Lecture 1.pdf
Lecture 1.pdfLecture 1.pdf
Lecture 1.pdf
 
PROOF TECHNIQUES
PROOF TECHNIQUESPROOF TECHNIQUES
PROOF TECHNIQUES
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
 
2016 ANALISIS STATISTIK.ppt
2016 ANALISIS STATISTIK.ppt2016 ANALISIS STATISTIK.ppt
2016 ANALISIS STATISTIK.ppt
 
Collocations 5
Collocations 5Collocations 5
Collocations 5
 
DIGITAL TEXT BOOK
DIGITAL TEXT BOOKDIGITAL TEXT BOOK
DIGITAL TEXT BOOK
 
1Week 3 Section 1.4 Predicates and Quantifiers As.docx
 1Week 3 Section 1.4 Predicates and Quantifiers  As.docx 1Week 3 Section 1.4 Predicates and Quantifiers  As.docx
1Week 3 Section 1.4 Predicates and Quantifiers As.docx
 
DM(1).pptx
DM(1).pptxDM(1).pptx
DM(1).pptx
 

More from KristantoMath

Persamaan Trigonometri Dasar
Persamaan Trigonometri DasarPersamaan Trigonometri Dasar
Persamaan Trigonometri Dasar
KristantoMath
 
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan LinearFungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
KristantoMath
 
Fano’s Geometry
Fano’s GeometryFano’s Geometry
Fano’s Geometry
KristantoMath
 
Developing Computer Assisted Instruction in the Pythagorean Theorem
Developing Computer Assisted Instruction in the Pythagorean TheoremDeveloping Computer Assisted Instruction in the Pythagorean Theorem
Developing Computer Assisted Instruction in the Pythagorean TheoremKristantoMath
 
Problem Solving - Games
Problem Solving - GamesProblem Solving - Games
Problem Solving - GamesKristantoMath
 
Tes kemampuan dasar sains dan teknologi
Tes kemampuan dasar sains dan teknologiTes kemampuan dasar sains dan teknologi
Tes kemampuan dasar sains dan teknologiKristantoMath
 
Menemukan luas lingkaran
Menemukan luas lingkaranMenemukan luas lingkaran
Menemukan luas lingkaranKristantoMath
 
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri Datar
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri DatarModul: Melakukan Operasi Aljabar dengan Pemodelan Geometri Datar
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri DatarKristantoMath
 
LKS: Pengertian Relasi
LKS: Pengertian RelasiLKS: Pengertian Relasi
LKS: Pengertian RelasiKristantoMath
 
Lingkaran: Menemukan Phi
Lingkaran: Menemukan PhiLingkaran: Menemukan Phi
Lingkaran: Menemukan PhiKristantoMath
 

More from KristantoMath (13)

Persamaan Trigonometri Dasar
Persamaan Trigonometri DasarPersamaan Trigonometri Dasar
Persamaan Trigonometri Dasar
 
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan LinearFungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
Fungsi Eksponensial & Logaritma, Barisan & Deret, Sistem Persamaan Linear
 
Fano’s Geometry
Fano’s GeometryFano’s Geometry
Fano’s Geometry
 
Developing Computer Assisted Instruction in the Pythagorean Theorem
Developing Computer Assisted Instruction in the Pythagorean TheoremDeveloping Computer Assisted Instruction in the Pythagorean Theorem
Developing Computer Assisted Instruction in the Pythagorean Theorem
 
Design Research
Design ResearchDesign Research
Design Research
 
Problem Solving - Games
Problem Solving - GamesProblem Solving - Games
Problem Solving - Games
 
Tes kemampuan dasar sains dan teknologi
Tes kemampuan dasar sains dan teknologiTes kemampuan dasar sains dan teknologi
Tes kemampuan dasar sains dan teknologi
 
Menemukan luas lingkaran
Menemukan luas lingkaranMenemukan luas lingkaran
Menemukan luas lingkaran
 
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri Datar
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri DatarModul: Melakukan Operasi Aljabar dengan Pemodelan Geometri Datar
Modul: Melakukan Operasi Aljabar dengan Pemodelan Geometri Datar
 
LKS: Pengertian Relasi
LKS: Pengertian RelasiLKS: Pengertian Relasi
LKS: Pengertian Relasi
 
Analisis Butir Soal
Analisis Butir SoalAnalisis Butir Soal
Analisis Butir Soal
 
Lingkaran: Menemukan Phi
Lingkaran: Menemukan PhiLingkaran: Menemukan Phi
Lingkaran: Menemukan Phi
 
Teorema Pythagoras
Teorema PythagorasTeorema Pythagoras
Teorema Pythagoras
 

Recently uploaded

SCHIZOPHRENIA Disorder/ Brain Disorder.pdf
SCHIZOPHRENIA Disorder/ Brain Disorder.pdfSCHIZOPHRENIA Disorder/ Brain Disorder.pdf
SCHIZOPHRENIA Disorder/ Brain Disorder.pdf
SELF-EXPLANATORY
 
Leaf Initiation, Growth and Differentiation.pdf
Leaf Initiation, Growth and Differentiation.pdfLeaf Initiation, Growth and Differentiation.pdf
Leaf Initiation, Growth and Differentiation.pdf
RenuJangid3
 
RNA INTERFERENCE: UNRAVELING GENETIC SILENCING
RNA INTERFERENCE: UNRAVELING GENETIC SILENCINGRNA INTERFERENCE: UNRAVELING GENETIC SILENCING
RNA INTERFERENCE: UNRAVELING GENETIC SILENCING
AADYARAJPANDEY1
 
general properties of oerganologametal.ppt
general properties of oerganologametal.pptgeneral properties of oerganologametal.ppt
general properties of oerganologametal.ppt
IqrimaNabilatulhusni
 
insect taxonomy importance systematics and classification
insect taxonomy importance systematics and classificationinsect taxonomy importance systematics and classification
insect taxonomy importance systematics and classification
anitaento25
 
Hemostasis_importance& clinical significance.pptx
Hemostasis_importance& clinical significance.pptxHemostasis_importance& clinical significance.pptx
Hemostasis_importance& clinical significance.pptx
muralinath2
 
Lateral Ventricles.pdf very easy good diagrams comprehensive
Lateral Ventricles.pdf very easy good diagrams comprehensiveLateral Ventricles.pdf very easy good diagrams comprehensive
Lateral Ventricles.pdf very easy good diagrams comprehensive
silvermistyshot
 
NuGOweek 2024 Ghent - programme - final version
NuGOweek 2024 Ghent - programme - final versionNuGOweek 2024 Ghent - programme - final version
NuGOweek 2024 Ghent - programme - final version
pablovgd
 
filosofia boliviana introducción jsjdjd.pptx
filosofia boliviana introducción jsjdjd.pptxfilosofia boliviana introducción jsjdjd.pptx
filosofia boliviana introducción jsjdjd.pptx
IvanMallco1
 
Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.
Nistarini College, Purulia (W.B) India
 
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
Sérgio Sacani
 
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
Sérgio Sacani
 
Nutraceutical market, scope and growth: Herbal drug technology
Nutraceutical market, scope and growth: Herbal drug technologyNutraceutical market, scope and growth: Herbal drug technology
Nutraceutical market, scope and growth: Herbal drug technology
Lokesh Patil
 
GBSN- Microbiology (Lab 3) Gram Staining
GBSN- Microbiology (Lab 3) Gram StainingGBSN- Microbiology (Lab 3) Gram Staining
GBSN- Microbiology (Lab 3) Gram Staining
Areesha Ahmad
 
Richard's entangled aventures in wonderland
Richard's entangled aventures in wonderlandRichard's entangled aventures in wonderland
Richard's entangled aventures in wonderland
Richard Gill
 
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATIONPRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
ChetanK57
 
Structures and textures of metamorphic rocks
Structures and textures of metamorphic rocksStructures and textures of metamorphic rocks
Structures and textures of metamorphic rocks
kumarmathi863
 
Comparative structure of adrenal gland in vertebrates
Comparative structure of adrenal gland in vertebratesComparative structure of adrenal gland in vertebrates
Comparative structure of adrenal gland in vertebrates
sachin783648
 
in vitro propagation of plants lecture note.pptx
in vitro propagation of plants lecture note.pptxin vitro propagation of plants lecture note.pptx
in vitro propagation of plants lecture note.pptx
yusufzako14
 
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdfUnveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Erdal Coalmaker
 

Recently uploaded (20)

SCHIZOPHRENIA Disorder/ Brain Disorder.pdf
SCHIZOPHRENIA Disorder/ Brain Disorder.pdfSCHIZOPHRENIA Disorder/ Brain Disorder.pdf
SCHIZOPHRENIA Disorder/ Brain Disorder.pdf
 
Leaf Initiation, Growth and Differentiation.pdf
Leaf Initiation, Growth and Differentiation.pdfLeaf Initiation, Growth and Differentiation.pdf
Leaf Initiation, Growth and Differentiation.pdf
 
RNA INTERFERENCE: UNRAVELING GENETIC SILENCING
RNA INTERFERENCE: UNRAVELING GENETIC SILENCINGRNA INTERFERENCE: UNRAVELING GENETIC SILENCING
RNA INTERFERENCE: UNRAVELING GENETIC SILENCING
 
general properties of oerganologametal.ppt
general properties of oerganologametal.pptgeneral properties of oerganologametal.ppt
general properties of oerganologametal.ppt
 
insect taxonomy importance systematics and classification
insect taxonomy importance systematics and classificationinsect taxonomy importance systematics and classification
insect taxonomy importance systematics and classification
 
Hemostasis_importance& clinical significance.pptx
Hemostasis_importance& clinical significance.pptxHemostasis_importance& clinical significance.pptx
Hemostasis_importance& clinical significance.pptx
 
Lateral Ventricles.pdf very easy good diagrams comprehensive
Lateral Ventricles.pdf very easy good diagrams comprehensiveLateral Ventricles.pdf very easy good diagrams comprehensive
Lateral Ventricles.pdf very easy good diagrams comprehensive
 
NuGOweek 2024 Ghent - programme - final version
NuGOweek 2024 Ghent - programme - final versionNuGOweek 2024 Ghent - programme - final version
NuGOweek 2024 Ghent - programme - final version
 
filosofia boliviana introducción jsjdjd.pptx
filosofia boliviana introducción jsjdjd.pptxfilosofia boliviana introducción jsjdjd.pptx
filosofia boliviana introducción jsjdjd.pptx
 
Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.
 
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.
 
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...
 
Nutraceutical market, scope and growth: Herbal drug technology
Nutraceutical market, scope and growth: Herbal drug technologyNutraceutical market, scope and growth: Herbal drug technology
Nutraceutical market, scope and growth: Herbal drug technology
 
GBSN- Microbiology (Lab 3) Gram Staining
GBSN- Microbiology (Lab 3) Gram StainingGBSN- Microbiology (Lab 3) Gram Staining
GBSN- Microbiology (Lab 3) Gram Staining
 
Richard's entangled aventures in wonderland
Richard's entangled aventures in wonderlandRichard's entangled aventures in wonderland
Richard's entangled aventures in wonderland
 
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATIONPRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION
 
Structures and textures of metamorphic rocks
Structures and textures of metamorphic rocksStructures and textures of metamorphic rocks
Structures and textures of metamorphic rocks
 
Comparative structure of adrenal gland in vertebrates
Comparative structure of adrenal gland in vertebratesComparative structure of adrenal gland in vertebrates
Comparative structure of adrenal gland in vertebrates
 
in vitro propagation of plants lecture note.pptx
in vitro propagation of plants lecture note.pptxin vitro propagation of plants lecture note.pptx
in vitro propagation of plants lecture note.pptx
 
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdfUnveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdf
 

Fuzzy logic

  • 4. CLASSICAL LOGIC Logic is the study of the methods and principles of reasoning in all its possible forms. Classical logic deals with propositions that are required to be either true or false. Each proposition has its opposite, which is usually called an negation of the proposition. A proposition and its negation are required to assume opposite thruth values. One area of logic, referred to as propositional logic, deals with combinations of variables that stand for arbitrary propositions.
  • 5. Two of the many complete sets of primitives have been predominant in propotional logic: (i) negation, conjuction, and disjunction; and (ii) negation and implication. When the variable represented by a logic formula is always true regardless of the truth values assigned to the variables participating in the formulas, it is called a tautology; when it is always false, it is called a contradiction.
  • 6. ISOMORPHISM Set Theory Propositional Logic 𝒫 𝑋 ⋃ ⋂ − 𝑋 ∅ ⊆ ℒ(𝑉), ⋁ ∧ − 1 0 ⇒
  • 7. QUANTIFICATION Existential quantification of a predicate P(𝑥) is expressed by the form ∃𝑥 𝑃 𝑥 = 𝑥 ∈ 𝑋 𝑃(𝑥) Universal quantification of a predicate 𝑃(𝑥) is expressed by the form ∀𝑥 𝑃 𝑥 = 𝑥 𝜖 𝑋 𝑃 𝑥 . Existential and Universal Quantification
  • 9. Propositions about future events are neither actually true not actually false, but potentially either; hence, their truth value is undetermined, at least prior to the event. In order to deal with such propositions, we must relax the true/false dichotomy of classical two-valued logic by allowing a third truth value, which may be called indeterminate. MULTIVALUED LOGICS Partly cloudy
  • 10. Two of three- valued logics𝒂 𝒃 Lukasiewicz Bochvar ∧ ∨ ⟹ ⟺ ∧ ∨ ⟹ ⟺ 0 0 0 0 1 1 0 0 1 1 0 1 2 0 1 2 1 1 2 1 2 1 2 1 2 1 2 0 1 0 1 1 0 0 1 1 0 1 2 0 0 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 0 0 1 0 0 0 1 0 0 1 1 2 1 2 1 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 1 1 1 1 1 1 1 Primitives of some three-valued logics
  • 11. QUASI-TAUTOLOGY AND QUASI- CONTRADICTION We say that a logic formula in a three-valued logic which does not assume the truth value 0 (falsity) regardless of the truth values assigned to its proposition variables is a quasi-tautology. Similarly, we say that a logic formula which does not assume the truth value 1 (truth) is a quasi- contradiction.
  • 12. TRUTH VALUES The set 𝑇𝑛 of truth values of an n-valued logic is thus defined as 𝑇𝑛 = 0 = 0 𝑛 − 1 , 1 𝑛 − 1 , 2 𝑛 − 1 , … , 𝑛 − 2 𝑛 − 1 , 𝑛 − 1 𝑛 − 1 = 1
  • 13. TRUTHVALUE The n-value logics (𝑛 ≥ 2) uses truth values in 𝑇𝑛 and defines the primitives by the following equations: 𝑎 = 1 − 𝑎 𝑎 ∧ 𝑏 = min 𝑎, 𝑏 𝑎 ∨ 𝑏 = max 𝑎, 𝑏 𝑎 ⟹ 𝑏 = min 𝑎, 1 + 𝑏 − 𝑎 𝑎 ⟺ 𝑏 = 1 − 𝑎 − 𝑏
  • 14. INFINITE-VALUE LOGIC Lukasiewicz used only negation and implication as primitives Generally, the term infinite-valued logic is usually used in the literature to indicate the logic whose truth values are represented by all the real numbers in the interval [0, 1]. This is also quite often called the standard Lukasiewicz logic 𝐿1.
  • 16. UNCONDITIONAL ANDUNQUALIFIED PROPOSITION The canonical form of fuzzy propositions of this type, 𝑝, is expressed by sentence 𝑝: 𝒱 is 𝐹 Example: 𝑝: temperatue (𝒱) is high (𝐹). And the membership grade is 𝑇 𝑝 = 𝐹(𝑣)
  • 17. Components of the fuzzy proposistion
  • 18. UNCONDITIONAL AND QUALIFIED PROPOSITIONS 𝑝: 𝒱 is 𝐹 is 𝑆 𝑝: Tina (𝒱) is young (𝐹) is very true (𝑆) 𝑇 𝑝 = 𝑆(𝐹 𝑣 ) 𝑝: Pro 𝒱 is 𝐹 is 𝑃 Pro {𝒱 is 𝐹} = 𝑣𝜖𝑉 𝑓 𝑣 ∙ 𝐹(𝑣) 𝑇 𝑝 = 𝑃 𝑣𝜖𝑉 𝑓 𝑣 ∙ 𝐹(𝑣)
  • 19. EXAMPLE 𝑝: Pro {temperature t (at given place and time) is around 75°F} is likely Pro (t is close to 75°F) = 𝑣𝜖𝑉 𝑓 𝑣 ∙ 𝐹(𝑣) = 0.8 𝑇 𝑝 = 0.95 𝑡 68 69 70 71 72 73 74 75 𝑓(𝑡) .002 .005 .005 .01 .04 .11 .15 .21 𝑡 76 77 78 79 80 81 82 83 𝑓(𝑡) .16 .14 .11 .04 .01 .005 .022 .001
  • 20. CONDITIONAL AND UNQUALIFIEDPROPOSITIONS Propositions 𝑝 of this type are expressed by the canonical form 𝑝: if 𝒳 is A, then 𝒴 is B These propositions may also be viewed as propositions of the form (𝒳,𝒴) is R where 𝑅 𝑥, 𝑦 = 𝒥 𝐴 𝑥 ∙ 𝐵 𝑦 where 𝒥 denotes a binary operation on [0, 1] representing a suitable fuzzy implication.
  • 21. 𝒥 𝑎, 𝑏 = min 1, 1 − 𝑎 + 𝑏 Let 𝐴 = 0.1 𝑥1 + 0.8 𝑥2 + 1 𝑥3 and B = 0.5 𝑦1 + 1 𝑦2. Then 𝑅 = 1 𝑥1, 𝑦1 + 1 𝑥1, 𝑦2 + 0.7 𝑥2, 𝑦1 + 1 𝑥2, 𝑦2 + 0.5 𝑥3, 𝑦1 + 1 𝑥3, 𝑦2
  • 22. CONDITIONALAND QUALIFIEDPROPOSITION Propositions of this type can be characterized by either the canonical form 𝑝: If 𝒳 is 𝐴, then 𝒴 is 𝐵 is S or the canonical form 𝑝: Prop {𝒳 is 𝐴 𝒴 is 𝐵 } is 𝑃
  • 23. FUZZY QUANTIFIERS Fuzzy quantifiers of the first kind are defined on ℝ and characterize linguistic terms such as about 10, much more than 100, at least about 5, and so on. Fuzzy quantifiers of the second kind are defined on [0, 1] and characterize linguistic terms such as almost all, about half, most, and so on.
  • 24. There are two basic forms of propositions that contain fuzzy quantifiers of the first kind. One of them is the form 𝑝: There are 𝑄 i’s in 𝐼 such that 𝒱 𝑖 is 𝐹 Example: There are about 10 students in a given class whose fluency in English is high.
  • 25. Alternatively, we can use 𝑝′: There are 𝑄 E’s where, 𝐸 𝑖 = 𝐹 𝒱 𝑖 Example: There are about 10 high-fluency English-speaking students in a given class.
  • 26. Also, a proposition before can be rewritten as, 𝑝′: 𝒲 is 𝑄 where, 𝒲 = |𝐸| 𝐸 = 𝑖∈𝐼 𝐸 𝑖 = 𝑖∈𝐼 𝐹 𝒱 𝑖 and, 𝑇 𝑝 = 𝑇 𝑝′ = 𝑄 𝐸
  • 27. EXAMPLE 𝑝: There are about three students in 𝑰 whose fluency in English, 𝒱 𝑖 , is high. Assume that 𝐼 = {Adam, Bob, Cathy, David, Eve}, and 𝑉 is a variable with values in the interval [0, 100] that express degrees of fluency in English. And following scores are given: 𝒱(Adam) = 35, 𝒱(Bob) = 20, 𝒱(Cathy) = 80, 𝒱(David) = 95, 𝒱(Eve) = 70. Determine the truth value of the proposition 𝑝.
  • 28.
  • 29. From the graph, we get 𝐸 = 0/Adam + 0/Bob + 0,75/Cathy + 1/David + 0,5/Eve Then, 𝐸 = 𝑖∈𝐼 𝐸 𝑖 = 2,25 Finally, 𝑇 𝑝 = 𝑄 2,25 = 0,625
  • 30. The second basic form of the first kind of fuzzy quantifiers can be expressed as 𝑝: There are 𝑖's in 𝐼 such that 𝒱1 𝑖 is 𝐹1 and 𝒱2 𝑖 is 𝐹2 Example: There are about 10 students in a given class whose fluency in English is high and who are young.
  • 31. The proposition before also can be expressed as, 𝑝′: 𝑄𝐸1’s 𝐸2’s where, 𝐸1 𝑖 = 𝐹1 𝒱1 𝑖 𝐸2 𝑖 = 𝐹2 𝒱2 𝑖 or, 𝑝′: There are 𝑄(𝐸1 and 𝐸2)’s. or 𝑝′: 𝒲 is 𝑄
  • 32. The value 𝒲 and 𝑇 𝑝 can be determined as 𝒲 = 𝑖∈𝐼 min 𝐹1 𝒱1 𝑖 , 𝐹2 𝒱2 𝑖 and, 𝑇 𝑝 = 𝑇 𝑝′ = 𝑄 𝒲
  • 33. FUZZY PROPOSITIONS WITH QUANTIFIERSOF SECOND KIND 𝑝: Among 𝑖's in 𝐼 such that 𝒱1 1 is 𝐹1 there are 𝑄 𝑖's in 𝐼 such that 𝒱2 𝑖 is 𝐹2 Or, 𝑝′: 𝑄𝐸1’s are 𝐸2’s Where, 𝐸1 = 𝐹1 𝒱1 𝑖 𝐸2 = 𝐹2 𝒱2 𝑖 Example: Almost all young students in a given class are students whose fluency in English is high.
  • 34. Proposition before can be written as, 𝑝′: 𝒲 is 𝑄 where, 𝒲 = 𝐸1 ∩ 𝐸2 𝐸1 And we obtain, 𝒲 = 𝑖∈𝐼 min 𝐹1 𝒱1 𝑖 , 𝐹2 𝒱2 𝑖 𝑖∈𝐼 𝐹1 𝒱1 𝑖
  • 36. Hardware implementation of a fuzzy controller COMPUTER ENGINEERING
  • 37. WASHING MACHINE Type_of_dirt Dirtness_of_clothes Linguistic input Fuzzy controller Output Fuzzyfication Fuzzy arithmetic & applying criterion Defuzzyfication Wash_time
  • 38.