Computer Science 394F: Knowledge Representation and Reasoning

TTH 3:30-5:00 pm

Spring 2007

Teaching Staff

Who	Office	Office Hours	Phone	email
Bruce Porter	Taylor 4.124	Wednesday 4:00-5:00 or by appointment	471-9565	porter@cs.utexas.edu
Michael Glass	TBA	Tuesday 10:00-11:00 or by appointment	471-9507	mrglass@cs.utexas.edu

Course Description

Knowledge Systems are computer programs that embody a substantial amount of knowledge of some topic and use that knowledge to answer questions and solve problems that are traditionally solved by human experts.

The goal of this course is to acquaint you with research and practice in building Knowledge Systems. We will survey the literature on knowledge representation, automated reasoning and knowledge acquisition, but the focus of the class will be on constructing computational representations and experimentally evaluating their strengths and weaknesses.

Topics

Introduction to Knowledge Systems
Overview of Knowledge Representation and Automated Reasoning
Logic and Prolog
Structured representations of knowledge: Semantic Nets, Frames
Comprehensive KR&R systems, such as KM
Advanced Topics

Grading

Grades will be assigned based on the following:

three short exercises: 20%
two small projects: 30%
one large project: 30%
class presentation: 10%
class participation: 10%

Related Work

Bruce Porter's research group; Research on knowledge systems around the world