Foundations of Artificial Intelligence

CS 472

Fall 2002

 

Basic Info

Staff

  1. Ioannis A. Vetsikas, 5136 Upson Hall, 255-9730. email: vetsikas@cs.cornell.edu (PhD TA)
  2. Mehmet Fidanboylu, 5132 Upson Hall, 255-5577. email: mehmet@cs.cornell.edu (PhD TA)
  3. Josh Walsky. email: jpw8@cs.cornell.edu
  4. Karan Suri. email: ks238@cs.cornell.edu
  5. Zain Cheng. email: zc22@cs.cornell.edu

Office hours

The professor and the PhD TAs have regular weekly office hours in their offices. MEng TAs hold office hours at the locations specified below.

  1. Tuesday & Thursday 2-3pm, Ioannis A. Vetsikas
  2. Monday & Wednesday 1-2pm, Mehmet Fidanboylu 
  3. Friday 1:30-2:30pm, Bart Selman
  4. Monday 2-3pm, Josh Walsky @ Upson Hall 328
  5. Tuesday 1-2pm, Karan Suri @ MEng lab
  6. Thursday 9-10am, Zain Cheng @ CSUG lab

The MEng lab and the CSUG lab are on the 3rd floor of Upson Hall.

Announcements

 

There was a problem with the recording of grades: several grades have not been entered into the system properly; we have been informed that the problem should be corrected very soon :)

 

12/18/02 

Reminder: Project demos tomorrow and on Friday. Below you find the final schedule:

===========================
CS473 presentation schedule
===========================

Thursday, Dec. 19.

    10am--11am
        Eugene Byrne and Michael Covelli
        Jason Keller and Gregory Leib
        Kenneth Chiu
        AJ Fink and Euwyn Poon
        Jing Gao and Rishi Mukhopadhyay
        Nick Gerner and Alex Reeve

    11am--12pm
        Jon Goldstein and Richard Huddleston
        Natalie Morin, Nicholas Chen, and Nate Guernsey
        Chris Hescock
        Brett Hobbs
        Jacob Hoffman-Andrews

    2pm-3pm   
        Brandon Irizarry
        Jergent Kabashi
        John Westendorf Todd Paddock
        David Kent
        Jonathan King
        Evan Kuhn

    3pm-4pm   
        Jenny Lee and Eric Holmberg-Weidler
        Jonathan Peress and Michael Conner

    4pm-5pm   
        Jeff Puchalski
        Daniel Golovin and Asher Walkover
        Xuan Yong Soh and Benjamin Ee
        John Paul Son and Justin Morgan
        Amit Shelawala and Kori Oliver

Friday, Dec. 20.

    2pm-3pm    
        Justin V. Wick
        Stefan Witwicki and Micky Dai Zhong Loo
        Alan Durston and Mark Petrotta
        Joon H. Huh and Sam Thomson
        Derek Berner and Arthur Lin

     3pm-4pm
        Brad Sullivan
        Josh Singer and Colin Reuter
        Dylan Tong and Arjun Batra
        Brian Maniscalco
        Nigel Berndt   
        Ka Fung Lam and David Sun

12/16/02

This should be the final presentation schedule (after all the changes were made):

===========================
CS473 presentation schedule
===========================
Thursday, Dec. 19.

10am--11am 
Eugene Byrne and Michael Covelli
Jason Keller and Gregory Leib
Kenneth Chiu
AJ Fink and Euwyn Poon 
Jing Gao and Rishi Mukhopadhyay 
Nick Gerner and Alex Reeve 


11am--12pm 
Jon Goldstein and Richard Huddleston
Natalie Morin, Nicholas Chen, and Nate Guernsey
Chris Hescock
Brett Hobbs
Jacob Hoffman-Andrews 

2pm-3pm 
Brandon Irizarry 
Jergent Kabashi 
John Westendorf Todd Paddock
David Kent
Jonathan King 
Evan Kuhn

3pm-4pm 
Ka Fung Lam and David Sun 
Jenny Lee and Eric Holmberg-Weidler
Jonathan Peress and Michael Conner

4pm-5pm 
Jeff Puchalski 
Daniel Golovin and Asher Walkover
Josh Singer Colin Reuter 
Xuan Yong Soh and Benjamin Ee
John Paul Son and Justin Morgan 
Amit Shelawala and Kori Oliver 

Friday, Dec. 20.

2pm-3pm 
Justin V. Wick
Stefan Witwicki and Micky Dai Zhong Loo
Alan Durston and Mark Petrotta
Joon H. Huh and Sam Thomson
Derek Berner and Arthur Lin
Dylan Tong and Arjun Batra
Brian Maniscalco 

12/16/02

Reminder:

FINAL to take place this Wednesday, December 18 at 3pm

Location: Uris Hall Auditorium

12/16/02

Review session: tomorrow (Tuesday) at 6:45pm in Phillips 101 (the big auditorium on the ground floor).

12/16/02

Office Hours for Final

Ioannis: Tuesday: 1-3pm @ Upson 5136 (or the 5th Floor Lounge if there are too many people)

12/14/02

Solutions for HW5

12/13/02

Office Hours for Final (more to come)

Josh : Monday 2-4pm @ Upson Hall 328

Mehmet: Monday 12-2pm @ Upson 5th Floor Lounge

12/12/02

We have set aside Thursday December 19th and Friday 20th for CS473 project presentations.

Projects will be done in 10 minute increments, please bring with you your project writeup (hardcopy) and software on a CD.

Location: Prof. Selman's Office, UPSON 4148 -- the schedule is below.

If you have a hard conflict, please contact cindy@cs.cornell.edu.

===========================

CS473 presentation schedule

===========================

 

Thursday, Dec. 19.

 

10am--11am

Jason Keller and Gregory Leib

Eugene Byrne and Michael Covelli

Kenneth Chiu

AJ Fink and Euwyn Poon

Jing Gao and Rishi Mukhopadhyay

Nick Gerner and Alex Reeve

 

11am--12pm

Jon Goldstein and Richard Huddleston

Natalie Morin, Nicholas Chen, and Nate Guernsey

Chris Hescock

Brett Hobbs

Jacob Hoffman-Andrews

 

2pm-3pm

Brandon Irizarry

Jergent Kabashi

David Kent

Jonathan King

Evan Kuhn

 

3pm-4pm

Ka Fung Lam and David Sun

Jenny Lee and Eric Holmberg-Weidler

Brian Maniscalco

N. Anthony Nemoto

Jonathan Peress and Michael Conner

 

4pm-5pm

Jeff Puchalski

Daniel Golovin and Asher Walkover

Josh Singer Colin Reuter

Xuan Yong Soh and Benjamin Ee

John Paul Son and Justin Morgan

Dylan Tong and Arjun Batra

Amit Shelawala and Kori Oliver

 

Friday, Dec. 20.

 

2pm-3pm

John Westendorf Toss Paddock

Justin V. Wick

Stefan Witwicki and Micky Dai Zhong Loo

Alan Durston and Mark Petrotta

Joon H. Huh and Sam Thomson

Derek Berner and Arthur Lin

12/10/02

All the TAs are here this week (and the next). We might be posting extra office hours for before the exam, so please check this site often for info :)

12/10/02

Homework 4 returned: Solutions: #1, #2,#3, #4, #5,#6

For Question # - You should talk to:

1 - Mehmet
2 - Zain
3 - Josh
4 - Karan
5 - Josh
6 - Karan

PLEASE NOTE: For regrades I suggest contacting the corresponding TA and setting up a meeting.

12/10/02

Final is next wednesday (18/12). You are allowed to use one double-sided page of notes during the test.

12/09/02

HW5: Please hand it in at my office (Upson 5132). I will be there on wednesday from noon till 2pm. If you decide to handin later during the day, just slide it under the door. I will hold office hours today as usual from 1 to 2pm. Here are some hints to keep you busy till that.

12/03/02

Homework 5 is out. Link to pdf file.

11/26/02

Email your homework 4 to mehmet@cs.cornell.edu : If you read this before you leave for break, please email your homework to me (Mehmet) EVEN IF you turn it in on wednesday in class. The more submittals we receive electronically, the better. Of course, there is no penalty for not doing so. So, don't worry if you did not see this on time.

11/18/02

Ioannis out of town.. Ioannis will be out of town for the next three weeks. So he will not be able to hold office hours or answer his email. Please direct questions to other staff.

11/18/02

Homework 4 is out. Link to pdf file.

15/11/02

Midterm Regrades at Cindy's Office: Those of you who submitted midterms for a regrade should pick them up at Cindy's office (4146 Upson, next to Bart's Office).

11/11/02

Homework 3 returned: Solutions, #4.

For Question # - You should talk to:

1 - Ioannis
2 - Mehmet
3 - Mehmet
4 - Zain
5 - Karan
6 - Ioannis

PLEASE NOTE: For regrades on problems 1 and 6 you should turn in a regrade request by Thursday (11/14). The TA is going to be out of town starting this weekend.

11/06/02

Midterm: Solutions, #3

You have ONE week to submit the midterm for a regrade. (till Nov. 13) and this will be followed strictly. Please make it a priority.

For Question # - You should talk to:

1 - Ioannis
2 - Ioannis
3 - Joshua
4 - Mehmet
5 - Mehmet

11/06/02

Midterms Returned Today: You can pick up your midterm if you have not done so already from Cindy Robinson (the professor's assistant). Her office is right next to the professor's. For people who took make up midterms (late midterms) Cindy should have those by the end of the week. 

Also if you wish to submit a regrade for the exam you can do so for 1 week from today only!

11/06/02

Permanent office hours change: Zain Cheng has moved his office hour to the morning of Thursday.

Also just for this Thursday: Ioannis Vetsikas to hold office hours on Friday 1:30-2:30pm instead of his usual time on Thursday. Since there is no homework due in the foreseeable future this should pose not a problem!

11/04/02

Midterm Statistics:

Mean:     91.92 out of 110
Median:  93
StDev:    9.95

Since there was no class on Monday, midterms will be returned on Wednesday.

10/29/02

In homework #2 and for problem 6 (5.8 from R&N), the numbers given CANNOT be probabilities of winning (e.g. there are negative numbers in some of these). So they SHOULD be interpreted as expected winnings/payoffs, so the solution given for this problem and the grading scheme stands as is!

10/29/02

There was an error in the solutions for homework #3. It has been fixed now.

10/28/02

Homework 3: Solutions posted.

10/28/02

Office hours' changes this week and REVIEW SESSION:

  1. Ioannis will hold a review session tomorrow (Tuesday) at 7pm in Phillips 219.
  2. Ioannis will hold extended office hours on Tuesday from 1:30pm to 3:30 pm.
  3. Ioannis will not hold office hours on Thursday at all.
  4. Karan will extend his office hours on Tuesday from 12pm to 2pm.

More changes to be announced here! Check again.

10/28/02

Reminder:

In class MIDTERM to take place this Wednesday, October 30!

10/26/02

Hints for hwk 3:

In problem 6, remember that meet(i,j) is different from meet(j,i). Also that you can define new intervals by stating their endpoints. e.g. the interval with endpoints start(i) and start(j) etc.

10/26/02

Homework 2: Solutions (1, 2, 3, 4, 5, 6, 7, 8)

You have ONE week to submit this homework for a regrade. (till Nov. 1)

For Question # - You should talk to:

1 - Karan
2 - Joshua
3 - Joshua
4 - Mehmet
5 - Zain
6 - Ioannis
7 - Ioannis
8 - Ioannis

10/23/02

Academic Integrity to be strictly enforced in homework assignments:

A lot of the TAs has observed that some people who work in groups submit the same solution to one or more of the homework problems. This is a clear violation of the code of integrity! People are allowed to work in groups, but the write-ups should be individually made for all problems. Starting from homework #3 (the one due the coming Monday) any students who continue to do this, will be severely penalized: their homework grade will be automatically 0!

10/21/02

Homework 3 is out. Link to ps file.

10/20/02

In class MIDTERM to take place on Wednesday, October 30.

10/08/02

Two new handouts have been posted:

  1. Paper about Phase Transitions for SAT [pdf].
  2. Slides about Chess (search of game tree) and Deep Blue [pdf].

10/08/02

Homework 2: Some hints (UPDATED!!!).

Homework 1: Solutions (1, 2, 3, 4, 5, 6)

You have ONE week to submit this homework for a regrade. (because of the Fall Break you have time till 18th)

For Question # - You should talk to:

1 - Joshua
2 - Ioannis
3 - Mehmet
4 - Karan
5 - Zain
6 - Ioannis 

10/04/02

Homework 2 is out. Link to pdf file.

09/30/02

CS 473 project proposal due this week!

For a more detailed announcement follow this link.

Cover Sheet available for homework. Please use it!

You can download it here.

09/28/02

Change in Office Hours

Note that Zain Cheng changed his office hours from Tuesdays to Thursdays. 

09/24/02

Clarifications in Homework 1:

In question 5b, invalid nodes (I mean nodes of the search where the partial assignment of colors is invalid) are visited, but they are not expanded. So if you assign BLUE to a node and BLUE has already been assigned to some other node, then the search tree will contain this node, but it will of course not be expanded. As for the total number of nodes in the tree, it is possible to compute the exact number, but if you can't do that you may compute how this number increases as a function of the nodes of the graph and get some points from that at least.

In question 6, it's OK even if you do not write down every single formula as long as you explain how e.g. the constraints are formulated and you write down some of each category in order to show that you would be able to write down everything. When we're talking about one category of formulas we are talking about formulas that are very, very similar to each other. Anyway use your judgment here about how much to write. 

09/24/02

Hints:

Hints about the homework posted on the newsgroup! You can also find them here.

Clarifications in Homework 1:

A. In question 5c, the number of nodes explored does not depend e.g. on the way ties are broken and it is always the same (no upper bound, average number of nodes etc.)

B. In question 4c, the clauses C1 and C2 are binary (e.g. C1=x2 OR NOT(x5) and C2=x100 OR x3), so they have two literals each. Clauses with one literal or >=3 literals do not count.

09/23/02

Typo in Homework 1: In question 5c, "Randomly remove an edge from tree" should be "Randomly remove an edge from the graph".

09/20/02

Homework 1 is out and is due next week. Link to pdf file.

09/20/02

Check this website regularly for announcements. All class related info will be posted here. In addition, you will find the handouts section at the end of this page, where all the handouts given in class will be posted (e.g. lecture notes, homework etc.)

Pre-requisites

None. A general programming ability is assumed though.

Academic Integrity

You are expected to maintain the utmost level of academic integrity in the course.

Handouts

  1. General Course Information [ps]
  1. Homework #1 [pdf]
  2. Homework #2 [pdf]
  3. Homework #3 [ps]
  4. Homework #4 [pdf]
  5. Homework #5 [pdf]
  1. Lecture #1 (Aug 30) Introduction [ps]
  2. Lecture #2 (Sept 2)  Problem Solving as Search [ps]
  3. Lecture #3 (Sept 4)  Uninformed Search [ps]
  4. Lecture #4 (Sept 6)  Informed Search [ps]
  5. Lecture #5 (Sept 9)  Continued notes #4
  6. Lecture #6 (Sept 11) Constraint satisfaction problems [ps]
  7. Lecture #7 (Sept 13) Continued notes #6
  8. Lecture #8 (Sept 16) Local Search [ps]
  9. Lecture #9 (Sept 18) Continued notes #8
  10. Lecture #10 (Sept 20)
  11. Lecture #11 (Sept 23)
  12. Lecture #12 (Sept 25)
  13. Lecture #13 (Sept 27) Game Playing [pdf]
  14. Lecture #14 (Sept 30)
  15. Lecture #15 (Oct 2)
  16. Lecture #16 (Oct 4) Knowledge and Reasoning [pdf]
  17. Lecture #17 (Oct 7)
  18. Lecture #18 (Oct 9)
  19. Lecture #19 (Oct 11) Knowledge and Reasoning, cont. [ps]
  20. Lecture #20 (Oct 14)
  21. Lecture #21 (Oct 16)
  22. Lecture #22 (Oct 19) Inference Resolution / Unification [ps]
  23. Lecture #23 (Oct 21)
  24. Lecture #24 (Oct 23) Did lecture notes #22
  25. Lecture #25 (Oct 25) Knowledge and Reasoning, cont. [ps]
  26. Lecture #26 (Oct 28)
  27. Lecture #27 (Oct 30) MIDTERM EXAM
  28. Lecture #28 (Nov 1) Knowledge Representation, cont. / Inference, cont. [ps]
  29. Lecture #28.5 (Nov 6) Finished notes #27 (Expert Systems) & Returned midterms
  30. Lecture #29 (Nov 8) Introduction to Learning [ps]
  31. Lecture #30 (Nov 11) Continued Notes #29
  32. Lecture #31 (Nov 13) Decision Trees [ps]
  33. Lecture #32 (Nov 15) Decision Trees (continued) [ps]
  34. Lecture #33 (Nov 18) Case-based Learning [ps]
  35. Lecture #34 (Nov 20) Formal Learning Results/PAC [ps]
  36. Lecture #35 (Nov 22) Continued Notes #34
  37. Lecture #36 (Nov 25) Neural Networks [ps]
  38. Lecture #37 (Nov 27) Continued Notes #36
  39. Lecture ### (Nov 29) No Class
  40. Lecture #38 (Dec 2) Neural Networks Continued/Perceptrons [ps]
  41. Lecture #39 (Dec 4) Neural Networks Continued/Backpropagation [ps][figures pdf]
  42. Lecture #40 (Dec 6) Reinforcement Learning [ps][Challenges in AI pdf]