The Department of Computer Science & Engineering |
CSE 663:
ADVANCED KNOWLEDGE REPRESENTATION & REASONING Fall 2008 |
http://www.cse.buffalo.edu/~rapaport/663/F08/syl.html
Last Update: 20 November 2008
Note: or material is highlighted |
COURSE DESCRIPTION:
Knowledge representation and
reasoning (KRR) is the part of
artificial intelligence (AI) that is
concerned
with
the
techniques for representing and reasoning about the information to be
used by an AI program.
Official catalog description:
A second graduate course in knowledge representation and reasoning
covering such topics as automated theorem proving, semantic network
implementation, etc., and surveying knowledge representation and
reasoning topics not covered in other graduate-level courses. Topics
will vary according to instructor and student interests.
Fall 2008 description:
This course is a sequel to
Prof. Shapiro's
CSE 563 from the Spring 2008 semester.
It will be a survey of issues in, and techniques of, representing
and reasoning about and with
knowledge, belief, and information
in a(n artificially intelligent) computer system and of the syntax
and semantics of various representational formalisms.
Classic papers will be read and current research issues discussed.
I will begin with a brief review of logic and automated theorem proving (unification and resolution) and of the SNePS knowledge-representation, reasoning, and acting system. Remaining topics will include some or all of the following, as well as others as time permits: modal and epistemic logics, ontologies, semantic networks, production systems, frames, description logics, inheritance networks, default reasoning, and the situation calculus.
Graduate standing and either
CSE 563 (Knowledge Representation) or
CSE/LIN 567
(Computational Linguistics); or else permission of instructor.
Unofficial:
Knowledge of first-order logic, and some familiarity with resolution and
unification
If you did not take CSE 563 in Spring 2008 and/or have no
background in first-order logic, including unification and resolution
theorem proving,
Notes:
"You can lead a horse to water, but you can't make him drink."
American Proverb
"You can lead a horse to water, but you must convince him it is water
before there is any chance he will drink." Albert Goldfain
"Education is not filling a bucket, but lighting a fire."
William Butler Yeats
But...
"To read critically is to read skeptically. The reader
asks...not only, 'Do I understand what this means?' but 'Do I buy
it?' " Kenneth S. Goodman
Therefore,
be
sure to get a classmate's phone number or email address
Announcements may also be posted to the course website or the email Listserv.
You will automatically be placed on an email list (a "Listserv") for the
course.
You may send questions and comments
that are of general interest to the entire class using the Listserv:
You can also send email just to me, at:
In any case, be sure to fill in the subject line, beginning with
"CSE 663" and please use your @cse.buffalo.edu or @buffalo.edu
address
so that my mailer doesn't think it's spam.
If you send email just to me that I deem to be of general interest, I will
feel
free to remail it to the email list along with my reply
unless you explicitly tell me that you want to remain anonymous,
in which case I may choose to remail it to the email list preserving
your anonymity.
The emails will be
archived at the listserv website,
and
I will also archive them at
http://www.cse.buffalo.edu/~rapaport/663/F08/EMAIL/.
For more information, read the Listserv Information webpage.
This is part of our
Contextual Vocabulary Acquisition
project. Further details will be announced in lecture and on the
course website.
This course project may be used as your master's project for the M.S. in
CSE. There is additional departmental paperwork that has to be filled
out if you intend to use the project for this purpose.
For information on Lisp, see my
webpage about
information on
Lisp
for CSE 663.
We will discuss the SNePS knowledge representation and re
asoning
system in class, but those of you who do not already know it should work
through the SNePSUL
Tutorial
and/or the SNePSLOG Introduction
at
as soon as possible.
For information on my philosophy of grading, see my web document on "How I Grade"
For more information on Incomplete policies, see the Graduate School web page,
"Incomplete Grades".
For some hints on how to avoid
plagiarism when writing essays for courses, see my website
"Plagiarism".
PREREQUISITES:
Official:
(such as might have been obtained in CSE 563
orfor unification, at leastin CSE 567).
then please see Prof. Rapaport before registering.
STAFF:
Professor:
Dr. William J. Rapaport,
214 Bell Hall,
645-3180 x 112,
rapaport@cse.buffalo.edu
Office Hours:
Mondays & Tuesdays, 2:00-3:00 p.m.,
and by appointment.
CLASS MEETINGS:
CLASS
INSTR.
REG. #
DAYS
HOURS
LOCN
Lecture
Rapaport
457192 (3 cr.) MWF
11:0011:50 a.m.
Baldy 120
TEXT:
Brachman, Ronald J.,
&
Levesque, Hector J.
(2004),
Knowledge Representation and Reasoning
(San Francisco: Morgan Kaufmann/Elsevier Science);
ISBN 1-55860-932-6.
IMPORTANT DATES
& TENTATIVE SCHEDULE:
DAY
MTH
DT
TOPICS
READINGS
M
Aug
25
Intro to course;
What is KRR?This syllabus;
BL Ch.1W
27
Contextual Vocabulary Acquisition
CVA website
F
29
CVA Project assigned.
What is KRR? (cont'd)
CVA Programming Project
M
Sep
1
(No Class: Labor Day)
W
3
First-order logic (review):
Recommended:
F
5
FOL review: Syntax
CVA word choice due
BL, Ch.2
M
8
Discuss CVA words;
FOL review: Semantics of the rep'n lang.
W
10
FOL review: Semantics (cont'd)
and Inference
F
12
Inference: Syn and Sem;
SNePS Tutorial report due
M
15
Modal & epistemic logics
Garson 2008
W
17
Modal & epistemic logics (cont'd);
HW #1 Assigned
Rapaport 1992 [PDF]
F
19
Modal & epistemic logics (cont'd)
Moore 1977
M
22
Modal & epistemic logics (concluded);
OntologiesBL Ch.3
W
24
HW #1 due
Ontologies (cont'd)
Smith 2003
F
26
Ontologies (concluded)
Noy & McGuinness 2001
M
29
HW #2 Assigned
Semantic networks:
SNePS
Shapiro & Rapaport 1995
W
Oct
1
SNePS (cont'd)
Quillian 1967
F
3
SNePS (concluded)
Lytinen 1992
M
6
HW 2 due
Sem. nets: Quillian
BL Ch.7
W
8
Sem. nets: Quillian (concluded);
Conceptual Dependency
F
10
Please use class time to prepare your reports for 10/15
Slagle 1971
M
13
Please use class time to prepare your reports for next class.
W
15
Student Project Reports
F
17
Student Project Reports (concluded)
Lehmann et al. 2006 [PDF]
M
20
HW 2 answers;
Conceptual dependency (concluded)
W
22
Production systems
BL Ch.8
F
24
Production systems (concluded);
Frames
Minsky 1974
M
27
Frames (continued)
Fikes & Kehler 1985
W
29
Frames (concluded);
Description logics
BL Ch.9
F
31
Description logics (cont'd)
Woods 1975
M
Nov
3
Description logics (concluded)
Woods & Schmolze 1992
W
5
Inheritance networks
BL Ch.10
F
7
Inheritance networks (cont'd);
(Last R day)
Etherington & Reiter 1983
M
10
Inheritance (cont'd)
Thomason 1992 [PDF]
W
12
Inheritance networks (concluded);
Default reasoning
BL Ch.11
F
14
Defaults (cont'd)
Selections from Ginsberg 1987
M
17
Defaults (cont'd)
Selections from Ginsberg 1987
W
19
Defaults (cont'd)
BL Ch.14
F
21
Defaults (concluded);
Situation calculus
McCarthy 1959
M
24
Situation calculus (cont'd)
McCarthy & Hayes 1969
W
26
(No Class: Thanksgiving)
F
28
(No Class: Thanksgiving)
M
Dec
1
Situation calculus (concluded)
W
3
AI w/o KRR?!
Brooks 1991a [PDF]
Brooks 1991b [PDF]F
5
Summary & review
Davis et al. 1993
Shapiro 2003M
8
Term Projects Due
READING:
"Teachers open the door, but you must enter by yourself."
Chinese Proverb
How much do you really have to read?
"The more you read, the more intelligent you are. It's really that
simple."
Ethan Hawke
HOW TO READ and HOW TO STUDY:
ATTENDANCE, ASSIGNMENTS, LISTSERV:
(for instance, 1
or 2
people sitting next to you in class, whoever they are!)
so that you will not miss
announcements in the unlikely event that you miss a class.
If you do not normally read email at the email address that
UB
has as your official address, please either do so for this course, or
else have your mail forwarded.
I will use this list as my main
means of
communicating with you out of class.
And you can use it to communicate
with the rest of us.
Just send them to:
Do your work on timethis is one course you simply cannot
cram for at the last minute, so don't even try!
I cannot stress this
strongly enough.
The project, especially, may be fairly
time-consuming, so please consider your other commitments, and plan
your time accordingly.
(requiring note-takers, readers,
extended
project time, etc.).
PROJECT:
/projects/shapiro/SNePS/SnepsIntro/intro.dvi
in person: 216 Computing Center by phone: 645-3542 by fax: 645-3617 by email: cit-helpdesk@buffalo.edu on the Web:
CIT Help Desk
Services for
StudentsGRADING:
Your final course grade will be a weighted average (probably 50-50) of:
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
Spring 2009
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
assistantships, research assistantships, 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 assignments, consult
Prof. Rapaport. Please be sure to read the webpage,
"Probation, Academic Integrity and Discontinuance of Study",
which spells out all the
details of this, and related, policies.
CLASSROOM DISRUPTIONS:
In large classes (but surely not ours :-), 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 PDF document
"Obstruction or Disruption in the Classroom".
Copyright © 2008 by
William J. Rapaport
(rapaport@cse.buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/663/F08/syl.html-20081120