19-08-05Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture 8 - 19/08/05 Prof. Pushpak Bhattacharyya Fuzzy Logic Application.

Slides:



Advertisements
Similar presentations
CS344: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 15, 16: Perceptrons and their computing power 6 th and.
Advertisements

CS344: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 10– Club and Circuit Examples.
Lecture 4 Fuzzy expert systems: Fuzzy logic
CS344 : Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 9,10,11- Logic; Deduction Theorem 23/1/09 to 30/1/09.
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12- Completeness Proof; Self References and Paradoxes 16 th August,
CS344: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 7– Predicate Calculus and Knowledge Representation.
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 11– Fuzzy Logic: Inferencing.
CS621: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–3: Some proofs in Fuzzy Sets and Fuzzy Logic 27 th July.
Chapter 14.7 Russell & Norvig. Fuzzy Sets  Rules of thumb frequently stated in “fuzzy” linguistic terms. John is tall. If someone is tall and well-built.
CS344 Artificial Intelligence Prof. Pushpak Bhattacharya Class on 6 Mar 2007.
Fuzzy Expert System Fuzzy Logic
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.
Final Exam: May 10 Thursday. If event E occurs, then the probability that event H will occur is p ( H | E ) IF E ( evidence ) is true THEN H ( hypothesis.
FUZZY SYSTEMS. Fuzzy Systems Fuzzy Sets – To quantify and reason about fuzzy or vague terms of natural language – Example: hot, cold temperature small,
Fuzzy Logic E. Fuzzy Inference Engine. “antecedent” “consequent”
Exercise Assume four types of fuzzy predicates applicable to persons (age, height, weight, and level of education). Several specific fuzzy predicates.
Fuzzy Logic E. Fuzzy Inference Engine. “antecedent” “consequent”
Chapter 18 Fuzzy Reasoning.
1 Chapter 18 Fuzzy Reasoning. 2 Chapter 18 Contents (1) l Bivalent and Multivalent Logics l Linguistic Variables l Fuzzy Sets l Membership Functions l.
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 21– Predicate Calculus and Knowledge Representation 7 th September,
CS621: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–4: Fuzzy Inferencing 29 th July 2010.
9/3/2015Intelligent Systems and Soft Computing1 Lecture 4 Fuzzy expert systems: Fuzzy logic Introduction, or what is fuzzy thinking? Introduction, or what.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–2: Fuzzy Logic and Inferencing.
CS621: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–1: Introduction 22 nd July 2010.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 17, 18: Predicate Calculus 15.
Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture /10/05 Prof. Pushpak Bhattacharyya Linear Separability,
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 19: Interpretation in Predicate.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 30: Perceptron training convergence;
Prof. Pushpak Bhattacharyya, IIT Bombay1 Basics Of Entropy CS 621 Artificial Intelligence Lecture /09/05 Prof. Pushpak Bhattacharyya.
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 30 Uncertainty, Fuizziness.
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12- Completeness Proof; Self References and Paradoxes 16 th August,
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 15, 16: Predicate Calculus 8.
Logical Systems and Knowledge Representation Fuzzy Logical Systems 1.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–4: Fuzzy Control of Inverted.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–3: Fuzzy Inferencing: Inverted.
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 38: Fuzzy Logic.
Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture /08/05 Prof. Pushpak Bhattacharyya Fuzzy Set (contd) Fuzzy.
Basic Concepts of Fuzzy Logic Apparatus of fuzzy logic is built on: Fuzzy sets: describe the value of variables Linguistic variables: qualitatively and.
CS460/IT632 Natural Language Processing/Language Technology for the Web Lecture 6 (14/02/06) Prof. Pushpak Bhattacharyya IIT Bombay Top-Down and Bottom-Up.
Fuzzy Expert System n Introduction n Fuzzy sets n Linguistic variables and hedges n Operations of fuzzy sets n Fuzzy rules n Summary.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: AI, Logic, and Puzzle Solving.
Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture 5 – 08/08/05 Prof. Pushpak Bhattacharyya FUZZY LOGIC & INFERENCING.
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 35–Himalayan Club example; introducing Prolog.
Forward and Backward Chaining
Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture 16 – 09/09/05 Prof. Pushpak Bhattacharyya Soundness, Completeness,
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 32 Fuzzy Expert System.
CS 344 Artificial Intelligence By Prof: Pushpak Bhattacharya Class on 26/Feb/2007.
Prof. Pushpak Bhattacharyya, IIT Bombay1 CS 621 Artificial Intelligence Lecture /08/05 Prof. Pushpak Bhattacharyya Fuzzy Inferencing.
CS344 : Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 4- Logic.
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–6: Propositional calculus, Semantic Tableau, formal System 2 nd August,
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 10– Uncertainty: Fuzzy Logic.
CS344 : Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 5- Deduction Theorem.
CS621: Artificial Intelligence
Artificial Intelligence CIS 342
CS621: Introduction to Artificial Intelligence
Fuzzy System Structure
CS62S: Expert Systems Based on:
CS621: Artificial Intelligence
CS 621 Artificial Intelligence Lecture 4 – 05/08/05
CS344 : Introduction to Artificial Intelligence
Fuzzy Inferencing – Inverted Pendulum Problem
CS621: Artificial Intelligence
ARTIFICIAL INTELLIGENCE
CS621: Artificial Intelligence
CS621: Artificial Intelligence
Prof. Pushpak Bhattacharyya, IIT Bombay
Artificial Intelligence
CS 621 Artificial Intelligence Lecture /09/05 Prof
Presentation transcript:

Prof. Pushpak Bhattacharyya, IIT Bombay 1 CS 621 Artificial Intelligence Lecture /08/05 Prof. Pushpak Bhattacharyya Fuzzy Logic Application

Prof. Pushpak Bhattacharyya, IIT Bombay 2 NLP -> Fuzzy Logic Language statements imprecise Linguistic variable -> Adjective Hedges -> Adverb

Prof. Pushpak Bhattacharyya, IIT Bombay 3 Example Problem Assume 4 types of Fuzzy Predicates applicable to persons (age, height, weight and level of education). The membership functions are of the basic form 1/(1+e -x ), but of appropriate shape and orientation.

Prof. Pushpak Bhattacharyya, IIT Bombay 4 Example (Contd 1) Determine the truth values of : a) A person X is highly educated and not very young is very true. b) X is very young, tall, not heavy and somewhat educated is true c) X is more of less old or highly educated is fairly true

Prof. Pushpak Bhattacharyya, IIT Bombay 5 Example (Contd 2) d) X is very heavy or old or not highly educated is fairly true e) X is short, not very young and highly educated is very true ( assume that the level of education has 4 values: Elementary school, High school, College, PHD)

Prof. Pushpak Bhattacharyya, IIT Bombay 6 Basic Profile

Prof. Pushpak Bhattacharyya, IIT Bombay 7 To Adjust For Different Linguistic Variables

Prof. Pushpak Bhattacharyya, IIT Bombay 8 To Find k 1 and k 2 we need, x 1 = 0 y 1 = 0.01 x 2 = ? y 2 = 0.99

Prof. Pushpak Bhattacharyya, IIT Bombay 9 y = 1/(1+e -k 1 (x-k 2 ) ) => (1-y)/y = e -k 1 (x-k 2 ) => k 1 (x - k 2 ) = ln(y/1-y) call y/1-y = α Finding α

Prof. Pushpak Bhattacharyya, IIT Bombay 10 Solving for k 1 & k 2 k 1 (x-k 2 ) = ln α So, k 1 x – k 1 k 2 = ln α at k 1 x 1 – k 1 k 2 = ln α (1) where α 1 = y 1 /1-y 1

Prof. Pushpak Bhattacharyya, IIT Bombay 11 Solving for k 1 & k 2 (Contd 1) k 1 x 2 - k 1 k 2 = ln α 2 ---(2) α 2 = y 2 / 1- y 2 Solving from k 1 and k 2 k 1 = (1/(x 2 - x 1 ) ) ln ( ((1-y 1 )/y 1 )/((1-y 2 )/y 2 ))

Prof. Pushpak Bhattacharyya, IIT Bombay 12 Solving for k 1 & k 2 (Contd 2) k 2 = x 2 – (ln α 2 ) / k 1 Lets use x 1 = 0, y 1 = 0.01, x 2 =?, y 2 = 0.99 k 1 = 2/x 2 ln 99 = 2* 4.6 / x 2 = 9.2 /x 2

Prof. Pushpak Bhattacharyya, IIT Bombay 13 Solving for k 1 & k 2 (Contd 3) k 2 = x 2 /2 k 1 = 9.2 / x 2 k 2 = x 2 / 2

Prof. Pushpak Bhattacharyya, IIT Bombay 14 Profile of Old x 1 = 0, y 1 = 0.01 x 2 = 80 yrs y 2 = 0.99 k 1 = 9.2 / 80 = 0.1 k 2 = 40 Profile of old y = 1/(1+e - 0.1(x - 40) )

Prof. Pushpak Bhattacharyya, IIT Bombay 15 Profile of Tall x 1 = 0, y 1 = 0.01 x 2 =6ft, y 2 = 0.99 k 1 = 9.2 / 6 = 1.5 k 2 = 6/2 = 3 Profile of Tall, y = 1/(1+e -1.5(x - 3) )

Prof. Pushpak Bhattacharyya, IIT Bombay 16 Profile of Heavy x 1 = 0, y 1 = 0.01 x 2 = 100kg yrs, y 2 = 0.99 k 1 = 9.2 / 100 = 0.1 k 2 = 100/2 = 50 Profile of Heavy, y = 1/(1+e - 0.1(x - 50) )

Prof. Pushpak Bhattacharyya, IIT Bombay 17 Profile of Educated school = 0.25, high School = 0.5, college 0.75, PhD = 1.00 x 1 = 0, y 1 = 0.01, x 2 =1 yrs, y 2 = 0.99 Profile: y = 1/(1+e (x – 0.5 ) )

Prof. Pushpak Bhattacharyya, IIT Bombay 18 Old Tall Heavy Educated 1/(1+e -k 1 (x-k 2 ) )

Prof. Pushpak Bhattacharyya, IIT Bombay 19 True y = 1/(1+e -k 1 (x-k 2 ) ) k 1 and k 2 values are chosen arbitrarily

Prof. Pushpak Bhattacharyya, IIT Bombay 20 a) X is highly educated and not very young is very true l = Level of education μ 2 true (μ) μ = min [μ 2 educated (l), 1- ( 1- μ old (age) ) ) 2 μ for Different Configurations - 1

Prof. Pushpak Bhattacharyya, IIT Bombay 21 μ for Different Configurations - 2 b) X is very young, tall, not heavy and somewhat educated is true μ true (μ) μ = min ( ( 1 - μ old (age)) 2, μ tall (ht), 1- μ heavy (wt), (μ edu (L) ) 1/2 )

Prof. Pushpak Bhattacharyya, IIT Bombay 22 μ for Different Configurations - 3 c) X is more or less old or highly educated is fairly true (μ true (μ ) ) 1.5 μ = max ( (μ old (age)) 1/2, μ 2 edu (l))

Prof. Pushpak Bhattacharyya, IIT Bombay 23 μ for Different Configurations - 4 d) X is very heavy or old or not highly educated is fairly true (μ true (μ) ) 1.5 μ = max (μ old (age), μ 2 heavy (wt ), 1 - μ 2 edu (l))

Prof. Pushpak Bhattacharyya, IIT Bombay 24 μ for Different Configurations - 5 e) X is short, not very young and highly educated is very true μ 2 true (μ) μ = min [1 – (1 - μ old (age)) 2, μ 2 edu (l), 1 - μ tall (ht) ]

Prof. Pushpak Bhattacharyya, IIT Bombay 25 Question : How to actually read off values John: age: 35 ht : 5.8’ wt : 75 Kg education l : College

Prof. Pushpak Bhattacharyya, IIT Bombay 26

Prof. Pushpak Bhattacharyya, IIT Bombay 27 Fuzzy Inferencing Closely related to Fuzzy Expert Systems Expert Systems: Rules : Antecedent Consequent p q p 1  p 2  p 3  …. P n q i

Prof. Pushpak Bhattacharyya, IIT Bombay 28 Inferencing Forward ChainingBackward Chaining Supposed to prove the fact F Inferencing

Prof. Pushpak Bhattacharyya, IIT Bombay 29 Forward Chaining ( Data Driven) Given Facts are matched with LHS of rules RHS of satisfied rules are added to the fact base Stop when the required F comes to the fact base.

Prof. Pushpak Bhattacharyya, IIT Bombay 30 Backward Chaining ( Goal Driven) Start from F to see if it matches the RHS of any rule. LHS of matched Rule becomes the new goal. Stop when a fact is hit.

Prof. Pushpak Bhattacharyya, IIT Bombay 31 Fuzzy Expert System Rules are in forms of linguistic variables. Example of “Inverted pendulum control”