DEPRECATED: superseded by pddlstream
STRIPStream is a Python library containing languages for modeling planning problems in infinite domains and algorithms for solving these problems.
STRIPStream includes two representation languages: the STRIPStream language and the Factored Transition System (FTS) Language. The STRIPStream language is a programmatic extension of PDDL (Planning Domain Definition Language). STRIPStream problem formluations are in scripts/.
The FTS Language is a way of describing transition systems factorable into state and control variables as well as constrains on these variabes. FTS problem formluations are in fts_scripts/. FTS problems are automatically compiled into STRIPStream problem instances and solved using the same set of algorithms. I recommend using STRIPStream over FTS when modeling problems as it is more flexible.
STRIPStream is still in development. Additional documentation and examples will be added shortly. In particular, several robotics examples using OpenRAVE and an in-house, standalone Python robotics simulator are on the way.
https://caelan.github.io/stripstream/
http://web.mit.edu/caelan/www/research/stripstream/
I've provided a VMWare virtual machine (VM) that has STRIPStream, FastDownward, NumPy, Tkinter, and OpenRAVE installed on it. Remember to periodically pull STRIPStream and the other libraries to obtain the lastest version. The VM username is ss-or, and the password is also ss-or.
https://www.dropbox.com/sh/g7dbz3sdiv8zknn/AAD705L2YbB0ortsKPNY7WiZa?dl=0
STRIPStream optionally supports using arbitrary PDDL planners to implement the search subroutine. The following planners are currently supported. Additional planners will be added in the future. Contact me if you are interested in supporting a new planner. The default search subroutine implementation uses a slow Python Breadth-First Search (BFS), so installing one of these planners is highly recommended.
Follow these instructions to install FastDownward:
http://www.fast-downward.org/ObtainingAndRunningFastDownward
Once installed, set the environment variable FD_PATH to be the build of the FastDownward installation.
It should look similar to .../FastDownward/builds/release32/ depending on directory and chosen release.
FastForward is available here:
https://fai.cs.uni-saarland.de/hoffmann/ff.html
I use FF-v2.3 and FF-X (supports derived predicates). Once installed, set the environment variable FF_PATH to be the root of the FastForward installation.
It should look similar to .../FF-v2.3/ or .../FF-X/.
The following tutorial implements a countable task and motion planning (TAMP) problem:
https://caelan.github.io/stripstream/tutorial.html
You can run this tutorial using the following command:
python -m scripts.run_tutorial
The following scripts contain example STRIPStream formulations that soley use Python:
STRIPStream
python -m scripts.run_tutorial
python -m scripts.run_pddl_tutorial
python -m scripts.run_blocksworld
python -m scripts.run_countable_tamp [--search SEARCH] [-focus] [-viewer] [-display]
python -m scripts.run_continuous_tamp [-fd] [-focus] [-viewer] [-display]
FTS
python -m fts_scripts.run_tutorial
python -m fts_scripts.run_prm
Install the following repositories and add them to your PYTHONPATH environment variable.
https://github.com/caelan/PyR2 https://github.com/caelan/motion-planners
python -m scripts.run_pyr2_fixed_base
The following scripts contain example STRIPStream formulations using OpenRAVE:
STRIPStream
python -m scripts.run_openrave_tamp_fixed_base [-viewer]
FTS
python -m fts_scripts.run_openrave_tamp_fixed_base [-viewer]
OpenRAVE can be difficult to install. OpenRAVE only reliably supports Ubuntu. See the following blog posts for Ubuntu intallation instructions. I recommend building from master in order to take advantage of the latest improvements.
Installing OpenRAVE on Ubuntu 14.04 - https://scaron.info/teaching/installing-openrave-on-ubuntu-14.04.html
Installing OpenRAVE on Ubuntu 16.04 - https://scaron.info/teaching/installing-openrave-on-ubuntu-16.04.html
Installing OpenRAVE in Ubuntu 14.04 (Trusty) - http://fsuarez6.github.io/blog/openrave-trusty/
The following command executes tests that do not require FastDownward:
python -m unittest tests.test_countable_bfs
The following command executes tests that require FastDownward:
python -m unittest tests.test_countable_fd
The following command executes all tests:
python -m unittest discover -s tests
Additional tests will be added in the future.
STRIPS Planning in Infinite Domains - https://arxiv.org/abs/1701.00287
Sample-Based Methods for Factored Task and Motion Planning - http://web.mit.edu/caelan/www/publications/rss2017.pdf
Caelan R. Garrett, Tomás Lozano-Pérez, Leslie P. Kaelbling. STRIPS Planning in Infinite Domains, ICAPS Workshop on Planning and Robotics (PlanRob), 2017.
Caelan R. Garrett, Tomás Lozano-Pérez, Leslie P. Kaelbling. Sample-Based Methods for Factored Task and Motion Planning, Robotics: Science and Systems (RSS), 2017.