The Department of Computer Science & Engineering
cse@buffalo
CSE 463/563:
INTRODUCTION TO
KNOWLEDGE REPRESENTATION
AND REASONING
(Spring 2003)

Instructor:Prof. William J. Rapaport
Times:MWF 10:00 - 10:50 a.m.
Classroom:Norton 209

Course Description:
An introduction to the issues and techniques of representing knowledge and belief in a computer system; syntax and semantics of various representational formalisms including predicate logic, semantic networks, and frames. Classic papers will be read and current research issues discussed.

Topics will include some or all of the following, as well as others as time permits: the knowledge representation hypothesis; classical propositional and predicate logic; non-classical logics (e.g., modal logics); non-monotonic, defeasible, and default logics; logics of knowledge and belief; truth maintenance and belief revision; semantic networks; frames; description logics (e.g., the KL-ONE family); commonsense reasoning; knowledge sharing; ontologies.

Prerequisites:
CSE 472: CSE 305, or permission of instructor.
CSE 572: Graduate standing and knowledge of a high-level programming language (such as Lisp), or permission of instructor.

Related web pages:




Copyright © 2003 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 563.2003.01.06.html