Curriculum
  /  
Descriptions
MSAI 371: Knowledge Representation and Reasoning


VIEW ALL COURSE TIMES AND SESSIONS

Prerequisites

Core MSAI course

Description

Knowledge Representation and Reasoning (KRR) is the area of Artificial Intelligence (AI) concerned with how knowledge can be represented and how automated systems may reason about that knowledge. In this course, students will learn how to use symbolic notations to represent knowledge, including how to represent objects, events, time, space, and language. They will also learn how to use automated reasoning systems to manipulate these representations and derive new knowledge. The goal is to introduce students to the foundations and the current state of KRR and to also give them practical experience in KRR as it relates to several domains.
 
This is a hands-on course in which students will apply concepts from Philosophy, Psychology, and Cognitive Science to build systems that can reason about real-world problems.
 
COURSE TOPICS:
  • Principles and practices of knowledge representation
  • Logic, ontologies, and common-sense knowledge
  • Semantic web technologies
COURSE OBJECTIVES: After this course, students should have gained the following:
  • An understanding of formal logic
  • An understanding of Semantic Web ideas and technologies
  • Familiarity with representations for several core domains
  • Hands-on experience creating and using knowledge representations.