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
Michael Glass TBA Tuesday 10:00-11:00 or by appointment 471-9507

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.



Grades will be assigned based on the following:

Related Work

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