Download presentation

Presentation is loading. Please wait.

Published byAiden Schmitt Modified over 4 years ago

1
Implications Adriano Joaquim de O Cruz ©2002 NCE/UFRJ adriano@nce.ufrj.br

2
@2002 Adriano Cruz NCE e IM - UFRJRelações 2 Implication n If x A then y B. n P is a proposition described by the set A n Q is a proposition described by the set B n P Q: If x A then y B n P implies Q

3
@2002 Adriano Cruz NCE e IM - UFRJRelações 3 Implication n An implication is a logical construction that tell us if one condition is true, then another condition must also be true. n Implication is not if and only if. n Implication P -> Q is true even if only Q is true. n Elephants can fly, therefore it is hot today. n This statement is true if it is hot today.

4
@2002 Adriano Cruz NCE e IM - UFRJRelações 4 Implication – Truth table ABA -> B FFT FTT TFF TTT

5
@2002 Adriano Cruz NCE e IM - UFRJRelações 5 Implication n If I am elected I will decrease taxes n I was not elected, I did not decrease taxes n I was not elected, I did decrease taxes n I was elected, I did not decrease taxes n I was elected, I did decrease taxes

6
@2002 Adriano Cruz NCE e IM - UFRJRelações 6 Implication Relation n Implication can be described as a relation

7
@2002 Adriano Cruz NCE e IM - UFRJRelações 7 Interpretations of Implication n There are two ways to interpret the fuzzy rule if … then … else n First: A -> B as A coupled with B n Where T is a T-norm operator

8
@2002 Adriano Cruz NCE e IM - UFRJRelações 8 A coupled with B n Commonly used T-norms are: n Mamdani: n Larson n Bounded Product

9
@2002 Adriano Cruz NCE e IM - UFRJRelações 9 Interpretations of Implication n Second: A -> B as A entails B n Where entails can be represented in different ways

10
@2002 Adriano Cruz NCE e IM - UFRJRelações 10 Families of Implication n Generalization of Material Implication

11
@2002 Adriano Cruz NCE e IM - UFRJRelações 11 Families of Implication n Propositional Calculus

12
@2002 Adriano Cruz NCE e IM - UFRJRelações 12 Families of Implication n Generalization of Modus Ponens n Goguen n Godel

13
@2002 Adriano Cruz NCE e IM - UFRJRelações 13 Implications n If x is A then y is B n This rules is an implication R(x,y) n If x is A, we want to know whether y is B n B= A R(x,y) n B (y)= x [ A (x) R (x,y)]

14
@2002 Adriano Cruz NCE e IM - UFRJRelações 14 Example 12345678910 u A (3) 12345678910 uB(y)uB(y) 123456789 u A (4)=1.0 0.5 1.0 0.33 0.67 1.00

15
@2002 Adriano Cruz NCE e IM - UFRJRelações 15 Example

16
@2002 Adriano Cruz NCE e IM - UFRJRelações 16 Example n We will use the Mamdani implication function

17
@2002 Adriano Cruz NCE e IM - UFRJRelações 17 Example n B(y i )=A(x i )oR(x i,y i )

18
@2002 Adriano Cruz NCE e IM - UFRJRelações 18 Example 12345678910 uB(y)uB(y) 0.33 0.67 1.00 12345678910 uB(y)uB(y) 0.33 0.50

Similar presentations

OK

How do I show that two compound propositions are logically equivalent?

How do I show that two compound propositions are logically equivalent?

© 2018 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google

Ppt on data transmission by laser Ppt on computer tips and tricks Ppt on k-means clustering algorithm Ppt on professional development plan Ppt on interest rate swaps Ppt on tunnel diode manufacturers Ppt on earth hour 2015 Ppt on cse related topics about computer Ppt on pricing policy in economics Ppt on hydro power plant in india