Implications Adriano Joaquim de O Cruz ©2002 NCE/UFRJ

Slides:



Advertisements
Similar presentations
Numbers Treasure Hunt Following each question, click on the answer. If correct, the next page will load with a graphic first – these can be used to check.
Advertisements

Copyright © Cengage Learning. All rights reserved.
1 Knowledge and reasoning – second part Knowledge representation Logic and representation Propositional (Boolean) logic Normal forms Inference in propositional.
Inference in First-Order Logic
1
Extension Principle Adriano Cruz ©2002 NCE e IM/UFRJ
Implications Adriano Joaquim de O Cruz ©2002 NCE/UFRJ
Feichter_DPG-SYKL03_Bild-01. Feichter_DPG-SYKL03_Bild-02.
© 2008 Pearson Addison Wesley. All rights reserved Chapter Seven Costs.
Copyright © 2003 Pearson Education, Inc. Slide 1 Computer Systems Organization & Architecture Chapters 8-12 John D. Carpinelli.
Chapter 1 The Study of Body Function Image PowerPoint
Copyright © 2011, Elsevier Inc. All rights reserved. Chapter 6 Author: Julia Richards and R. Scott Hawley.
Author: Julia Richards and R. Scott Hawley
1 Copyright © 2013 Elsevier Inc. All rights reserved. Appendix 01.
Properties Use, share, or modify this drill on mathematic properties. There is too much material for a single class, so you’ll have to select for your.
Objectives: Generate and describe sequences. Vocabulary:
UNITED NATIONS Shipment Details Report – January 2006.
1 RA I Sub-Regional Training Seminar on CLIMAT&CLIMAT TEMP Reporting Casablanca, Morocco, 20 – 22 December 2005 Status of observing programmes in RA I.
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Properties of Real Numbers CommutativeAssociativeDistributive Identity + × Inverse + ×
Mean, Median, Mode & Range
FACTORING ax2 + bx + c Think “unfoil” Work down, Show all steps.
Year 6 mental test 10 second questions
1 Discreteness and the Welfare Cost of Labour Supply Tax Distortions Keshab Bhattarai University of Hull and John Whalley Universities of Warwick and Western.
REVIEW: Arthropod ID. 1. Name the subphylum. 2. Name the subphylum. 3. Name the order.
Break Time Remaining 10:00.
Turing Machines.
PP Test Review Sections 6-1 to 6-6
EU market situation for eggs and poultry Management Committee 20 October 2011.
EU Market Situation for Eggs and Poultry Management Committee 21 June 2012.
Bright Futures Guidelines Priorities and Screening Tables
3 Logic The Study of What’s True or False or Somewhere in Between.
2 |SharePoint Saturday New York City
Green Eggs and Ham.
Exarte Bezoek aan de Mediacampus Bachelor in de grafische en digitale media April 2014.
VOORBLAD.
Copyright © 2012, Elsevier Inc. All rights Reserved. 1 Chapter 7 Modeling Structure with Blocks.
1 RA III - Regional Training Seminar on CLIMAT&CLIMAT TEMP Reporting Buenos Aires, Argentina, 25 – 27 October 2006 Status of observing programmes in RA.
Factor P 16 8(8-5ab) 4(d² + 4) 3rs(2r – s) 15cd(1 + 2cd) 8(4a² + 3b²)
Basel-ICU-Journal Challenge18/20/ Basel-ICU-Journal Challenge8/20/2014.
1..
CONTROL VISION Set-up. Step 1 Step 2 Step 3 Step 5 Step 4.
© 2012 National Heart Foundation of Australia. Slide 2.
Understanding Generalist Practice, 5e, Kirst-Ashman/Hull
1 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt Synthetic.
Model and Relationships 6 M 1 M M M M M M M M M M M M M M M M
25 seconds left…...
1 Using one or more of your senses to gather information.
Subtraction: Adding UP
Januar MDMDFSSMDMDFSSS
Analyzing Genes and Genomes
1 Let’s Recapitulate. 2 Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
©Brooks/Cole, 2001 Chapter 12 Derived Types-- Enumerated, Structure and Union.
Essential Cell Biology
Clock will move after 1 minute
Intracellular Compartments and Transport
PSSA Preparation.
Essential Cell Biology
Immunobiology: The Immune System in Health & Disease Sixth Edition
Energy Generation in Mitochondria and Chlorplasts
Murach’s OS/390 and z/OS JCLChapter 16, Slide 1 © 2002, Mike Murach & Associates, Inc.
1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.
1 Decidability continued…. 2 Theorem: For a recursively enumerable language it is undecidable to determine whether is finite Proof: We will reduce the.
Linguistic Descriptions Adriano Joaquim de Oliveira Cruz NCE e IM/UFRJ © 2003.
Presentation transcript:

Implications Adriano Joaquim de O Cruz ©2002 NCE/UFRJ

@2002 Adriano Cruz NCE e IM - UFRJImplicações 2 Implication Logic: –Logical Implication as regarded in mathematical logic. –Material conditional as regarded in philosophical logic. –Semantic entailment between two sets of statements.

@2002 Adriano Cruz NCE e IM - UFRJImplicações 3 Logic Logical implication is a logical relation that holds between a set T of formulas and a formula B when every model (or interpretation or valuation) of T is also a model of B. In symbols, Without using the language of models, the material conditional formed from the conjunction of all the elements of T and B is valid. That is, it is valid that

@2002 Adriano Cruz NCE e IM - UFRJImplicações 4 Definitions A set of sentences logically implies a sentence B if and only if it is impossible that all the members of the set be true while B false. A peculiar feature of logical implication is that a contradiction implies anything and that anything implies a validity.

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

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

@2002 Adriano Cruz NCE e IM - UFRJImplicações 7 Implication - uses Kid, if you mown the grass then I will pay you $ Only one consequence is certain. It is not well defined what will happen if the grass is not mowed. If you do not eat all your broccolis then you will not have dessert. Two consequences are understood. The other one is dessert as a consequence of all broccolis eaten.

@2002 Adriano Cruz NCE e IM - UFRJImplicações 8 Implication - uses Kid, if you mown the grass then I will pay you $ Only one consequence is certain. It is not well defined what will happen if the grass is not mowed. This is the mathematical sense of the implication If the proposition A is true then B is too. Nothing can be said about B when A is false.

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

@2002 Adriano Cruz NCE e IM - UFRJImplicações 10 Implication – Truth table TTT FFT TTF TFF A -> BBA A -> B =(not A) or B A->B=(not A) or (A and B)

@2002 Adriano Cruz NCE e IM - UFRJImplicações 11 Families of Implication Generalization of Material Implication

@2002 Adriano Cruz NCE e IM - UFRJImplicações 12 Families of Implication Propositional Calculus There are over 40 implication relations reported in the literature

@2002 Adriano Cruz NCE e IM - UFRJImplicações 13 Interpretations of Implication A -> B as A entails B Entailment is a relation between sets of formulae such that, if A and B are sets of formulae of a formal language, then A entails B if and only if every model (or interpretation) that makes all the members of A true, makes at least one of the members of B true. Entailment differs from implication, where the truth of one (A) suggests the truth of the other (B), but does not require it.

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

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

@2002 Adriano Cruz NCE e IM - UFRJImplicações 16 Implication Relation Implication can be described as a relation The relation is defined by the T-norm

Inference

@2002 Adriano Cruz NCE e IM - UFRJImplicações 18 Inference Fuzzy inference refers to computational procedures used for evaluating fuzzy rules of the form if x is A then y is B There are two important inferencing procedures –Generalized modus ponens (GMP) - mode that affirms –Generalized modus tollens (GMT) – mode that denies

@2002 Adriano Cruz NCE e IM - UFRJImplicações 19 Modus Ponens If x is A then y is B We know that x is A then we can infer that y is B All men are mortal All men are mortal (rule) Socrates is a man (this is true) So Socrates is mortal (as a consequence) (A and (A -> B)) -> B

@2002 Adriano Cruz NCE e IM - UFRJImplicações 20 Fuzzy Modus Ponens If x is A then y is B We know that x is A then we can infer that y is B Tall men are heavy (rule) John is tall (this is true) So John is heavy (as a consequence) (A and (A -> B)) -> B

@2002 Adriano Cruz NCE e IM - UFRJImplicações 21 Fuzzy Modus Ponens proof - I

@2002 Adriano Cruz NCE e IM - UFRJImplicações 22 Fuzzy Modus Ponens proof - II

@2002 Adriano Cruz NCE e IM - UFRJImplicações 23 Modus Tollens If x is A then y is B We know that y is not B then we can infer that x is not A All murderers owns axes (rule) John does not own an axe (this is true) So John is not a murderer (as a consequence) (not B and (A -> B)) -> not A

@2002 Adriano Cruz NCE e IM - UFRJImplicações 24 Fuzzy Modus Tollens If x is A then y is B We know that y is not B then we can infer that x is not A All rainy days are cloudy (rule) Today is not cloudy (this is true) So Today is not raining (as a consequence) (not B and (A -> B)) -> not A

@2002 Adriano Cruz NCE e IM - UFRJImplicações 25 Fuzzy Modus Tollens proof ?

@2002 Adriano Cruz NCE e IM - UFRJImplicações 26 Reasoning Methods Backward Chaining: the reasoning engine is presented with a goal and asked to find all the relevant, supporting processes that lead to this goal. Forward Chaining: data is collected and and a sustainable problem state and, eventually a solution state is built. Fuzzy Reasoning: rules are run in parallel. Every rule contributes to the final shape of the consequent solution. When all rules are evaluated the resulting fuzzy sets are defuzzified.

@2002 Adriano Cruz NCE e IM - UFRJImplicações 27 How to find the consequent If x is A then y is B This rule is a relation R(x,y) If x is A, we want to know whether y is B B= A R(x,y) B (y)= x [ A (x) R (x,y)]

@2002 Adriano Cruz NCE e IM - UFRJImplicações 28 Example Consider the fuzzy set A and the fuzzy set B u A (3) uB(y)uB(y)

@2002 Adriano Cruz NCE e IM - UFRJImplicações 29 Example 1

@2002 Adriano Cruz NCE e IM - UFRJImplicações 30 Example 2 We will use the Mamdani implication function

@2002 Adriano Cruz NCE e IM - UFRJImplicações 31 Example 3

@2002 Adriano Cruz NCE e IM - UFRJImplicações 32 Example 4 Consider the rule if x is A then y is B Consider the statement x is A, what is the conclusion? u A (4)=

@2002 Adriano Cruz NCE e IM - UFRJImplicações 33 Example u A (3) uB(y)uB(y) u A (4)=

@2002 Adriano Cruz NCE e IM - UFRJImplicações 34 Example 6

@2002 Adriano Cruz NCE e IM - UFRJImplicações 35 Example 7 B(y i )=A(x i )oR(x i,y i )

@2002 Adriano Cruz NCE e IM - UFRJImplicações 36 Example uB(y)uB(y) uB(y)uB(y)