CSC2542: Topics in Knowledge Representation and Reasoning:
Automated Planning and Reasoning about Action
Fall 2010  

CSC2542 is a seminar course that will explore recent advances in knowledge representation and reasoning. The course will draw predominantly on research readings. The format of the course will be a mix of class lectures, seminars, and student paper presentations. A course project will make up a significant part of a student's course mark.

In Fall 2010, the topic being covered is "Automated Planning and Reasoning about Action." Automated planning is a branch of AI that concerns the generation of a set of actions and associated contraints to be executed by some agent or agents. Planning is an active area of research that is central to the development of intelligent agents and autonomous robots. The theory and algorithms we will be exploring in this course are applicable to a diversity of problems including software and hardware verification, genome sequencing, and automated monitoring and diagnosis. For those students outside of AI who may be considering taking the course, the course project can be used as an opportunity for students to explore the application of planning techniques to an application area of your interest.

This should be a fun and interesting course!