The Department of Computer Science & Engineering
CSE 663:
(Fall 2008)

Instructor:Prof. William J. Rapaport
Times:MWF 11:00 - 11:50 a.m.
Classroom:Baldy 120
Reg. No.:457192

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 Course 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.


Knowledge of first-order logic, and some familiarity with resolution and unification (such as might have been obtained in CSE 563 or—for unification, at least—in CSE 567).

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, then please see Prof. Rapaport before registering.

Related web pages:

Copyright © 2008 by William J. Rapaport (