From c80688b2413df650f556dc463188683e253d7eeb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 16 Nov 2016 23:27:45 +0100 Subject: [PATCH] Changed format of readme file for STRIPS encodings to Markdown. --- encodings/strips/{README => README.md} | 45 +++++++++++++++----------- 1 file changed, 26 insertions(+), 19 deletions(-) rename encodings/strips/{README => README.md} (69%) diff --git a/encodings/strips/README b/encodings/strips/README.md similarity index 69% rename from encodings/strips/README rename to encodings/strips/README.md index 3bb77f0..037ce05 100644 --- a/encodings/strips/README +++ b/encodings/strips/README.md @@ -1,31 +1,37 @@ +# Incremental STRIPS Planning Encodings + This suite of incremental STRIPS planning encodings implements diverse methods. The included encoding files provide the following functionalities: -- preprocess.lp: static analysis of potentially relevant actions - + Parameters: _closure (default value: '3') - * Value '1': forward chaining of effects w.r.t. initial variable values - * Value '2': backward regression of effects w.r.t. goal variable values - * Value '3': both forward chaining and backward regression of effects - * Otherwise: off (simply take all actions as given) +## Encodings -- strips-incremental.lp: sequential and parallel planning encoding variants - + Parameters: _parallel (default value: '0') - * Value '1': "forall" parallel actions that can be arranged in any sequence - * Value '2': "exists" parallel actions that can be arranged in some sequence - * Otherwise: sequential actions +### [preprocess.lp](preprocess.lp): static analysis of potentially relevant actions -- redundancy.lp: enforcement of 'redundant' actions to constrain parallel plans - + Remarks: - * Only relevant together with parallel actions - * Encoded constraints seem rather ineffective though - * Heavy space overhead in combination with "exists" parallel actions +* Parameters: `_closure` (default value: `3`) + * Value `1`: forward chaining of effects w.r.t. initial variable values + * Value `2`: backward regression of effects w.r.t. goal variable values + * Value `3`: both forward chaining and backward regression of effects + * Otherwise: off (simply take all actions as given) -- postprocess.lp: plan feasibility checking and conversion to sequential plan +### [strips-incremental.lp](strips-incremental.lp): sequential and parallel planning encoding variants +* Parameters: `_parallel` (default value: `0`) + * Value `1`: “forall” parallel actions that can be arranged in any sequence + * Value `2`: “exists” parallel actions that can be arranged in some sequence + * Otherwise: sequential actions -================================================================================ +### [redundancy.lp](redundancy.lp): enforcement of ‘redundant’ actions to constrain parallel plans +* Remarks: + * Only relevant together with parallel actions + * Encoded constraints seem rather ineffective though + * Heavy space overhead in combination with “exists” parallel actions -Some example invocations (using clingo 5.1.0) are as follows: +### [postprocess.lp](postprocess.lp): plan feasibility checking and conversion to sequential plan +## Usage Examples + +Some example invocations (using `clingo` 5.1.0) are as follows: + +```bash plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - preprocess.lp strips-incremental.lp plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - preprocess.lp strips-incremental.lp -c _closure=0 @@ -47,3 +53,4 @@ plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instan plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - preprocess.lp strips-incremental.lp --outf=1 -c _parallel=1 | grep -A1 -e "ANSWER" | tail -n1 | clingo - postprocess.lp <(plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl) plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - preprocess.lp strips-incremental.lp --outf=1 -c _parallel=2 | grep -A1 -e "ANSWER" | tail -n1 | clingo - postprocess.lp <(plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl) +```