STRIPS to CSP converter

Back to Tutorials.

Tutorial 2: Converting and Solving a STRIPS problem

For this tutorial, we will refer to the problem created in Tutorial 1 shown below:


To start solving the problem, switch over to 'Solve' mode by clicking on the 'Solve' tab. Some menu items which were previously unavailable in 'Create' mode are now enabled. The toolbar buttons will change to give you solving options. The solve toolbar will initially look like the toolbar below:


Because this applet's purpose is to convert the problem to a CSP problem you can see there are three buttons that represent your three choices for solving:

  • The "Solve with Arc Consistency" button will solve the given problem using the Arc Consistency based CSP solving applet.

  • The "Solve with SLS" button will solve the problem with the Stochastic Local Search CSP solving applet.

  • The "Save as CSP" button will save the current problem in a format that is usable in either of the other two applets.

The other button and drop-down menu are for setting the horizon length. The horizon length is how many steps the STRIPS problem should be unrolled to as a CSP. A horizon length of 1 represents one action in the world, a length of 2 represents 2 steps, and so forth. The default length is 0 representing no actions being taken. To set the horizon length select a length from the drop down menu as shown below and press the "Set Horizon" button.


To set the maximum value that can be selected for a horizon, select "Set Max Horizon Length" from the edit menu. The dialog as shown below will appear. Entering in a new value will reset the current horizon length to 0 and fill the drop-down menu with the values of 0 to the number entered.


The image below shows the drop-down menu after the maximum length was set to 20.


Valid HTML 4.0 Transitional