Artificial Intelligence for Computational Sustainability: A Lab Companion/Deterministic Planning and Problem Solving

Exercise for Planning as Constraint Satisfaction: Commuting to UBC
This is one of a set of practice exercises that were designed for the AI intro courses at UBC. It relies on two online resources: the textbook by Poole and Mackworth, 2010 and AIspace, an interactive tool for learning and exploring concepts in AI.

Learning Goals
Useful in Learning both about Planning and Constraint Satisfaction
 * Represent a planning problem with the STRIPS representation.
 * Translate a planning problem represented in STRIPS into a corresponding CSP problem
 * Solving a CSP by Arc Consistency and Domain Splitting

Sustainability Content
The exercise is about planning how to commute to work. Once the planning problem is expressed as a constraint satisfaction problem a simple constraint can be added to make the solution a sustainable one.

go to exercise