CSE 663: Advanced Topics in Knowledge Representation and Reasoning
Fall 2006; MWF, 12:00 noon12:50 PM; Reg. #472919
Instructor: Prof. William J. Rapaport
Texts:
- Required:
-
Brachman, Ronald J., & Levesque, Hector J. (2004),
Knowledge Representation and Reasoning
(San Francisco: Morgan Kaufmann/Elsevier)
isbn 1-55860-932-6
- Recommended:
-
Russell, Stuart, & Norvig, Peter (1995),
Artificial Intelligence: A Modern Approach
2nd edition
(Englewood Cliffs, NJ: Prentice-Hall),
isbn 0-13-790395-2 (I think)
-
Sowa, John F. (2000),
Knowledge Representation: Logical, Philosophical,
and Computational Foundations
(Pacific Grove: Brooks/Cole)
ISBN 0534949657
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.
Official Prerequisites:
Graduate standing and either CSE 563 (Knowledge Representation) or
CSE 572 (Knowledge-Based AI) or CSE/LIN 567 (Computational Linguistics); or
else permission of instructor.
Description for the Fall 2006 implementation:
This will be a sequel to CSE 563 from the Spring 2006 semester. I plan
to begin with a brief review of logic and automated theorem proving
(Brachman & Levesque, Chs. 1-2) and of the SNePS knowledge-representation,
reasoning, and acting system. I plan then to cover some or all of the
following topics, among others:
- ontology (BL, Ch. 3)
- production systems (BL Ch 7)
- frames (BL 8)
- description logics (BL 9)
- inheritance nets (BL 10)
- default reasoning (BL 11)
- modal and epistemic logics (readings to be assigned)
Assignments and the term project will be similar to my previous
implementation of this course. For further information on that version,
go to: http://www.cse.buffalo.edu/~rapaport/663F03.html
Additional informal prerequisite for the Fall 2006 implementation:
I can't legally require any prerequisite other than those listed above,
but if you did not take CSE 563 in Spring 2006 and/or have no background
in first-order logic, including resolution theorem proving, then please
see me before registering.
Copyright © 2006 by
William J. Rapaport
(rapaport@cse.buffalo.edu)
file: 663F06-20060504.html