Carla P. Gomes CS4700 CS 4700: Foundations of Artificial Intelligence Carla P. Gomes Exam-Info.

Slides:



Advertisements
Similar presentations
Big Ideas in Cmput366. Search Blind Search State space representation Iterative deepening Heuristic Search A*, f(n)=g(n)+h(n), admissible heuristics Local.
Advertisements

CPSC 422, Lecture 21Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 21 Mar, 4, 2015 Slide credit: some slides adapted from Stuart.
CSE 5522: Survey of Artificial Intelligence II: Advanced Techniques Instructor: Alan Ritter TA: Fan Yang.
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
CS460 Spring 2011 Review. Overview Course overview Propositional Logic Example CSP Example Hints for Final.
01 -1 Lecture 01 Artificial Intelligence Topics –Introduction –Knowledge representation –Knowledge reasoning –Machine learning –Applications.
CPSC 322, Lecture 20Slide 1 Propositional Definite Clause Logic: Syntax, Semantics and Bottom-up Proofs Computer Science cpsc322, Lecture 20 (Textbook.
Introduction to Introduction to Artificial Intelligence Henry Kautz.
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
Artificial Intelligence Course review AIMA. Four main themes Problem solving by search Uninformed search Informed search Constraint satisfaction Adversarial.
CSE 471/598 Intro to AI (Lecture 1). Course Overview What is AI –Intelligent Agents Search (Problem Solving Agents) –Single agent search [Project 1]
Cooperating Intelligent Systems Course review AIMA.
CS 331 / CMPE 334 – Intro to AI CS 531 / CMPE AI Course Outline.
Computing & Information Sciences Kansas State University Lecture 11 of 42 CIS 530 / 730 Artificial Intelligence Lecture 11 of 42 William H. Hsu Department.
Carla P. Gomes CS4700 CS 4700: Foundations of Artificial Intelligence Carla P. Gomes Module: Instance Hardness and Phase Transitions.
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) March, 8, 2010.
CS : Artificial Intelligence: Representation and Problem Solving Fall 2002 Prof. Tuomas Sandholm Computer Science Department Carnegie Mellon University.
CS 4700: Foundations of Artificial Intelligence
CSE (c) S. Tanimoto, 2008 Introduction 1 CSE 415 Introduction to Artificial Intelligence Winter 2008 Instructor: Steve Tanimoto
Some Thoughts to Consider 6 What is the difference between Artificial Intelligence and Computer Science? What is the difference between Artificial Intelligence.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
Project MLExAI Machine Learning Experiences in AI Ingrid Russell, University.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) Oct, 26, 2010.
Introduction to Artificial Intelligence and Soft Computing
Assoc. Prof. Abdulwahab AlSammak. Course Information Course Title: Artificial Intelligence Instructor : Assoc. Prof. Abdulwahab AlSammak
Computing & Information Sciences Kansas State University Wednesday, 20 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 12 of 42 Wednesday, 20 September.
COMP 304: Artificial Intelligence. General Lecturer: Nelishia Pillay Office: Room F3 Telephone:
1 2010/2011 Semester 2 Introduction: Chapter 1 ARTIFICIAL INTELLIGENCE.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 23 Friday, 17 October.
MDPs (cont) & Reinforcement Learning
CPSC 422, Lecture 21Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 21 Oct, 30, 2015 Slide credit: some slides adapted from Stuart.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
1 Intro to Artificial Intelligence COURSE # CSC384H1F Fall 2008 Sonya Allin Note: many slides drawn from/inspired by Andrew Moore’s lectures at CMU and.
Computing & Information Sciences Kansas State University Lecture 12 of 42 CIS 530 / 730 Artificial Intelligence Lecture 12 of 42 William H. Hsu Department.
General Information Course Id: COSC6368 Artificial Intelligence Professor: Ricardo Vilalta Classroom:AH 110 Telephone: (713)
Computing & Information Sciences Kansas State University Wednesday, 13 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 10 of 42 Wednesday, 13 September.
Computing & Information Sciences Kansas State University CIS 530 / 730: Artificial Intelligence Lecture 09 of 42 Wednesday, 17 September 2008 William H.
Some Thoughts to Consider 5 Take a look at some of the sophisticated toys being offered in stores, in catalogs, or in Sunday newspaper ads. Which ones.
Proof Methods for Propositional Logic CIS 391 – Intro to Artificial Intelligence.
Computing & Information Sciences Kansas State University Wednesday, 04 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 17 of 42 Wednesday, 04 October.
CS 416 Artificial Intelligence Lecture 13 First-Order Logic Chapter 9 Lecture 13 First-Order Logic Chapter 9.
CITS4211 Artificial Intelligence Semester 1, 2013 A/Prof Lyndon While School of Computer Science & Software Engineering The University of Western Australia.
Computing & Information Sciences Kansas State University Friday, 13 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 21 of 42 Friday, 13 October.
The Hebrew University of Jerusalem School of Engineering and Computer Science Academic Year: 2011/2012 Instructor: Jeff Rosenschein.
Announcements  Upcoming due dates  Thursday 10/1 in class Midterm  Coverage: everything in lecture and readings except first-order logic; NOT probability.
Computing & Information Sciences Kansas State University Monday, 18 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 11 of 42 Monday, 18 September.
Introduction to Artificial Intelligence Heshaam Faili University of Tehran.
Brief Intro to Machine Learning CS539
Artificial Intelligence
2009: Topics Covered in COSC 6368
CS Fall 2015 (Shavlik©), Midterm Topics
Topics Covered since 1st midterm…
Review of AI Professor: Liqing Zhang
Logical Inference 4 wrap up
Artificial Intelligence (CS 461D)
Artificial Intelligence (CS 370D)
CS 4700: Foundations of Artificial Intelligence
Basic Intro Tutorial on Machine Learning and Data Mining
CS 416 Artificial Intelligence
CS 4700: Foundations of Artificial Intelligence
Artificial Intelligence (AI)
Logic for Artificial Intelligence
CS 416 Artificial Intelligence
CS 416 Artificial Intelligence
2004: Topics Covered in COSC 6368
Overview Fundamental of Artificial Intelligence (CSC3180)
CSE 415 Introduction to Artificial Intelligence Winter 2007
Chapter 14 February 26, 2004.
Presentation transcript:

Carla P. Gomes CS4700 CS 4700: Foundations of Artificial Intelligence Carla P. Gomes Exam-Info

Carla P. Gomes CS4700 EXAM INFO Topics from Russell and Norvig: Part I --- AI and Characterization of Agents and environments (Chapter 1,2) General Knowledge Part II --- PROBLEM SOLVING --- the various search techniques --- uninformed / informed / game playing --- constraint satisfaction problems, different forms of consistency (FC,ACC, ALLDIFF) --- check out examples (midterm, homework assignments, review session) (Chapter 3, excluding 3.6; chapter 4, excluding Memory-bounded heuristic search, 4.4., and 4.5; chapter 5, excluding Intelligent backtracking, and 5.4; chapter 6, excluding 6.5)

Carla P. Gomes CS4700 Part III --- KNOWLEDGE AND REASONING e.g. --- propositional / first-order logic --- syntax / semantics --- capturing a domain (how to use the logic) --- logic entailment, soundness, and completeness ---SAT encodings (excluding extra slides on SAT clause learning) ---Easy-hard-easy regions/phase transitions --- inference (forward/backward chaining, resolution / unification / skolemizing) --- check out examples (homework assignments, review session) (Chapter 7, chapter 8, chapter 9)

Carla P. Gomes CS4700 Part VI --- LEARNING (chapt. 18, and 20.4 and 20.5) e.g. --- decision tree learning --- decision lists --- information gain --- generalization --- noise and overfitting --- cross-validation --- chi-squared testing (not in the final) --- probably approximately correct (PAC) --- sample complexity (how many examples?) --- ensemble learning (not in final)

Carla P. Gomes CS4700 Part VI --- LEARNING (chapt. 18, and 20.4, 20.5,and 20.6 e.g. --- k-nearest neighbor --- neural network learning --- structure of networks --- perceptron ("equations") --- multi-layer networks --- backpropagation (not details of the derivation) ---SVM (not in the final) --- check out examples (homework assignments, review session)

Carla P. Gomes CS4700 **** USE LECTURE NOTES AS A STUDY GUIDE! **** **** book covers more than done in the lectures **** **** but only (and all) material covered in the lectures goes **** **** all lectures on-line –check the website ***** **** WORK THROUGH EXAMPLES!! ***** **** closed book ***** **** 2 pages with notes allowed ***** **** WORK THROUGH EXAMPLES!! ***** Midterm/Homework Assignments/Review Session **** Review Session – Saturday and Wednesday**** Sample of problems (a number of review problems will be presented; we’ll also post the solutions after Saturday review session)