UB - University at Buffalo, The State University of New York Computer Science and Engineering

CSE 563: Knowledge Representation

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.

This course is an introduction to the issues and techniques of representing knowledge and belief in a computer system. Of course, a representation is useless unless it can be used for some purpose. The main purpose of items of knowledge and belief is reasoning about and with them. Thus, the field is often called "Knowledge Representation and Reasoning", or "KRR". It is our belief that formal logic provides the basic foundation to KRR. So this course may be considered a course in computational logic. However, there are many systems of logic. The most well-known logics were designed to form the foundations of mathematics, rather than the foundations of human-like representation and reasoning. So this course examines several systems of logic, how they are defined, how reasoning procedures can be implemented for them, and how they can be used for human-like reasoning problems. This course provides a basic grounding in KRR for people interested in: Artificial Intelligence; Cognitive Science; Computational Linguistics; Database Systems; Logic Programming; Philosophy of Mind and of Language; and applications areas that employ formal representations of ontologies.

None presently available.

Ph.D.:

This course fulfills one Artificial Intelligence Core Course (Breadth) requirement.

M.S.:

This course fulfills one Artificial Intelligence Core Course (Breadth) requirement.

Knowledge of a high-level programming language (such as Lisp) and CSE 305:Cross listed with CSE463.

Course Instances
Semester Section Title Instructor Credit Hours Enrolled
Fall 2016 LEC Knowledge Representation Staff 3 0/ 0
Fall 2014 LEC Knowledge Representation Dr. Jan Chomicki 3 47/150
Fall 2010 LR Knowledge Representation Dr. Stuart C. Shapiro 3 36/70
Fall 2009 LR Knowledge Representation Dr. Stuart C. Shapiro 3 42/59
Spring 2009 LR Knowledge Representation Dr. Stuart C. Shapiro 3 38/56
Spring 2009 LR Knowledge Representation Dr. Stuart C. Shapiro 3 0/10
Spring 2009 LR Knowledge Representation Dr. Kris Schindler 3 0/ 0
Spring 2008 LR Knowledge Representation Dr. Stuart C. Shapiro 3 14/22
Spring 2007 LR Knowledge Representation Dr. Stuart C. Shapiro 3 13/22
Spring 2006 LR Knowledge Representation Dr. Stuart C. Shapiro 3 15/22
Spring 2005 LR Knowledge Representation Dr. William J. Rapaport 3 21/22
Spring 2004 LR Knowledge Representation Dr. Stuart C. Shapiro 3 14/18
Spring 2004 LR Knowledge Representation Dr. Stuart C. Shapiro 3 0/10
Spring 2003 LR Knowledge Representation Dr. William J. Rapaport 3 19/26
Valid XHTML 1.0 Transitional