CMPUT 620 - Topics on Knowledge Representation and Reasoning
Overview
Knowledge representation and reasoning (KRR) is a field of artificial intelligence dedicated to representing information about the world in order to facilitate reasoning. This course will focus on a particular KRR approach called Answer Set Programming (ASP). ASP is crystallized from years of research in knowledge representation, logic programming, and constraint satisfaction. The goal is to provide a declarative language for modeling domain knowledge and computational tools for processing programs written in such a language. With highly competitive ASP solvers already built, emerging applications have been explored, for example, in molecular biology, planning, solving puzzles and games, and more recently, reasoning with the web. The lectures will discuss the foundation, the semantics, computational complexity, building ASP solvers, and applications. Students are required to complete two assignments in order to be able to use the tool, do a take-home quiz, and carry out a course project.
Objectives
- Learn the fundamental idea of KR and get familiar with major tools in the area
- Obtain hand-on experience on applying some KR tools to declarative problem solving
- Explore research issues in KR
Course Work
- Programming assignment(s) (using KR tools)
- Take home quiz
- Term project
- Presentation