Logic of Informatics Rule of Inference Rule of

  • Slides: 12
Download presentation
Logic of Informatics Rule of Inference

Logic of Informatics Rule of Inference

Rule of Inference

Rule of Inference

Question 1 •

Question 1 •

Question 2 •

Question 2 •

Question 3 •

Question 3 •

Question 4 A : I made a B on the test. B : I

Question 4 A : I made a B on the test. B : I made an A on the test. C : I am happy with my test grade. D : I think I will make a good grade in the course. Argument: 1. If I made an B or an A on the test, then I am happy with my test grade. 2. If I am happy with my test grade, then I think I will make a good grade in the course. 3. I do not think I will make a good grade in the course. 4. Therefore I did not make an A on the test.

Question 5 P: I drink coffee. Q: I will get a lot of work

Question 5 P: I drink coffee. Q: I will get a lot of work done. R: I am sleepy. S: I am grumpy. Argument: 1. 2. 3. 4. If I drink coffee, then I will get a lot of work done. If I don’t drink coffee, then I am sleepy. If I am sleepy, then I am grumpy. Therefore if I don’t get a lot of work done, then I am grumpy.

Question 6 Premise #1: If the book is returned within 2 weeks, then there

Question 6 Premise #1: If the book is returned within 2 weeks, then there is no fine. Premise #2: You pay a fine or you may not check out another book. Premise #3: You are allowed to check out another book. • Conclusion: So, the book was not returned within 2 weeks.

Question 7 Premise #1: If this is a good product, then we should buy

Question 7 Premise #1: If this is a good product, then we should buy it. Premise #2: Either it was made by XYZ Corporation, or we will not buy it. Premise #3: It is not made by XYZ Corporation. • Conclusion: So, it is not a good product

Question 8 Premise #1: If Bill is patient, then he will succeed. Premise #2:

Question 8 Premise #1: If Bill is patient, then he will succeed. Premise #2: Bill will get bonus pay if he succeeds. Premise #3: Bill did not get bonus pay. • Conclusion: So, Bill is not patient

Question 9 Premise #1: If Sue drives to work, then she will stop at

Question 9 Premise #1: If Sue drives to work, then she will stop at the grocery store. Premise #2: If she stops at the grocery store, then she’ll buy milk. Premise #3: Sue drove to work today. • Conclusion: So, Sue will get milk.

Question 10 With these hypotheses: 1. 2. 3. 4. “It is not sunny this

Question 10 With these hypotheses: 1. 2. 3. 4. “It is not sunny this afternoon and it is colder than yesterday. ” “We will go shopping only if it is sunny. ” “If we do not go shopping, then we will take a canoe trip. ” “If we take a canoe trip, then we will be home by sunset. ” Using the inference rules, construct a valid argument for the conclusion: “We will be home by sunset. ”

Logic and Logic Programming Logic Propositional Logic FirstLogic and Logic Programming Logic Propositional Logic First
Logic Introduction to Logic What is logic LogicLogic Introduction to Logic What is logic Logic
What is Biomedical Informatics Biomedical Informatics Biomedical informaticsWhat is Biomedical Informatics Biomedical Informatics Biomedical informatics
Exact Inference Inference Basic task for inference ComputeExact Inference Inference Basic task for inference Compute
Chapter 7 Statistical Inference Statistical Inference Statistical inferenceChapter 7 Statistical Inference Statistical Inference Statistical inference
Guided Reading Skills Inference Inference What is InferenceGuided Reading Skills Inference Inference What is Inference
Bayesian Inference Review 42512 Frequentist inference Bayesian inferenceBayesian Inference Review 42512 Frequentist inference Bayesian inference
Fuzzy Inference Systems Fuzzy Inference Systems Fuzzy inferenceFuzzy Inference Systems Fuzzy Inference Systems Fuzzy inference
Year 2 Reading Inference What is inference InferenceYear 2 Reading Inference What is inference Inference
Logic of Informatics Rules of Inference Last LectureLogic of Informatics Rules of Inference Last Lecture
Inference in firstorder logic Outline Reducing firstorder inferenceInference in firstorder logic Outline Reducing firstorder inference