COMP 319 Knowledge, Representation, and Reasoning

Knowledge Representation and Reasoning is the area of Artificial Intelligence concerned with how knowledge can be represented and how automated systems can reason about that knowledge.  In this course, we will learn how to use symbolic notations to represent knowledge, including how to represent objects, events, time, space, and language.  We will also learn how to use automated reasoning systems to manipulate these representations and derive new knowledge.  This will be a hands-on course in which we apply concepts from philosophy, psychology, and cognitive science to build systems that can reason about real-world problems.

Sub-field: ARTIFICIAL INTELLIGENCE