|
The Department of Computer Science & Engineering
|
|
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: