Practice Exercise 8.C
STRIPS to CSP
1: Background Reading
2: A Simple Planning ProblemIn the first section we are going to look at a simple planning problem. We want to get from home to UBC, going either by car or by bike. Going by car or bike depends on having a car or bike. How might we represent this problem using the STRIPS representation? Before moving on to the next step, write your STRIPS representation, specifying the variables, actions, pre-conditions and post-conditions.
Open the STRIPS to CSP tool and load the file http://www.aispace.org/exercises/simpleCommuting.xml by clicking File → Load from URL. Does this representation match your STRIPS representation above? How do we represent our goal in this representation?
Make a hypothesis about how this STRIPS representation might be represented as a CSP. Write down your hypothesized CSP.
3: A More Complex Planning ProblemIn our first example above, our problem was very simple. We needed to get to UBC, we had two actions available to us, and both actions were feasible (haveBike and haveCar were 'true'). Either choice would bring us to the correct location. We will now explore a more complex example.
Open the STRIPS to CSP tool and load the file http://www.aispace.org/exercises/complexCommuting.xml by clicking File → Load from URL.
Examining the STRIPS representation that was loaded, describe the represented scenario in plain English (e.g. what the actions are and what conditions must hold for an action to be possible). Describe how you imagine the STRIPS problem could be represented as a CSP. How will the preconditions and postconditions be represented? What are the domains of the action variables?
4: CSP PlanningIf our goal is not just to get to UBC but to satisfy some other constraint while getting to UBC, how might we represent this? For example, what if we want to get to UBC and to minimize our impact on the environment at the same time? Give a CSP representation for this.
Open the consistency for CSP tool and load the file http://www.aispace.org/exercises/CSPcommuting.xml by clicking File → Load from URL.
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|