The Department of Computer Science & Engineering |
CSE 4/572:
KNOWLEDGE-BASED ARTIFICIAL INTELLIGENCE Spring 2002 |
http://www.cse.buffalo.edu/~rapaport/572/S02/syl.html
)
CLASS | INSTRUCTOR | REGIS. NO. | DAYS | HOURS | LOCATION |
---|---|---|---|---|---|
Lecture | Rapaport | 472: 235525 572: 075463 |
MWF | 10:00 - 10:50 a.m. | Natural Sciences 210 |
Recitation R2 | Bidwell | 472: 211492 572: 033645 | Fri | 2:00 - 2:50 p.m. | Clemens 113 |
Recitation R1 | Bidwell | 472: 031745 572: 323306 | Mon | 1:00 - 1:50 p.m. | Norton 213 |
Recitation R3 | Bidwell | 472: 031632 572: 225045 | Tue | 8:30 - 9:20 a.m. | Bell 139 |
Note: For the record,
I have adjusted some of the dates below to reflect what
we actually did in class, rather than on what I had hoped to do :-)
DAYS | DATES | TOPICS | READINGS |
---|---|---|---|
Jan 23 - Feb 4 | Intro to course. What is AI? Agents; Cassie. |
R&N:
2 (Agents); Luger:
3 (Minsky), 4 (Newell & Simon), 5 (Newell) | |
Wed | Jan 23 | CCS
Colloquium
David Pierce, UB CSE "Machine Learning Strategies for Corpus-Based Natural-Language Processing" 2:00 - 4:00 p.m., 280 Park |
|
Fri, Mon, Tue | Jan 25, 28, 29 | First meetings of recitations | |
Feb 6 - Feb 20 | Search | R&N:
4.1 (best-first), 4.2 (heuristic search) | |
Mon | Feb 18 | *** PROJECT 1 (mini-Eliza) DUE *** | |
Tue | Feb 19 | UB CSEGSA Grad Conference | |
Wed | Feb 20 | CCS
Colloquium
Suzanne Stevenson, U/Toronto CS "Learning Semantic Classes of Verbs from Syntactic Frequencies" 2:00 - 4:00 p.m., 280 Park |
|
Feb 22 - Apr 10 | Reasoning:
logic & automated theorem proving |
R&N:
7 (FOL), 9 (inference), 10.1, 10.2 (unification);
14 (Logic Theorist) | |
Fri | Mar 8 | *** PROJECT 2 (search) DUE *** | |
Wed | Mar 6 | CCS
Colloquium
Ernest Lepore, Rutgers/Phil & CogSci "An Abuse of Context in Semantics" 2:00 - 4:00 p.m., 280 Park |
|
Wed | Mar 13 | Review for Mid-Term | |
Wed | Mar 13 | CCS
Colloquium
Ray Jackendoff, Brandeis/Ling & CogSci "Reintegrating Generative Linguistics" 2:00 - 4:00 p.m., 280 Park |
|
Thu | Mar 14 | CCS
Colloquium
Ray Jackendoff, Brandeis/Ling & CogSci "Possible Stages in the Evolution of the Language Capacity" 3:00 - 5:00 p.m., 280 Park |
|
Fri | Mar 15 | *** MID-TERM EXAM *** | |
Mon | Mar 18 | Review of Mid-Term | |
Fri | Mar 22 | *** Last day to withdraw with a grade of `R' *** | |
Sat-Sun | Mar 23 - Mar 30 | Spring Break (no classes) | |
Apr 12 - Apr 26 |
Knowledge representation;
SNePS |
R&N:
10.5 (production systems), 10.6 (semantic networks); Luger:
7 (Collins & Quillian, semantic networks), 9 (Schank, conceptual dependency), 19 (McCarthy, advice taker) | |
Wed | Apr 17 | CCS
Colloquium
Susan Lederman, Queens U/Psych & CIS "Designing Haptic and Multimodal Interfaces for Teleoperation and Virtual Environments Systems: A Cognitive Scientist's Perspective" 2:00 - 4:00 p.m., 280 Park |
|
Fri | Apr 19 | *** PROJECT 3 (automated reasoning) DUE *** | |
Wed | Apr 24 | CCS
Colloquium
Jeffry Pelletier, U/Alberta Phil & CS "A Philosophical Look at Compositionality" 2:00 - 4:00 p.m., 280 Park |
|
Apr 26 |
Natural-language understanding | R&N:
23 (NLP); Luger 8 (Winograd) | |
Apr 29 - May 1 | Philosophical issues in AI | R&N:
27 (future of AI);
29 (Minsky, on various disputes in AI), 30 (Simon);
| |
Fri | May 3 | Last Class: Review *** PROJECT 4 (SNePS) DUE *** |
|
Mon, Tue, Fri | Apr 29, 30; May 3 | Last meetings of recitations | |
Thu | May 9 | ***FINAL EXAM*** 3:30-6:30 p.m., Fillmore 355 |
Reading | CSE 472 | CSE 572 |
---|---|---|
R&N sections listed above;
other assigned readings |
required | required |
Luger sections listed above | strongly recommended | even more strongly recommended!! |
non-assigned sections of R&N |
recommended;
at least read the intro & summary sections | strongly recommended;
at least read the intro & summary sections |
sunyab.cse.472
and
sunyab.cse.572
.
You may post questions and comments there
that are of general interest to the entire class.
From time to time, information about homeworks, etc., will be posted to
the newsgroups. These newsgroups will be archived in the
CSE
472/572 Newsgroup Archive.
If they are turned in after the start of lecture, your grade will be discounted by one full letter grade (e.g., A becomes B, A- becomes B-, etc.).
If they are turned in after the start of the next lecture, your grade will be discounted by two full letter grades (e.g., A becomes C, A- becomes C-, etc.).
If you turn in a HW after the start of the class after that, your grade will be discounted by three full letter grades (e.g., A becomes D, etc.).
No HWs will be accepted after that.
CSE 472 students will have accounts on the CSE undergraduate machines; CSE 572 students will have accounts on the Grad Lab machines. If you do not have access to these machines, please let me know as soon as possible! You will be expected to learn how to use Unix and emacs on your own.
But you are strongly advised to (learn and) use Lisp if you intend to do any research in AI. Moreover, there are good reasons to learn Lisp even if you want to make it in the real world of e-commerce; see:
The implementation of Lisp for this course is
Allegro Common Lisp (acl
), which runs under the Unix operating
system.
You will be expected to learn the idiosyncrasies of Allegro Common
Lisp on your own (the Shapiro text should be of help). For more
information on Lisp, see Marty Hall's
"An Introduction and
Tutorial for
Common Lisp" website.
CIT offers
short courses
on Unix, etc. To contact CIT:
in person: | 216 Computing Center |
by phone: | 645-3542 |
by fax: | 645-3617 |
by email: | cit-helpdesk@buffalo.edu |
on the Web: | http://wings.buffalo.edu/computing/Help-Desk/ http://www.cit.buffalo.edu/students.html |
In the real world, you will be expected to write papers, either for presentation at conferences, publication in journals, or presentation to your boss or co-workers. No one reads computer programs except the programmer him- or herself, or someone else who has to modify the program. Users and other people want to read about the program, what it does, how it works, etc., and to see it in action. Consequently, the main product of your work is the paper, not the program! In the paper, you should say what you have done, and say (in English summary, not in programming detail) how you have done it. It should also include annotated examples of your program in action. These should be well chosen to illustrate the range of performance of your program. The examples should not be redundant, nor included merely because they look complicated. Each example should illustrate a particular ability of your program. Nevertheless, the reader will assume that your program does nothing interesting that isn't illustrated! You should read Shapiro, Stuart C. (1999), "NimLearn: A Learning Nim Player", to see an example of a such a paper. By reading that paper, you might also learn some good Common Lisp programming techniques. (You can run the nimlearn program by running ACL, and loading /projects/shapiro/AIclass/nimlearn.)
The program listing should either be presented as figures throughout the paper, or as an appendix. In either case, the listing is included as documentation for what you say in the paper.
Thus, each report must consist of the following components:
Recitation grade (including attendance, homeworks, quizzes, etc.) | 25% |
Projects | 25% |
Midterm Exam | 25% |
Final Exam | 25% |
Total | 100% |
For further information, see my web document on "Grading Principles"
Incompletes:
It is University policy that a grade of Incomplete
is to be given only when a small amount of work or a single exam is
missed due to circumstances beyond the student's control, and that
student is otherwise doing passing work. I will follow this policy
strictly! Thus, you should assume that I will not give
incompletes :-)
Any incompletes that I might give, in a lapse of judgment :-),
will have to be made up by the end of the
Fall 2002
semester.
For more information on Incomplete policies, see the web page,
"Incompletes".
ACADEMIC INTEGRITY:
While it is acceptable to discuss general
approaches with your fellow students, the work you turn in must be your
own. It is the policy of this department that any violation of
academic integrity will
result in an F for the course, that all departmental
financial support including teaching
assistanceship, research assistanceship, or scholarships be
terminated, that notification of this
action be placed in the student's confidential
departmental record, and that the student be
permanently ineligible for future departmental financial
support. If you have any
problems doing the homeworks or projects, consult the TA or
Prof. Rapaport. Please be sure to read the webpage,
"Academic Integrity: Policies and Procedures", which spells out all the
details of this, and related, policies.
CLASSROOM DISRUPTIONS:
In large classes (such as this), students have been known to be disruptive,
either to the instructor or to fellow students. The university's
policies on this topic, both how the instructor should respond and how
students should behave, may be found in the document
"Obstruction
or Disruption in the Classroom - Policies"