What Is On The Final. Review. What Is Not On The Final. What Might Be On The Final

Size: px
Start display at page:

Download "What Is On The Final. Review. What Is Not On The Final. What Might Be On The Final"

Transcription

1 What Is On he inal Review Everything that has important! written next to it on the slides Everything that I said was important ECE457 Applied Artificial Intelligence all 27 ecture #14 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 2 What Might Be On he inal Anything in the slides Except What Is Not On he inal Anything in the required readings in the textbook What Is Not On he inal Examples of real applications Dune II raveling-wave tube IBM Deep Blue Pathfinder network Weighted Naïve Bayes Classifier Helicopter flight control Neural network pixel classifier uzzy robot navigation WordNet Additional material on website Writing/debugging code ECE457 Applied Artificial Intelligence R. Khoury (27) Page 3 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 4 1

2 Practice Material Examples and exercises in slides Problems at the end of each chapter in the textbook Material Allowed at the Exam Pen or pencil, eraser, calculator Not allowed: Books, notes Phones, blackberries, laptops, PDAs, ipods, iphones, ianything, computers built into glasses like in Mission Impossible, or anything else electronic alking to other students, writing notes, sign language, smoke signals, semaphores Cheating in general ECE457 Applied Artificial Intelligence R. Khoury (27) Page 5 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 6 ecture 1: Introduction to AI ypes of agents Properties of the environment ecture 1: Introduction to AI Define the properties of the environment for these problems: Robot soccer Internet shopping (without ebay-style bidding) Autonomous Mars rover heorem-solving assistant to a mathematician ECE457 Applied Artificial Intelligence R. Khoury (27) Page 7 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 8 2

3 ecture 2: Uninformed earch Well-defined problem Properties of search algorithms Uninformed search Breath-first search Uniform-cost search Depth-first search Depth-limited search Iterative deepening search Repeated states ECE457 Applied Artificial Intelligence R. Khoury (27) Page 9 ecture 2: Uninformed earch You have a search tree with a branching factor of b and a maximum depth of m. he depth of the shallowest goal node is d. You are considering searching the tree using either a depth-first search agent or a breathfirst search agent. Which one will have the best space complexity? Explain. ECE457 Applied Artificial Intelligence R. Khoury (27) Page 1 ecture 2: Uninformed earch You have a search tree with a branching factor of b and a maximum depth of m. he depth of the shallowest goal node is d. You are considering searching the tree using either a depth-first search agent or a breathfirst search agent. Which one will have the best time complexity? Explain. ecture 2: Uninformed earch A 3-foot-tall monkey is in a room where some bananas are suspended from the 8-foot-high ceiling. He would like to get the bananas as quickly as possible. he room contains two stackable, movable climbable 3-foot-high crates. Write this situation as a well-defined problem. ECE457 Applied Artificial Intelligence R. Khoury (27) Page 11 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 12 3

4 ecture 2: Uninformed earch Initial state Action Goal test Cost ecture 3: Informed earch Informed search Greedy best-first search A* search Heuristic functions Iterative improvement Hill Climbing imulated Annealing ECE457 Applied Artificial Intelligence R. Khoury (27) Page 13 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 14 ecture 3: Informed earch Given the following tree, find the optimal path to the goal G using A* search. he value of the heuristic h is specified for each node. he costs of the edges are specified on the tree. Assume that children of a node are placed into the list in a left-to-right order, and that nodes of equal priority are extracted (for expansion) from the list in IO order. Write a number inside the node indicating the order in which the nodes are expanded from the start node, i.e. 1, 2,. or each node generated, write the total cost f in the appropriate location on the graph. ecture 3: Informed earch ind the optimal path to the goal G using A* search, specifying the order in which nodes are expanded and the f-value of all generated nodes. ECE457 Applied Artificial Intelligence R. Khoury (27) Page 15 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 16 4

5 ecture 4: CP ecture 4: Constraint atisfaction Problems Constraints Defining a CP CP search Backtracking search Conflict-directed backjumping Heuristics orward checking AC-3 algorithm C A E Using the most-constrained-variable CP heuristic, colour the adjacent map using the colours Blue, Red and Green. how your reasoning at each step of the algorithm. Proceed in the following manner: After assigning a colour to a region, and before choosing the next region to colour, apply the forward checking algorithm and show its results. hen choose the next region to colour using the B most-constrained-variable heuristic, etc. At each step, show the domains of each region and justify the choice of the next region to colour. ECE457 Applied Artificial Intelligence R. Khoury (27) Page 17 ECE457 DApplied Artificial Intelligence R. Khoury (27) Page 18 A ecture 4: CP B Variables marked * have been assigned A* = {Green} B* = {Red} C = {Red, Blue, Green} D = {Red, Blue, Green} E = {Red, Blue, Green} = {Red, Blue, Green} ecture 5: Game Playing Payoff functions Minimax algorithm Alpha-Beta pruning Non-quiescent positions & horizon effect Expectiminimax C E ECE457 DApplied Artificial Intelligence R. Khoury (27) Page 19 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 2 5

6 ecture 5: Game Playing Consider the following game tree. he payoff value of each leaf is written under that node. Apply the Minimax algorithm to obtain the value of each non-leaf node. Apply Alpha-Beta Pruning to the game tree. ind which nodes will be pruned. or each one, identify and explain the value of alpha and beta to show why it is pruned. ecture 5: Game Playing MAX MIN A B H MAX C I D E G H J K M N A B C H I ECE457 Applied Artificial Intelligence R. Khoury (27) Page 21 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 22 ecture 6: ogical Agents anguage, syntax, semantics Propositional logic Propositional symbols and logical connectives Inference with truth tables Inference with Resolution Conversion to CN Inference with Modus Ponens Horn clauses orward chaining Backward chaining ECE457 Applied Artificial Intelligence R. Khoury (27) Page 23 ecture 7: irst-order ogic irst-order ogic Constants, predicates, functions Universal and existential quantifiers Converting English sentences Inference with propositionalization Inference with Generalized Modus Ponens Unification algorithm Inference with Resolution Conversion to CN ECE457 Applied Artificial Intelligence R. Khoury (27) Page 24 6

7 ecture 7: irst-order ogic Represent the following sentences in O using: ake(s,c,t), Pass(s,c,t), core(s,c,t), tudent(s), rench, Greek, pring21 ome students took rench in spring 21 Every student who takes rench passes it ecture 7: irst-order ogic Convert this O sentences to Conjunctive Normal orm. how all steps of the conversion. x [ y (y) G(x,y)] y G(y,x) Only one student took Greek in pring 21 he best score in Greek is always higher than the best score in rench ECE457 Applied Artificial Intelligence R. Khoury (27) Page 25 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 26 ecture 7: irst-order ogic ind the most general unifier, if it exists. p = (A,B,B) q = (x,y,z) p = (y,g(a,b)) q = (G(x,x),y) p = (G(y),y) q = (G(x),A) ecture 7: irst-order ogic Given the following KB: aster(x,y) aster(y,z) aster(x,z) Pig(x) lug(y) aster(x,y) Buffalo(x) Pig(y) aster(x,y) lug(limm) Pig(Pat) Buffalo(Bill) Is Bill faster than limm, using forward chaining p = (G(y),y) q = (x,x) ECE457 Applied Artificial Intelligence R. Khoury (27) Page 27 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 28 7

8 ecture 7: irst-order ogic Given the following KB: limy(x) Creepy(x) lug(x) Pig(x) lug(y) aster(x,y) limy(limm) Creepy(limm) Pig(Pat) Is Pat faster than limm, using backward chaining Given the following KB: Person(Marcus) Pompeian(Marcus) Ruler(Caesar) Assasinate(Marcus, Caesar) ecture 7: irst-order ogic Pompeian(x1) Roman(x1) Roman(x2) oyal(x2,caesar) Hate(x2, Caesar) Person(x3) Ruler (x4) Assasinate(x3, x4) oyal(x3,x4) Does Marcus hate Caesar, using resolution ECE457 Applied Artificial Intelligence R. Khoury (27) Page 29 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 3 ecture 8: Uncertainty Marginalization Bayes heorem Chain rule Independence and conditional independence Naïve Bayes Classifier ecture 8: Uncertainty You tested positive for a disease. he test s results are accurate 99% of the time. However, the disease only strikes 1 out of 1 people. What s the probability that you have the disease? ECE457 Applied Artificial Intelligence R. Khoury (27) Page 31 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 32 8

9 ecture 8: Uncertainty Given the following police data, create a Naïve Bayes Classifier for stolen cars, and compute the probability that a domestic red UV is stolen. C Red Red Red Yellow Yellow Yellow Yellow Yellow Red ports ports ports ports ports UV UV UV UV O Domestic Domestic Domestic Domestic Imported Imported Imported Domestic Imported tolen Not tolen Not tolen Not tolen Not Not ecture 9: Probabilistic Reasoning Bayesian Network Connections and D-eparation Inference Red ports Imported tolen ECE457 Applied Artificial Intelligence R. Khoury (27) Page 33 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 34 ecture 9: Probabilistic Reasoning Consider this Bayesian network. Write the factored expression for the joint probability distribution P(A, B, C, D, E, ) which is represented by this network. Which variables are independent (dseparate) of C if: B is known. A is known. D and E are both know. ecture 9: Probabilistic Reasoning Given the following values, what is the posterior probability of given that B is true? P(D B) =.8 P(D B) =.4 P( D) =.75 P( D) =.6 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 35 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 36 9

10 ecture 1: Decision Making ecture 1: Decision Making Maximum Expected Utility Utility Expected utility Decision network Optimal policy Computing the optimal policy Value of information Wear Protection (Pr) W Which Way (W) P(A).6 Accident (A) U Pr W A U ECE457 Applied Artificial Intelligence R. Khoury (27) Page 37 ECE457 Applied Artificial Intelligence R. Khoury (27) Page 38 ecture 1: Decision Making l i P(G).9 P( G).1 P(N) 1 1 Utility cost of inspection = -5 l b i U -3 ecture 11: Introduction to earning or all learning algorithms raining data Objective of learning emon P() = Report Inspect Buy U Evaluation General algorithm Precision and recall Overfitting and n-fold cross-validation K-Means Q-earning Exploration function ECE457 Applied Artificial Intelligence R. Khoury (27) Page ECE457 Applied Artificial Intelligence R. Khoury (27) Page

11 ecture 12: Introduction to oft Computing Artificial neural networks Artificial neuron Perceptron network uzzy logic uzzy sets, fuzzy membership functions, membership degree uzzy rules Genetic algorithms Individuals Operators: crossover, mutation, selection earch algorithm ecture 13: Introduction to Ontologies Objects, Categories, Relations, Attributes Inheritance Problems ECE457 Applied Artificial Intelligence R. Khoury (27) Page ECE457 Applied Artificial Intelligence R. Khoury (27) Page

Outline. Uninformed Search. Problem-solving by searching. Requirements for searching. Problem-solving by searching Uninformed search techniques

Outline. Uninformed Search. Problem-solving by searching. Requirements for searching. Problem-solving by searching Uninformed search techniques Outline Uninformed Search Problem-solving by searching Uninformed search techniques Russell & Norvig, chapter 3 ECE457 Applied Artificial Intelligence Fall 2007 Lecture #2 ECE457 Applied Artificial Intelligence

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order

More information

(Refer Slide Time 03:00)

(Refer Slide Time 03:00) Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

More information

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

More information

CS485/685 Lecture 5: Jan 19, 2016

CS485/685 Lecture 5: Jan 19, 2016 CS485/685 Lecture 5: Jan 19, 2016 Statistical Learning [RN]: Sec 20.1, 20.2, [M]: Sec. 2.2, 3.2 CS485/685 (c) 2016 P. Poupart 1 Statistical Learning View: we have uncertain knowledge of the world Idea:

More information

Artificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are

More information

Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018

Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer... 1/28 1 Examples and Varieties Order of Quantifiers and Negations 2 3 Universal Existential 4 Universal Modus

More information

Name: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL Complete the following written problems:

Name: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL Complete the following written problems: Name: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL 2013 Complete the following written problems: 1. Alpha-Beta Pruning (40 Points). Consider the following min-max tree.

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

More information

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity

More information

Revisiting the Socrates Example

Revisiting the Socrates Example Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

More information

Reasoning and Decision-Making under Uncertainty

Reasoning and Decision-Making under Uncertainty Reasoning and Decision-Making under Uncertainty 3. Termin: Uncertainty, Degrees of Belief and Probabilities Prof. Dr.-Ing. Stefan Kopp Center of Excellence Cognitive Interaction Technology AG A Intelligent

More information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

More information

Lesson 10 Notes. Machine Learning. Intro. Joint Distribution

Lesson 10 Notes. Machine Learning. Intro. Joint Distribution Machine Learning Lesson 10 Notes Intro M: Hey Charles. C: Hey Michael. M: So like I get to lecture near you today. C: Yes you do. I can even see you. M: This is, this is crazy. I sort of don't have my

More information

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Visit us on the World Wide Web at: www.pearsoned.co.uk Pearson Education Limited 2014

More information

ECE 5424: Introduction to Machine Learning

ECE 5424: Introduction to Machine Learning ECE 5424: Introduction to Machine Learning Topics: Probability Review Readings: Barber 8.1, 8.2 Stefan Lee Virginia Tech Project Groups of 1-3 we prefer teams of 2 Deliverables: Project proposal (NIPS

More information

Artificial Intelligence I

Artificial Intelligence I Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E 4NS. Email: mmh@dcs.qmw.ac.uk. Notes may be used with the permission of the author.

More information

ECE 5984: Introduction to Machine Learning

ECE 5984: Introduction to Machine Learning ECE 5984: Introduction to Machine Learning Topics: SVM Multi-class SVMs Neural Networks Multi-layer Perceptron Readings: Barber 17.5, Murphy 16.5 Dhruv Batra Virginia Tech HW2 Graded Mean 66/61 = 108%

More information

ECE 5424: Introduction to Machine Learning

ECE 5424: Introduction to Machine Learning ECE 5424: Introduction to Machine Learning Topics: SVM Multi-class SVMs Neural Networks Multi-layer Perceptron Readings: Barber 17.5, Murphy 16.5 Stefan Lee Virginia Tech HW2 Graded Mean 63/61 = 103% Max:

More information

Slides by: Ms. Shree Jaswal

Slides by: Ms. Shree Jaswal Slides by: Ms. Shree Jaswal Introduction developing the project schedule Scheduling Charts logic diagrams and network (AOA,AON) critical path calendar scheduling and time based network management schedule

More information

Ms. Shruti Aggarwal Assistant Professor S.G.G.S.W.U. Fatehgarh Sahib

Ms. Shruti Aggarwal Assistant Professor S.G.G.S.W.U. Fatehgarh Sahib Ms. Shruti Aggarwal S.G.G.S.W.U. Fatehgarh Sahib Email: shruti_cse@sggswu.org Area of Specialization: Data Mining, Software Engineering, Databases Subjects Taught Languages Fundamentals of Computers, C,

More information

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras (Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today

More information

ECE 5424: Introduction to Machine Learning

ECE 5424: Introduction to Machine Learning ECE 5424: Introduction to Machine Learning Topics: (Finish) Model selection Error decomposition Bias-Variance Tradeoff Classification: Naïve Bayes Readings: Barber 17.1, 17.2, 10.1-10.3 Stefan Lee Virginia

More information

16. Universal derivation

16. Universal derivation 16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has

More information

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?

More information

Question Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1

Question Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1 Question Answering CS486 / 686 University of Waterloo Lecture 23: April 1 st, 2014 CS486/686 Slides (c) 2014 P. Poupart 1 Question Answering Extension to search engines CS486/686 Slides (c) 2014 P. Poupart

More information

Inference in Cyc. This is the final lesson in the Inference Tutorial. It will focus on microtheories and forward/backward inference.

Inference in Cyc. This is the final lesson in the Inference Tutorial. It will focus on microtheories and forward/backward inference. Inference in Cyc Logical Aspects of Inference Incompleteness in Searching Incompleteness from Resource Bounds and Continuable Searches Efficiency through Heuristics Inference Features in Cyc This is the

More information

Logic I or Moving in on the Monkey & Bananas Problem

Logic I or Moving in on the Monkey & Bananas Problem Logic I or Moving in on the Monkey & Bananas Problem We said that an agent receives percepts from its environment, and performs actions on that environment; and that the action sequence can be based on

More information

Part II: How to Evaluate Deductive Arguments

Part II: How to Evaluate Deductive Arguments Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only

More information

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

More information

PHIL 50 - Introduction to Logic

PHIL 50 - Introduction to Logic Leibniz Gottlob Frege Jain Ritual Symbol PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 1 Wednesday Class Grading, Exam, Office Hours, etc. Midterm, final, homework

More information

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete

More information

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras (Refer Slide Time: 00:14) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 35 Goal Stack Planning Sussman's Anomaly

More information

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa Japan, November 2015

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa Japan, November 2015 2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa Japan, November 2015 On the Interpretation Of Assurance Case Arguments John Rushby Computer Science Laboratory SRI

More information

A Model of Decidable Introspective Reasoning with Quantifying-In

A Model of Decidable Introspective Reasoning with Quantifying-In A Model of Decidable Introspective Reasoning with Quantifying-In Gerhard Lakemeyer* Institut fur Informatik III Universitat Bonn Romerstr. 164 W-5300 Bonn 1, Germany e-mail: gerhard@uran.informatik.uni-bonn,de

More information

NICHOLAS J.J. SMITH. Let s begin with the storage hypothesis, which is introduced as follows: 1

NICHOLAS J.J. SMITH. Let s begin with the storage hypothesis, which is introduced as follows: 1 DOUBTS ABOUT UNCERTAINTY WITHOUT ALL THE DOUBT NICHOLAS J.J. SMITH Norby s paper is divided into three main sections in which he introduces the storage hypothesis, gives reasons for rejecting it and then

More information

Inference in Cyc. Copyright 2002 Cycorp

Inference in Cyc. Copyright 2002 Cycorp Inference in Cyc Logical Aspects of Inference Incompleteness in Searching Incompleteness from Resource Bounds and Continuable Searches Efficiency through Heuristics Inference Features in Cyc We ll be talking

More information

Some questions about Adams conditionals

Some questions about Adams conditionals Some questions about Adams conditionals PATRICK SUPPES I have liked, since it was first published, Ernest Adams book on conditionals (Adams, 1975). There is much about his probabilistic approach that is

More information

ECE 5424: Introduction to Machine Learning

ECE 5424: Introduction to Machine Learning ECE 5424: Introduction to Machine Learning Topics: (Finish) Regression Model selection, Cross-validation Error decomposition Readings: Barber 17.1, 17.2 Stefan Lee Virginia Tech Administrative Project

More information

logic is everywhere Logik ist überall Hikmat har Jaga Hai Mantık her yerde la logica è dappertutto lógica está em toda parte

logic is everywhere Logik ist überall Hikmat har Jaga Hai Mantık her yerde la logica è dappertutto lógica está em toda parte SHRUTI and Reflexive Reasoning Steffen Hölldobler logika je všude International Center for Computational Logic Technische Universität Dresden Germany logic is everywhere First-Order Logic la lógica está

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

Closing Remarks: What can we do with multiple diverse solutions?

Closing Remarks: What can we do with multiple diverse solutions? Closing Remarks: What can we do with multiple diverse solutions? Dhruv Batra Virginia Tech Example Result CRF Diverse Segmentations. Now what? (C) Dhruv Batra 2 Your Options Nothing User in the loop (Approximate)

More information

9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10

9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10 9.1 Intro to Predicate Logic Practice with symbolizations Today s Lecture 3/30/10 Announcements Tests back today Homework: --Ex 9.1 pgs. 431-432 Part C (1-25) Predicate Logic Consider the argument: All

More information

Introduction to Inference

Introduction to Inference Introduction to Inference Confidence Intervals for Proportions 1 On the one hand, we can make a general claim with 100% confidence, but it usually isn t very useful; on the other hand, we can also make

More information

Logic: A Brief Introduction. Ronald L. Hall, Stetson University

Logic: A Brief Introduction. Ronald L. Hall, Stetson University Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction

More information

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships

More information

The Objects of Belief and Credence

The Objects of Belief and Credence Forthcoming in Mind, perhaps with a reply from David Chalmers The Objects of Belief and Credence DAVID BRAUN University at Buffalo dbraun2@buffalo.edu Abstract: David Chalmers (2011) uses Bayesian theories

More information

Reply to Cheeseman's \An Inquiry into Computer. This paper covers a fairly wide range of issues, from a basic review of probability theory

Reply to Cheeseman's \An Inquiry into Computer. This paper covers a fairly wide range of issues, from a basic review of probability theory Reply to Cheeseman's \An Inquiry into Computer Understanding" This paper covers a fairly wide range of issues, from a basic review of probability theory to the suggestion that probabilistic ideas can be

More information

Scientific Method and Research Ethics Questions, Answers, and Evidence. Dr. C. D. McCoy

Scientific Method and Research Ethics Questions, Answers, and Evidence. Dr. C. D. McCoy Scientific Method and Research Ethics 17.09 Questions, Answers, and Evidence Dr. C. D. McCoy Plan for Part 1: Deduction 1. Logic, Arguments, and Inference 1. Questions and Answers 2. Truth, Validity, and

More information

***** [KST : Knowledge Sharing Technology]

***** [KST : Knowledge Sharing Technology] Ontology A collation by paulquek Adapted from Barry Smith's draft @ http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf Download PDF file http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf

More information

From Machines To The First Person

From Machines To The First Person From Machines To The First Person Tianxiao Shen When I think of the puzzling features of our use of the first person, I start to consider whether similar problems will arise in building machines. To me

More information

Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center

Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center Covington, Other Logics 1 Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center Covington, Other Logics 2 Contents Classical

More information

Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

More information

Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients

Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients Magnuson, S. J., Peter, T. K., and Smith, M. A. Department of Biostatistics University of Iowa July 19, 2018 Magnuson, Peter,

More information

4.1 A problem with semantic demonstrations of validity

4.1 A problem with semantic demonstrations of validity 4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there

More information

PROGRAMS WITH COMMON SENSE

PROGRAMS WITH COMMON SENSE PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ 1959 1 Introduction Interesting work

More information

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally

More information

I thought I should expand this population approach somewhat: P t = P0e is the equation which describes population growth.

I thought I should expand this population approach somewhat: P t = P0e is the equation which describes population growth. I thought I should expand this population approach somewhat: P t = P0e is the equation which describes population growth. To head off the most common objections:! This does take into account the death

More information

Handling vagueness in logic, via algebras and games. Lecture 1.

Handling vagueness in logic, via algebras and games. Lecture 1. Handling vagueness in logic, via algebras and games. Lecture 1. Serafina Lapenta and Diego Valota S. Lapenta and D. Valota (ESSLLI 2018) Lecture 1 1/43 Handbook of Mathematical Fuzzy Logic. Volume 1-2-3.

More information

Curriculum Guide for Pre-Algebra

Curriculum Guide for Pre-Algebra Unit 1: Variable, Expressions, & Integers 2 Weeks PA: 1, 2, 3, 9 Where did Math originate? Why is Math possible? What should we expect as we use Math? How should we use Math? What is the purpose of using

More information

NPTEL NPTEL ONLINE COURSES REINFORCEMENT LEARNING. UCB1 Explanation (UCB1)

NPTEL NPTEL ONLINE COURSES REINFORCEMENT LEARNING. UCB1 Explanation (UCB1) NPTEL NPTEL ONLINE COURSES REINFORCEMENT LEARNING UCB1 Explanation (UCB1) Prof. Balaraman Ravindran Department of Computer Science and Engineering Indian Institute of Technology Madras So we are looking

More information

Sharing the Roman Road to Salvation

Sharing the Roman Road to Salvation Sharing the Roman Road to Salvation 1. Introduction A. Salvation is not a religion through which we continually reach up to find God. Salvation is a relationship where God reached down to man through His

More information

Argumentation without arguments. Henry Prakken

Argumentation without arguments. Henry Prakken Argumentation without arguments Henry Prakken Department of Information and Computing Sciences, Utrecht University & Faculty of Law, University of Groningen, The Netherlands 1 Introduction A well-known

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

Introduction Symbolic Logic

Introduction Symbolic Logic An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

More information

Lazy Functional Programming for a survey

Lazy Functional Programming for a survey Lazy Functional Programming for a survey Norman Ramsey Tufts November 2012 Book: Programming languages for practitioners Why? For people who will write code Gives future practitioners something to do I

More information

What would count as Ibn Sīnā (11th century Persia) having first order logic?

What would count as Ibn Sīnā (11th century Persia) having first order logic? 1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

More information

Study Guides. Chapter 1 - Basic Training

Study Guides. Chapter 1 - Basic Training Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

More information

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion

More information

Overview of Today s Lecture

Overview of Today s Lecture Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,

More information

Outline of today s lecture

Outline of today s lecture Outline of today s lecture Putting sentences together (in text). Coherence Anaphora (pronouns etc) Algorithms for anaphora resolution Document structure and discourse structure Most types of document are

More information

Interpretation of Conditionals in the Suppression Task. Andrea Lechler

Interpretation of Conditionals in the Suppression Task. Andrea Lechler Interpretation of Conditionals in the Suppression Task Andrea Lechler Master of Science Artificial Intelligence School of Informatics University of Edinburgh 2004 Abstract If people are presented with

More information

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

More information

Information Extraction. CS6200 Information Retrieval (and a sort of advertisement for NLP in the spring)

Information Extraction. CS6200 Information Retrieval (and a sort of advertisement for NLP in the spring) Information Extraction CS6200 Information Retrieval (and a sort of advertisement for NLP in the spring) Information Extraction Automatically extract structure from text annotate document using tags to

More information

Homework: read in the book pgs and do "You Try It" (to use Submit); Read for lecture. C. Anthony Anderson

Homework: read in the book pgs and do You Try It (to use Submit); Read for lecture. C. Anthony Anderson Philosophy 183 Page 1 09 / 26 / 08 Friday, September 26, 2008 9:59 AM Homework: read in the book pgs. 1-10 and do "You Try It" (to use Submit); Read 19-29 for lecture. C. Anthony Anderson (caanders@philosophy.ucsb.edu)

More information

Logic I, Fall 2009 Final Exam

Logic I, Fall 2009 Final Exam 24.241 Logic I, Fall 2009 Final Exam You may not use any notes, handouts, or other material during the exam. All cell phones must be turned off. Please read all instructions carefully. Good luck with the

More information

Lesson 09 Notes. Machine Learning. Intro

Lesson 09 Notes. Machine Learning. Intro Machine Learning Lesson 09 Notes Intro C: Hi Michael. M: Hey how's it going? C: So I want to talk about something today Michael. I want to talk about Bayesian Learning, and I've been inspired by our last

More information

Can machines think? Machines, who think. Are we machines? If so, then machines can think too. We compute since 1651.

Can machines think? Machines, who think. Are we machines? If so, then machines can think too. We compute since 1651. Machines, who think. Can machines think? Comp 2920 Professional Issues & Ethics in Computer Science S2-2004 Cognitive Science (the science of how the mind works) assumes that the mind is computation. At

More information

Discussion Notes for Bayesian Reasoning

Discussion Notes for Bayesian Reasoning Discussion Notes for Bayesian Reasoning Ivan Phillips - http://www.meetup.com/the-chicago-philosophy-meetup/events/163873962/ Bayes Theorem tells us how we ought to update our beliefs in a set of predefined

More information

NPTEL NPTEL ONINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking

NPTEL NPTEL ONINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking NPTEL NPTEL ONINE CERTIFICATION COURSE Introduction to Machine Learning Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking Prof. Balaraman Ravindran Computer Science and Engineering Indian

More information

Contradictory Information Can Be Better than Nothing The Example of the Two Firemen

Contradictory Information Can Be Better than Nothing The Example of the Two Firemen Contradictory Information Can Be Better than Nothing The Example of the Two Firemen J. Michael Dunn School of Informatics and Computing, and Department of Philosophy Indiana University-Bloomington Workshop

More information

2.1 Review. 2.2 Inference and justifications

2.1 Review. 2.2 Inference and justifications Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning

More information

Grade 6 correlated to Illinois Learning Standards for Mathematics

Grade 6 correlated to Illinois Learning Standards for Mathematics STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate

More information

Punjab University, Chandigarh. Kurukshetra University, Haryana. Assistant Professor. Lecturer

Punjab University, Chandigarh. Kurukshetra University, Haryana. Assistant Professor. Lecturer Ms. Shruti Aggarwal Assistant Professor Department of Computer Science S.G.G.S.W.U. Fatehgarh Sahib Email Id: shruti_cse@sggswu.org Area of Specialization: Data Mining, Software Engineering, Databases

More information

Introduction. I. Proof of the Minor Premise ( All reality is completely intelligible )

Introduction. I. Proof of the Minor Premise ( All reality is completely intelligible ) Philosophical Proof of God: Derived from Principles in Bernard Lonergan s Insight May 2014 Robert J. Spitzer, S.J., Ph.D. Magis Center of Reason and Faith Lonergan s proof may be stated as follows: Introduction

More information

DEPARTMENT OF PHILOSOPHY FALL 2014 COURSE DESCRIPTIONS

DEPARTMENT OF PHILOSOPHY FALL 2014 COURSE DESCRIPTIONS DEPARTMENT OF PHILOSOPHY FALL 2014 COURSE DESCRIPTIONS PHIL 2300-001 Beginning Philosophy 11:00-11:50 MWF ENG/PHIL 264 PHIL 2300-002 Beginning Philosophy 9:00-9:50 MWF ENG/PHIL 264 This is a general introduction

More information

Pollock s Theory of Defeasible Reasoning

Pollock s Theory of Defeasible Reasoning s Theory of Defeasible Reasoning Jonathan University of Toronto Northern Institute of Philosophy June 18, 2010 Outline 1 2 Inference 3 s 4 Success Stories: The of Acceptance 5 6 Topics 1 Problematic Bayesian

More information

Theories of propositions

Theories of propositions Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of

More information

Transition to Quantified Predicate Logic

Transition to Quantified Predicate Logic Transition to Quantified Predicate Logic Predicates You may remember (but of course you do!) during the first class period, I introduced the notion of validity with an argument much like (with the same

More information

Anaphora Resolution in Biomedical Literature: A

Anaphora Resolution in Biomedical Literature: A Anaphora Resolution in Biomedical Literature: A Hybrid Approach Jennifer D Souza and Vincent Ng Human Language Technology Research Institute The University of Texas at Dallas 1 What is Anaphora Resolution?

More information

Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014

Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014 Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional

More information

Learning is a Risky Business. Wayne C. Myrvold Department of Philosophy The University of Western Ontario

Learning is a Risky Business. Wayne C. Myrvold Department of Philosophy The University of Western Ontario Learning is a Risky Business Wayne C. Myrvold Department of Philosophy The University of Western Ontario wmyrvold@uwo.ca Abstract Richard Pettigrew has recently advanced a justification of the Principle

More information

Logical Omniscience in the Many Agent Case

Logical Omniscience in the Many Agent Case Logical Omniscience in the Many Agent Case Rohit Parikh City University of New York July 25, 2007 Abstract: The problem of logical omniscience arises at two levels. One is the individual level, where an

More information

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

More information

Math 11 Final Exam Review Part 3 #1

Math 11 Final Exam Review Part 3 #1 Math 11 Final Exam Review Part 3 #1 College Algebra / Math 11 RCC Fall 2011 #48794 (Prof. Chiek) Student Name/ID: 1. For each point in the table below, decide whether it is on Line 1, Line 2, both, or

More information

Characterizing Belief with Minimum Commitment*

Characterizing Belief with Minimum Commitment* Characterizing Belief with Minimum Commitment* Yen-Teh Hsia IRIDIA, University Libre de Bruxelles 50 av. F. Roosevelt, CP 194/6 1050, Brussels, Belgium r0 1509@ bbrbfu0 1.bitnet Abstract We describe a

More information

How to Disbelieve p >q: Resolving contradictions

How to Disbelieve p >q: Resolving contradictions In Proceedings of the Twentieth Meeting of the Cognitive Science Society, pp. 315-320, Mahwah, NJ: Lawrence Erlbaum Associates. University of Madison, Madison, WI How to Disbelieve p >q: Resolving contradictions

More information

Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur

Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur Lecture - 01 Introduction: What Logic is Kinds of Logic Western and Indian

More information

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

6.080 / Great Ideas in Theoretical Computer Science Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

COS 226 Algorithms and Data Structures Fall Midterm

COS 226 Algorithms and Data Structures Fall Midterm COS 226 Algorithms and Data Structures Fall 2005 Midterm This test has 6 questions worth a total of 50 points. You have 80 minutes. The exam is closed book, except that you are allowed to use a one page

More information