The Department of Computer Science & Engineering

Instructor:Prof. William J. Rapaport
Times:MWF 12:00 noon - 12:50 p.m.
Classroom:Bell 337
Reg. No.:472919

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 2006 Course Description:

This course is a sequel to Prof. Shapiro's CSE 563 from the Spring 2006 semester. It will be a survey of issues and techniques of representing 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: ontologies, semantic networks, production systems, frames, description logics, inheritance networks, default reasoning, and modal and epistemic logics.



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.


Knowledge of first-order logic, and some familiarity with resolution and unification (such as might have been obtained in CSE 563, CSE 572, or—for unification, at least—in CSE 567). If you did not take CSE 563 in Spring 2006 and/or have no background in first-order logic, including unification and resolutiontheorem proving, then please see Prof. Rapaport before registering.

Related web pages:

William J. Rapaport (
file: 663F06-20060806.html