Changed format of readme file for STRIPS encodings to Markdown.

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
+## Encodings
-  + 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)
 
-- strips-incremental.lp: sequential and parallel planning encoding variants
+### [preprocess.lp](preprocess.lp): static analysis of potentially relevant actions
-  + 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: enforcement of 'redundant' actions to constrain parallel plans
+* Parameters: `_closure` (default value: `3`)
-  + Remarks:
+  * Value `1`: forward chaining of effects w.r.t. initial variable values
-    * Only relevant together with parallel actions
+  * Value `2`: backward regression of effects w.r.t. goal variable values
-    * Encoded constraints seem rather ineffective though
+  * Value `3`: both forward chaining and backward regression of effects
-    * Heavy space overhead in combination with "exists" parallel actions
+  * 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)
+```