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.
- 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
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.