| Dec 17 |
The grades for A3 are now available through CDF. If you are interested
in your mark breakdown, please send me an email.
Since grades have to be finalized by Wednesday, I can only accept
remarking request until Tuesday 6pm. Sorry for the short notice. If you want any of your assignments back (if you handed them in on paper), please let me know, we will arrange something. |
| Dec 06 | If you have any remarking request, please send them to Bahar before class tomorrow, so that she has a chance to look at your assignment beforehand. |
| Dec 06 | I added two more previous exams that may be useful for your exam preparation. |
| Dec 06 | The resolution proof for Question 3 of A2 can be found here. |
| Dec 06 |
Just one clarification regarding sentence 5 in Question 5 of A2.
It can also be written as: ∀ x ( ∃ y object(x) ∧ part_of(y,x)) ⇒ physical_object(x) (notice the parentheses), but not as: ∀ x ∃ y object(x) ∧ part_of(y,x) ⇒ physical_object(x) which would imply that the existential quantifier ranges over the entire sentence (which changes the meaning). |
| Dec 06 | The review slides are available now. |
| Dec 05 |
The solution to the sentences 4 to 6 in Question 5 of A2 should read: ∀ x,y,z,v physical_object(x) ∧ physical_object(y) ∧ x ≠y ∧ location(x,z) ∧ location(y,v) ⇒ z ≠v ∀ x,y object(x) ∧ part_of(y,x) ⇒ physical_object(x) ¬ ∃ x physical_object(x) ∧ abstract_object(x) |
| Dec 02 |
Office hours before the final exam:
|
| Dec 02 |
Monday, Dec. 5 we will split the lecture time into three parts:
Wednesday, Dec. 7 in the make-up timeslot: |
| Dec 02 |
The grades for assignment 2 are posted. I have a mark breakdown with comments for everyone, I will bring it to class on Monday.
I decided to not count Question 4.8 because of the late change and the resulting confusion. Therefore, the assignment is out of 130. However, we credited up to 4 bonus marks (that is your mark (out of 10) divided by 2.5 and rounded to the nearest 0.5) if you got marks on Question 4.8. E.g. If you obtained 4 out of 10 marks for that question originally, you got 1.5 bonus marks. Please wait until after the lecture on Monday if you have any questions or or concerns about the assignment. Also, please first look at your mark breakdown. If you then have concerns or questions, please contact Bahar first with a brief description of your concern. |
| Nov 28 |
The deadline for submission for assignment 3 has been postponed to
Sunday, Dec 4, 3pm. If you have grace days left, we will only count
them from Sunday on. No submissions will be accepted after Wed. Dec. 7,
3pm. There still will be a silence period starting on Sat., Dec. 3, 3
pm.
I hope that gives everyone a little more time to complete the assignment, but still allows us to go over the assignment on Wed., Dec. 7 in class. |
| Nov 28 |
I posted two example exams from previous years and additional
information on the content of the exam as well as the acceptable aids.
Please read here carefully. |
| Nov 22 |
As discussed in class, Atalay will give two help sessions in BA 3289, for A3: Thursday, Nov 24 5:30-7pm, Wednesday, Nov 30 2:00-3:30pm. Please start working on the assignment early to make effective use of the time slots. |
| Nov 21 |
I have added the PDDL examples that Atalay used in the tutorial on the page containing all the lecture slides. |
| Nov 21 |
In Assignment 3 the problem files were missing the "barge" predicates.
They have now been corrected, please download the updated problem files
(there are no other changes except for the additional "barge"
predicates. |
| Nov 20 |
The slides for Monday's lecture on probabilities and Bayesian networks are now available. |
| Nov 20 |
I corrected the slides on Planning (in particular the example of a
planning graph with mutexes). The extended set of slides is now
available. |
| Nov 15 |
Assignment 3 is out. Please direct any questions to Atalay. |
| Nov 09 |
I realized there is a mistake in the 2nd assignment. In Question 4(8) the sentence (21) should read: forall x (-MinDim(x) ^ -ZEX(x) -> exists y Precedes(y,x)).
Then the hint also makes more sense. To compensate, I decided to extend
the submission deadline by one day to Sat, Nov 12 by 3pm. |
| Nov 08 |
Next Monday, Nov 14, we will finish planning and Atalay will give a
tutorial on planning with PDDL which you will be using for the last
assignment. |
| Nov 01 |
The marks for the midterm are available on CDF. The average is on the
low end (around 64%), so don't be worried too much about your final
mark. The current average for the course (after A1 and the midterm) is
69% - a somewhat low figure.
If the average stays that way, I may raise the marks slightly (no
promises, though!). If you haven't picked up your midterm or your mark breakdown for the first assignment, please drop by my office (BA8120). I will also have them available during office hours next week. |
| Nov 01 |
Remember, we will have no class next Monday, Nov 08. I will have office hours on Tuesday though. |
| Oct 31 |
The slides for today's (and next week's) lecture are now available. Sorry for the late posting. |
| Oct 30 |
An error in Question 7 of Assignment 2 has been corrected (deleting one
line); a new version of the pdf has been uploaded (no other changes!).
The help session for A2 on Wednesday, Nov. 2 will be in BA3289 from 2:30
to 3:30. Make use of the help we provide! |
| Oct 30 |
The midterms are marked; I will returned them on Monday in class. We
will have 2h of lectures (finishing KR and starting Planning) and Bahar
will go over some examples of resolution, translation of English
sentences into FOL, MGUs, and Skolemization in a 1h tutorial starting at
8pm. |
| Oct 24 |
The marks for A1 are available on CDF now. Due to a summation glitch,
some had to be corrected from the earlier version.
We have a detailed mark break down for each student. You can pick it up
during office hours tomorrow or next Monday in class. For any remarking
requests, email Alexandra with a detailed description of your request. |
| Oct 24 |
I updated the slides for today's lecture (KR-II). |
| Oct 18 |
In A2, in the first question 'Pi' in the interpretation denotes what we called 'Psi' in class. |
| Oct 18 |
I added more details about the midterm here,
in particular a brief review of interpretations/models in FOL. I also
added which of the questions in the sample tests are irrelevant for the
midterm. |
| Oct 18 |
The tools for Assignment 2 are now installed on CDF. You can access the
command line tools simply by typing 'prover9' or 'mace4' and the GUI by
typing 'prover9-mace4'. |
| Oct 18 |
Assignment 2 is posted. The command-line tools prover9 and mace4 are available on CDF under /u/csc384h/fall/pub. |
| Oct 18 |
I updated yesterday's slides and split them into two sets: one set to the point we got yesterday and the second for next week. |
| Oct 13 |
Next week I will extra office hours in preparation for the midterm: Tuesday, Oct 18, 5:15-6:45pm in BA4261, Wednesday, Oct 19, 2:30-3:30pm in BA3289. |
| Oct 13 |
I posted the topics of the midterm and some sample questions here. |
| Oct 13 |
The slides for the next two lectures on Knowledge Representation are up. |
| Oct 03 |
I added more details to the slides for today's lecture. |
| Sep 29 |
As discussed in class, Alexandra will give two help sessions in the CDF lab, room BA 3185, for A1: Tuesday, Oct 4 6-7:30pm, Wednesday, Oct 12 1:30-3pm. Please start working on the assignment early to make effective use of the time slots. If you have specific problems with your code, Alexandra may be able to help you. |
| Sep 28 |
The slides for next Monday's lecture are up. |
| Sep 25 |
Due to AI Day on Tuesday, office hours this Tuesday will be only 5:15 to
6pm. Afterwards you can find me at the AI Day reception in BA3200. |
| Sep 25 |
Forgot to put the link for the slides on Game-tree Search. They are here. |
| Sep 22 |
The slides for next Monday are up.
We will first finish Heuristic Search (a do a little review/summary of it) before we move on the Game-tree Search. |
| Sep 21 |
Assignment 1
is posted. Please read the entire assignment carefully before asking
questions. Please direct all questions regarding the assignment to
Alexandra.
|
| Sep 20 |
Office hours will be today (Tuesday, Sep 20) in BA 4261 from 5:15 to 6:45pm.
If that rooms works out, we will have office hours there throughout the term.
The room is located behind the elevators on the College St. entrance of Bahen.
If the time does not work for me and you want to see me, please email me for an appointment.
|
| Sep 19 |
The slides for today's lecture on search are available. |
| Sep 15 |
Sebastian Thrun (Stanford University) and Peter Norvig (Google Research and co-author of our textbook) will be giving an online AI class
this term including recorded lectures. You might find their
presentations (they are very good lecturers and have a lot of experience
in building AI systems) a very useful source in addition to our
lectures. You do have to register to access their lectures and material. |
| Sep 14 |
Alexandra posted an overview of the Prolog tutorial on the discussion board. |
| Sep 07 |
Alexandra will give the introductory lecture and a Prolog Tutorial on Mon, Sep 12, 6-9pm. This is the only tutorial we'll be giving on Prolog. |
| Sep 07 |
Course info sheet posted to main course web page. |
| Sep 07 | Welcome to the course. |