Soft Computing Fuzzy Propositions Prof. Debasis Samanta Department of Computer Science & Engineering IIT Kharagpur

1

Fuzzy Propositions • Two-valued logic vs. Multi-valued logic • Examples of Fuzzy proposition • Fuzzy proposition vs. Crisp proposition • Canonical representation of Fuzzy proposition • Graphical interpretation of Fuzzy proposition

Debasis Samanta CSE IIT Kharagpur

2

Two-valued logic vs. Multi-valued logic • The basic assumption upon which crisp logic is based - that every proposition is either TRUE or FALSE. • The classical two-valued logic can be extended to multi-valued logic. • As an example, three valued logic to denote true(1), false(0) and indeterminacy ( 1/2 ).

Debasis Samanta CSE IIT Kharagpur

3

Two-valued logic vs. Multi-valued logic Different operations with three-valued logic can be extended as shown in the truth table: a b 0

0

0

0

1

1

1

0

½

0

½

1

1

½

0

1

0

1

1

1

0

½

0

0

½

½

½

½

½

½

½

½

½

½

1

½

1

½

1

½

1

½

1

0

0

1

0

0

0

1

½

½

1

0

½

½

1

1

1

1

0

1

1 Debasis Samanta CSE IIT Kharagpur

4

Three-valued logic Fuzzy connectives defined for such a three-valued logic better can be stated as follows: Symbol

Connective

Usage

Definition

NOT OR AND IMPLICATION EQUALITY

Debasis Samanta CSE IIT Kharagpur

5

Fuzzy proposition: Example 1 P: Ram is honest T(P) = 0.0 T(P) = 0.2 T(P) = 0.4 T(P) = 0.6 T(P) = 0.8 T(P) = 1.0

: Absolutely false : Partially false : May be false or not false : May be true or not true : Partially true : Absolutely true.

Debasis Samanta CSE IIT Kharagpur

6

Fuzzy proposition: Example 2

Debasis Samanta CSE IIT Kharagpur

7

Fuzzy proposition: Example 2

Debasis Samanta CSE IIT Kharagpur

8

Fuzzy proposition vs. Crisp proposition • The fundamental difference between crisp (classical) proposition and fuzzy propositions is in the range of their truth values. • While each classical proposition is required to be either true or false, the truth or falsity of fuzzy proposition is a matter of degree. • The degree of truth of each fuzzy proposition is expressed by a value in the interval [0,1] both inclusive. Debasis Samanta CSE IIT Kharagpur

9

Canonical representation of Fuzzy proposition

Debasis Samanta CSE IIT Kharagpur

10

Canonical representation of Fuzzy proposition

Debasis Samanta CSE IIT Kharagpur

11

Graphical interpretation of fuzzy proposition

Debasis Samanta CSE IIT Kharagpur

12

Fuzzy system

Debasis Samanta CSE IIT Kharagpur

13

Thank You!! Debasis Samanta CSE IIT Kharagpur

14

Soft Computing Fuzzy Implication Prof. Debasis Samanta Department of Computer Science & Engineering IIT Kharagpur

1

Fuzzy implications • Fuzzy rule • Examples of fuzzy implications • Interpretation of fuzzy rules • Product operators • Zadeh’s Max-Min rule and some examples

Debasis Samanta CSE IIT Kharagpur

2

Fuzzy rule

Debasis Samanta CSE IIT Kharagpur

3

Fuzzy implication : Example 1

Debasis Samanta CSE IIT Kharagpur

4

Fuzzy implication : Example 2

Debasis Samanta CSE IIT Kharagpur

5

Fuzzy implication : Example 2

Debasis Samanta CSE IIT Kharagpur

6

Interpretation of fuzzy rules

Debasis Samanta CSE IIT Kharagpur

7

Interpretation as A coupled with B

Debasis Samanta CSE IIT Kharagpur

8

Interpretation as A coupled with B

Debasis Samanta CSE IIT Kharagpur

9

Interpretation as A coupled with B

Debasis Samanta CSE IIT Kharagpur

10

Product Operators

Debasis Samanta CSE IIT Kharagpur

11

Interpretation of A entails B

Debasis Samanta CSE IIT Kharagpur

12

Interpretation of A entails B

Debasis Samanta CSE IIT Kharagpur

13

Interpretation of A entails B

Debasis Samanta CSE IIT Kharagpur

14

Example 3: Zadeh’s Max-Min rule

Debasis Samanta CSE IIT Kharagpur

15

Example 3: Zadeh’s Max-Min rule

Debasis Samanta CSE IIT Kharagpur

16

Example 3: Zadeh’s Max-Min rule

Debasis Samanta CSE IIT Kharagpur

17

Example 4:

Debasis Samanta CSE IIT Kharagpur

18

Example 4:

Debasis Samanta CSE IIT Kharagpur

19

Example 4:

Debasis Samanta CSE IIT Kharagpur

20

Example 4:

Debasis Samanta CSE IIT Kharagpur

21

Example 4:

Debasis Samanta CSE IIT Kharagpur

22

Thank You! 23

Soft Computing Fuzzy Inferences Debasis Samanta Department of Computer Science and Engineering IIT KHARAGPUR

Fuzzy inferences

An example from propositional logic

Inferring procedures in Fuzzy logic

Fuzzy inferring procedures

Generalized Modus Ponens : Example

Example: Generalized Modus Ponens

Generalized Modus Ponens

Example. Generalized Modus Ponens

Example. Generalized Modus Ponens

Example. Generalized Modus Tollens

Example. Generalized Modus Tollens

Example. Generalized Modus Tollens

Practical example

Practice

Soft Computing Defuzzyfication Techniques-I Debasis Samanta Department of Computer Science and Engineering IIT KHARAGPUR

1

What is defuzzification?

Debasis Samanta CSE IIT Kharagpur

2

Example 2. Fuzzy to crisp As an another example, let us consider a fuzzy set whose membership function is shown in the following figure.

What is the crisp value of the fuzzy set in this case? Debasis Samanta CSE IIT Kharagpur

3

Example 3. Fuzzy to crisp

Debasis Samanta CSE IIT Kharagpur

4

Why defuzzification?

Debasis Samanta CSE IIT Kharagpur

5

Generic structure of a Fuzzy system Following figure shows a general framework of a fuzzy system.

Debasis Samanta CSE IIT Kharagpur

6

Defuzzification Techniques

Debasis Samanta CSE IIT Kharagpur

7

Defuzzification methods A number of defuzzification methods are known. Such as 1)

Lambda-cut method

2)

Weighted average method

3)

Maxima methods

4)

Centroid methods

Debasis Samanta CSE IIT Kharagpur

8

Lambda-cut method

Debasis Samanta CSE IIT Kharagpur

9

Lambda-cut method Lambda-cut method is applicable to derive crisp value of a fuzzy set or relation. • Lambda-cut method for fuzzy relation The same has been applied to Fuzzy set • Lambda-cut method for fuzzy set

In many literature, Lambda-cut method is also alternatively termed as Alpha-cut method.

Debasis Samanta CSE IIT Kharagpur

10

Lamda-cut method for fuzzy set

Debasis Samanta CSE IIT Kharagpur

11

Lambda-cut for a fuzzy set : Example

Debasis Samanta CSE IIT Kharagpur

12

Lambda-cut sets : Example Two fuzzy sets P and Q are defined on x as follows.

P

0.1

0.2

0.7

0.5

0.4

Q

0.9

0.6

0.3

0.2

0.8

Debasis Samanta CSE IIT Kharagpur

13

Lambda-cut for a fuzzy relation

Debasis Samanta CSE IIT Kharagpur

14

Debasis Samanta CSE IIT Kharagpur

15

Some properties of -cut relations

Debasis Samanta CSE IIT Kharagpur

16

Summary: Lambda-cut methods

Lambda-cut method converts a fuzzy set (or a fuzzy relation) into a crisp set (or relation).

Debasis Samanta CSE IIT Kharagpur

17

Output of a Fuzzy System

Debasis Samanta CSE IIT Kharagpur

18

Output of a fuzzy System

Debasis Samanta CSE IIT Kharagpur

19

Output fuzzy set : Illustration

For instance, let us consider the following:

Debasis Samanta CSE IIT Kharagpur

20

Output fuzzy set : Illustration

Debasis Samanta CSE IIT Kharagpur

21

Output fuzzy set : Illustration

Debasis Samanta CSE IIT Kharagpur

22

Output fuzzy set : Illustration

Debasis Samanta CSE IIT Kharagpur

23

Thank You!! 24

Soft Computing Defuzzyfication Techniques-II Debasis Samanta Department of Computer Science and Engineering IIT KHARAGPUR

Defuzzification Methods

Maxima methods

Maxima method : Height method

Maxima method : FoM

Maxima method : LoM

Maxima method : MoM

MoM : Example 1

MoM : Example 2

Centroid methods

Centroid method : CoG

Centroid method : CoG

CoG : A geometrical method of calculation

CoG: An example of integral method of calculation

CoG: An example of integral method of calculation

CoG: An example of integral method of calculation

Centroid method : CoS

Centroid method : CoS





CoS: Example

CoS: Example

Centroid method: Centre of largest area

Weighted average methods

Weighted average method

Weighted average method

Exercise 1

Exercise 2

Exercise 3

Exercise 4

• •

Exercise 5

Week 2 Lecture Material.pdf

Page 5 of 107. 5. Three-valued logic. Fuzzy connectives defined for such a three-valued logic better can. be stated as follows: Symbol Connective Usage Definition. NOT. OR. AND. IMPLICATION. EQUALITY. Debasis Samanta. CSE. IIT Kharagpur. Page 5 of 107. Week 2 Lecture Material.pdf. Week 2 Lecture Material.pdf.

6MB Sizes 0 Downloads 217 Views

Recommend Documents

Week 3 Lecture Material.pdf
Page 2 of 33. 2. ASIMAVA ROY CHOUDHURY. MECHANICAL ENGINEERING. IIT KHARAGPUR. A cutting tool is susceptible to breakage, dulling and wear. TOOL WEAR AND TOOL LIFE. Rake. surface. Pr. flank. Aux. flank. Page 2 of 33. Page 3 of 33. 3. ASIMAVA ROY CHOU

Week 3 Lecture Material.pdf
Page 2 of 104. 2. Fuzzy Logic Controller. • Applications of Fuzzy logic. • Fuzzy logic controller. • Modules of Fuzzy logic controller. • Approaches to Fuzzy logic controller design. • Mamdani approach. • Takagi and Sugeno's approach. Deb

Week 1 Lecture Material.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Week 1 Lecture Material.pdf. Week 1 Lecture Material.pdf. Open. Extract. Open with. Sign In. Main menu.

WEEK 1 WEEK 2 WEEK 3 - Aspens Services
All Day Breakfast. Meat or Vegetarian. Lasagne ... Apple Pie with custard. Winter Berry Sponge with custard. Chocolate Krispie. WEEK 2. 11th Sept, 2nd Oct, ...

Vegan Week 2
Jan 10, 2017 - Vegetable - Red Pepper - Raw, 0.67 Pepper. 31 .... Peppers, Red Bell, Generic - Peppers, Red, 1 Cup. 60 .... Nuts, pine nuts, dried, 0.25 cup.

Term 2 Week 2.pdf
On Monday mornings we will sing the National Anthem and do birthday announcements and pencils and. for the following days the students will be asked to ...

Week 2.pptx - CS50 CDN
Two Types of Variables: • Local Variables. – Declared inside of a funcion. – Exist only within that funcion. • Global Variables. – Declared outside of all funcfions.

Week 2.pptx - CS50 CDN
Reusability – funcions can be re-‐called! Page 5. Anatomy of a Funcion in C. . (arg1, ..., argn). {. // code goes here. } Page 6 ...

Two Week Lecture and Technical Tour course for CSSI.pdf ...
Two Week Lecture and Technical Tour course for CSSI.pdf. Two Week Lecture and Technical Tour course for CSSI.pdf. Open. Extract. Open with. Sign In.

Econ 712 Lecture 2
where t. G is another Hilbert space. The dimension of this Hilbert space is either 0 or 1. This is so because the Hilbert space t. G must be spanned by the single.

Lecture 2 of 4.pdf
Page 1 of 40. Data Processing with PC-SAS. PubH 6325. J. Michael Oakes, PhD. Associate Professor. Division of Epidemiology. University of Minnesota.

2-TLC-Lecture note.pdf
Page 4 of 8. Page 4 of 8. 2-TLC-Lecture note.pdf. 2-TLC-Lecture note.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying 2-TLC-Lecture note.pdf.

phys570-lecture-2.pdf
Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. phys570-lecture-2.pdf. phys570-lecture-2.pdf. Open. Extract.

EE 396: Lecture 2
Feb 12, 2011 - where I : Ω → R is the observed or measured image, and α > 0. The energy E is a functional that is defined on the class of functions U, which ...

Econ 712 Lecture 2
the natural metric, i.e. notion of length, for a random variable its standard deviation,. ( )2. = E t t x x. (5.1) with covariance as the associated notion of inner product ...

lecture 2: intro to statistics - GitHub
Continuous Variables. - Cumulative probability function. PDF has dimensions of x-1. Expectation value. Moments. Characteristic function generates moments: .... from realized sample, parameters are unknown and described probabilistically. Parameters a

Old Dominion University Lecture 2 - GitHub
Old Dominion University. Department of ... Our Hello World! [user@host ~]$ python .... maxnum = num print("The biggest number is: {}".format(maxnum)) ...

Lecture 2: Measuring Firm Heterogeneity
Oct 23, 2017 - Not a trivial issue: input-output linkages, firm-to-firm trade relationships, etc. • ACF doesn't work in this case. • Recall that mit = m(kit,lit,ωit). • If mit is directly an input factor in gross production function, which var

CSE342/542 -‐ Lecture 2
18. Metric. Formula. Average classifica on accuracy ... Precision: Frac on of retrieved instances that are relevant ... What does the precision score of 1.0 mean?

Week 2 April 27.pdf
Page 1 of 18. EPSOM PRIMARY SCHOOL NEWSLETTER TERM 2 NO 2– 27/04/17. Phone Number: 03 5448 4318 School Fax Number: 03 5448 3334.

Revelation notes week 2 - New Hope Church
11/15/2009 - Week 2 Revelation 1:4-20. Following the Message: 1. vs. 4 – “Who is, who was, and who is to come” is a is a description for us to indicate that He is ...

Term 4 Week 2.pdf
St Joseph's Catholic Church Riverwood. Mass Times: Sat 9am & 6pm (Vigil), Sun 7.30am &. 9.30am, Tues 7.30am, Wed 9.00am, Thurs 7.30am. convent) Fri9.00am (except 1st Fri 12pm). Confession: 5-5.45pm Saturdays. 28-32 Thurlow Street. Riverwood NSW 2210.