Fuzzy Logic.

Slides:



Advertisements
Similar presentations
-- in other words, logic is
Advertisements

The Logic of Quantified Statements
Soft Computing. Per Printz Madsen Section of Automation and Control
Fuzzy Logic The restriction of classical propositional calculus to a two- valued logic has created many interesting paradoxes over the ages. For example,
CLASSICAL LOGIC and FUZZY LOGIC. CLASSICAL LOGIC In classical logic, a simple proposition P is a linguistic, or declarative, statement contained within.
CS344 Artificial Intelligence Prof. Pushpak Bhattacharya Class on 6 Mar 2007.
Fuzzy Expert System Fuzzy Logic
AI TECHNIQUES Fuzzy Logic (Fuzzy System). Fuzzy Logic : An Idea.
Fuzzy Expert System. Basic Notions 1.Fuzzy Sets 2.Fuzzy representation in computer 3.Linguistic variables and hedges 4.Operations of fuzzy sets 5.Fuzzy.
Fuzzy Expert Systems. Lecture Outline What is fuzzy thinking? What is fuzzy thinking? Fuzzy sets Fuzzy sets Linguistic variables and hedges Linguistic.
FUZZY SYSTEMS. Fuzzy Systems Fuzzy Sets – To quantify and reason about fuzzy or vague terms of natural language – Example: hot, cold temperature small,
Intro. ANN & Fuzzy Systems Lecture 30 Fuzzy Set Theory (I)
CPE/CSC 481: Knowledge-Based Systems
Approximate Reasoning 1 Expert Systems Dr. Samy Abu Nasser.
© C. Kemke Approximate Reasoning 1 COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
Exercise Assume four types of fuzzy predicates applicable to persons (age, height, weight, and level of education). Several specific fuzzy predicates.
© Franz J. Kurfess Approximate Reasoning 1 CPE/CSC 481: Knowledge-Based Systems Dr. Franz J. Kurfess Computer Science Department Cal Poly.
Fuzzy Expert System.
1 Pertemuan 21 MEMBERSHIP FUNCTION Matakuliah: H0434/Jaringan Syaraf Tiruan Tahun: 2005 Versi: 1.
1 CPE/CSC 481: Knowledge-Based Systems Dr. Franz J. Kurfess Computer Science Department Cal Poly.
© 2002 Franz J. Kurfess Approximate Reasoning 1 CPE/CSC 481: Knowledge-Based Systems Dr. Franz J. Kurfess Computer Science Department Cal Poly.
Chapter 18 Fuzzy Reasoning.
WELCOME TO THE WORLD OF FUZZY SYSTEMS. DEFINITION Fuzzy logic is a superset of conventional (Boolean) logic that has been extended to handle the concept.
Introduction to Fuzzy Logic Control
FUZZY LOGIC Babu Appat. OVERVIEW What is Fuzzy Logic? Where did it begin? Fuzzy Logic vs. Neural Networks Fuzzy Logic in Control Systems Fuzzy Logic in.
Fuzzy Logic. Lecture Outline Fuzzy Systems Fuzzy Sets Membership Functions Fuzzy Operators Fuzzy Set Characteristics Fuzziness and Probability.
First Order Logic Chapter 7. PL is a Weak Representational Language §Propositional Logic (PL) is not a very expressive language because: §Hard to identify.
Theory and Applications
 Definition Definition  Bit of History Bit of History  Why Fuzzy Logic? Why Fuzzy Logic?  Applications Applications  Fuzzy Logic Operators Fuzzy.
First Order Predicate Calculus Chapter 7. Propositional logic v. FOPC §Propositional calculus deals only with facts l P : I-love-all-dogs l facts are.
Database Management Systems, R. Ramakrishnan1 Relational Calculus Chapter 4.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
1 Asst. Prof. Dr. Sukanya Pongsuparb Dr. Srisupa Palakvangsa Na Ayudhya Dr. Benjarath Pupacdi SCCS451 Artificial Intelligence Week 9.
The Science of Good Reasons
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Logical Systems and Knowledge Representation Fuzzy Logical Systems 1.
Theory and Applications
Today’s Topics Introduction to Proofs Rules of Inference Rules of Equivalence.
Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.
“Principles of Soft Computing, 2 nd Edition” by S.N. Sivanandam & SN Deepa Copyright  2011 Wiley India Pvt. Ltd. All rights reserved. CHAPTER 12 FUZZY.
Fuzzy Inference and Reasoning
For Wednesday Read chapter 9, sections 1-3 Homework: –Chapter 7, exercises 8 and 9.
Propositional Logic Predicate Logic
Basic Concepts of Fuzzy Logic Apparatus of fuzzy logic is built on: Fuzzy sets: describe the value of variables Linguistic variables: qualitatively and.
Predicates and Quantifiers Dr. Yasir Ali. 1.Predicates 2.Quantifiers a.Universal Quantifiers b.Existential Quantifiers 3.Negation of Quantifiers 4.Universal.
Fuzzy Expert System n Introduction n Fuzzy sets n Linguistic variables and hedges n Operations of fuzzy sets n Fuzzy rules n Summary.
2004/9/15fuzzy set theory chap02.ppt1 Classical Logic the forms of correct reasoning - formal logic.
Fuzzy Logic Artificial Intelligence Chapter 9. Outline Crisp Logic Fuzzy Logic Fuzzy Logic Applications Conclusion “traditional logic”: {true,false}
Ch.3 Fuzzy Rules and Fuzzy Reasoning
1 Propositional Proofs 1. Problem 2 Deduction In deduction, the conclusion is true whenever the premises are true.  Premise: p Conclusion: (p ∨ q) 
Artificial Intelligence Knowledge Representation.
Fuzzy Logic 1. Introduction Form of multivalued logic Deals reasoning that is approximate rather than precise The fuzzy logic variables may have a membership.
Fuzzy Relations( 關係 ), Fuzzy Graphs( 圖 形 ), and Fuzzy Arithmetic( 運算 ) Chapter 4.
Chapter 3: Fuzzy Rules & Fuzzy Reasoning Extension Principle & Fuzzy Relations (3.2) Fuzzy if-then Rules(3.3) Fuzzy Reasonning (3.4)
CHAPTER 5 Handling Uncertainty BIC 3337 EXPERT SYSTEM.
Introduction to Fuzzy Logic and Fuzzy Systems
Chapter 8 : Fuzzy Logic.
Fuzzy Expert Systems (part 1) By: H.Nematzadeh
CPE/CSC 481: Knowledge-Based Systems
Fuzzy Logic and Approximate Reasoning
Introduction to Fuzzy Logic
Fuzzy Expert Systems (part 1) By: H.Nematzadeh
CLASSICAL LOGIC and FUZZY LOGIC
FUZZIFICATION AND DEFUZZIFICATION
Mathematics for Computer Science MIT 6.042J/18.062J
Predicates and Quantifiers
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
Dr. Unnikrishnan P.C. Professor, EEE
Habib Ullah qamar Mscs(se)
Presentation transcript:

Fuzzy Logic

Fuzzy Logic Fuzzy logic can be viewed as an extension of multi-valued logic. Fuzzy logic deals with the approximate rather than precise models. Fuzzy logic is a matter of degree.

Basic Differences Between Two Logics In two-valued logic systems, a proposition p is either true or false. In fuzzy logic, the truth values are allowed to range over the fuzzy subsets of a finite or infinite truth value set T. The predicates in two-valued logic are constrained to be crisp. In fuzzy logic, the predicates may be crisp E.g., “mortal”, “even”, etc. They can also be more general E.g., “ill”, “tired”, “tall”, “very tall”, etc.

Basic Difference Between Two Logics (Cont’d) Two-valued logic allows only two quantifiers: “all” and “some”. In fuzzy logic, it allows, in addition, theuse of fuzzy quantifiers: “most”, “few”, “many”, “several”, “much of”, etc. In two-valued logical systems, a p may be quantified by associating with p Truth value, “true” or “false” A modal operator such as “possible” or “necessary” An intensional operator such as “know” or “believe”

Basic Difference Between Two Logics (Cont’d) Fuzzy logic has three principal modes of qualification: Truth-qualification, as in (Mary is young) is not quite true. Probability-qualification, as in (Mary is young) in unlikely. Possibility-qualification, s in (Mary is young) is almost impossible.

Meaning Representation and Inference

Canonical Form

Canonical Form (Example)

Inference Rules Categorical Dispositional Rules that do not contain fuzzy quantifiers Dispositional Rules in which one or more premises may contain, explicitly or implicitly, the fuzzy quantifier “usually”.

Inference Rules (Cont’d)

Inference Rules (Cont’d)

Inference Rules (Cont’d)

Linguistic Variable Definition: A linguistic variable is a variable whose values are words or sentences in a natural or synthetic language. For example: “Age” is a linguistic variable if its values are “young”, a”not young”, and so on. In general, the values of the linguistic variable can be generated from a primary term (for example, “young”), its antonym (“old”), a collection of modifiers (“not”, “very”, “quite”), and the connectives “and” and “or”. Furthermore, each value represents a possibility distribution:

Fuzzy Car by Sugeno

Control Rules

Fuzzy Controllers Fuzzy controllers are modeled according to the human behavior. Fuzzy controllers are simpler, since they have a smaller number of rules. Trade-off between imprecision and simplification.