How to install and run JSHOP2:
Make sure that Java is installed fully on your computer.
After unzipping the JSHOP2 zipped file in any directory, set the CLASSPATH
environment variable to include (replacing JSHOP2_DIRECTORY with the directory
where JSHOP2 is unzipped):
- in Windows:
JSHOP2_DIRECTORY\bin\antlr.jar;JSHOP2_DIRECTORY\bin\JSHOP2.jar;.
- in UNIX:
JSHOP2_DIRECTORY/bin/antlr.jar:JSHOP2_DIRECTORY/bin/JSHOP2.jar:.
This is the environment variable Java uses to looks for Java ARchive (jar)
files used by JSHOP2.
After making sure the CLASSPATH variable is correctly set, any of these
commands can be used at the command line:
- make
or
make c : To compile the JSHOP2 source files and make the needed .jar files.
This has to be done before JSHOP2 can be run.
- make d : To make the HTML JSHOP2 package documentation out of the source
files.
- make 1 : To run the first example, the blocks world domain.
WARNING: This is a very big problem, so it will take a long time to
solve the problem and display the results.
- make 2 : To run the second example, the basic domain.
- make 3 : To run the third example, the old implementation of the blocks
world.
- make 4 : To run the fourth example, the test domain.
- make 5 : To run the fifth example, the logistics domain.
- make 6 : To run the sixth example, the freecell domain.
- make 7 : To run the seventh example, the propagation domain.
- make 8 : To run the eighth example, the forallexample domain.
- make 9 : To run the ninth example, the rover domain.
WARNING: This is a very big problem, so it will take a long time to
solve the problem and display the results.
- make 10: To run the tenth example, a very small blocks world problem where
all plans, rather than just the first one found, are to be returned.
- make 11: To run the eleventh example, the MadRTS domain.
-----------------------------------------------------------------
The important files and directories in this release of JSHOP2:
./make.bat : The make file for windows.
./Makefile : The make file for Unix.
./README : This file.
./JSHOP2.pdf : The JSHOP2 user's manual.
./src/JSHOP2 : The source code of the JSHOP2 package.
./bin : The directory where the compiled jar files are stored.
./doc/index.html : The HTML package documentation of JSHOP2.
./examples/blocks : The blocks world domain featuring list manipulation in
JSHOP2, use of axioms, and on-the-fly creation of the
logical atoms at run time.
./examples/basic : A very simple domain, ideal to see how it all works and for
debugging purposes.
./examples/oldblocks : An older implementation of the blocks world domain,
featuring on-the-fly creation of operator delete and add
lists at run time.
./examples/test : A synthesized domain featuring various more complex features
of JSHOP2 including code calls, disjunctions, if-then-else
structure of the method and axiom branches, :sort-by and
:first logical preconditions, etc. Have fun deciphering it.
./examples/logistics : The logistics domain featuring protections, unordered
task lists, immediate tasks, and on-the-fly creation of
the predicates at run time.
./examples/freecell : The freecell domain featuring unordered task lists,
immediate tasks, code calls, and use of ForAll in
delete/add list of operators.
./examples/propagation : A very simple domain showing how variable bindings
propagate only down in the task network.
./examples/forall : A very simple domain that uses forall constructs.
./examples/rover : Our implementation of the Rovers domain, used in the Third
International Planning Competition.
./examples/madrts : A very simple version of the MadRTS game.