From 59e95c7097d3bd63c633e098afc348c7e92dcb4a Mon Sep 17 00:00:00 2001 From: mgebser Date: Tue, 17 Jan 2017 17:15:21 +0100 Subject: [PATCH] some refactoring --- encodings/strips/README.md | 41 +++++++++++++----------- encodings/strips/incmode.lp | 3 ++ encodings/strips/redundancy.lp | 43 +++++++++++++------------- encodings/strips/strips-incremental.lp | 24 ++++++++------ 4 files changed, 61 insertions(+), 50 deletions(-) create mode 100644 encodings/strips/incmode.lp diff --git a/encodings/strips/README.md b/encodings/strips/README.md index 9e633b5..2d3dbb7 100644 --- a/encodings/strips/README.md +++ b/encodings/strips/README.md @@ -5,21 +5,26 @@ The included encoding files provide the following functionalities: ## Encodings +### [incmode.lp](incmode.lp): include built-in “iclingo“ script for incremental grounding and solving + ### [preprocess.lp](preprocess.lp): static analysis of potentially relevant actions -* Parameters: `_closure` (default value: `3`) +* Parameter: `_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](strips-incremental.lp): sequential and parallel planning encoding variants -* Parameters: `_parallel` (default value: `0`) +* Parameter: `_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 * Value `3`: “exists“ parallel actions omitting achievement of preconditions * Value `4`: “exists“ parallel actions like `3` implemented by acyclicity * Otherwise: sequential actions +* Parameter: `planner_on` (default value: `0`) + * Value `0`: no compatibility to ASP-based planner (no idle steps permitted) + * Otherwise: compatibility to ASP-based planner (idle steps permitted) ### [redundancy.lp](redundancy.lp): enforcement of ‘redundant’ actions to constrain parallel plans * Remarks: @@ -34,35 +39,35 @@ The included encoding files provide the following functionalities: 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 - incmode.lp 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 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _closure=0 -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=1 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _closure=1 -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=2 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _closure=2 -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 _parallel=1 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=1 -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 _parallel=2 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=2 -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 _parallel=3 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=3 -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 _parallel=4 +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=4 -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 _parallel=1 redundancy.lp +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=1 redundancy.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 _parallel=2 redundancy.lp +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=2 redundancy.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 _parallel=3 redundancy.lp +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp preprocess.lp strips-incremental.lp -c _parallel=3 redundancy.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 --outf=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 - incmode.lp preprocess.lp strips-incremental.lp --outf=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=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 - incmode.lp 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) +plasp ../../instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl ../../instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl | clingo - incmode.lp 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) -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=3 | 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 - incmode.lp preprocess.lp strips-incremental.lp --outf=1 -c _parallel=3 | 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=4 | 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 - incmode.lp preprocess.lp strips-incremental.lp --outf=1 -c _parallel=4 | 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) ``` diff --git a/encodings/strips/incmode.lp b/encodings/strips/incmode.lp new file mode 100644 index 0000000..e0a8e6b --- /dev/null +++ b/encodings/strips/incmode.lp @@ -0,0 +1,3 @@ +% Include built-in "iclingo" script for incremental grounding and solving + +#include . diff --git a/encodings/strips/redundancy.lp b/encodings/strips/redundancy.lp index 5c5649d..7d420ce 100644 --- a/encodings/strips/redundancy.lp +++ b/encodings/strips/redundancy.lp @@ -3,43 +3,42 @@ % BASE PROGRAM -selfdefeat(A) :- _parallel = 1, active(A), precondition(A,X,V), has_condition(A,X,1), - not postcondition(A,X,V). -forall(A) :- _parallel = 1, active(A), not selfdefeat(A). +selfdefeat(A) :- selfdefeat(A,X). +disjoin(A,A1) :- active(A), has_condition(A,X,P), selfdefeat(A1,X), not selfdefeat(A). compatible(A,A1) :- active(A), active(A1), A != A1, 1 < _parallel, _parallel < 4, - not diverge(A,A1), not diverge(A1,A), - not exclude(A,A1), not exclude(A1,A). + not diverge(A,A1), not exclude(A,A1), not disable(A,A1) : disable(A1,A). compatible(A) :- compatible(A,A1). +compatible(A) :- active(A), active(A1), A != A1, _parallel = 1, not selfdefeat(A), + not diverge(A,A1), not exclude(A,A1), not disjoin(A,A1). -disable(A,A1,A2) :- disable(A1,A2), compatible(A,A1), compatible(A,A2). -disabled(A,A2) :- disable(A,A1,A2). -disabled(A,A2) :- disable(A,A2). +disable(A,A1,A2) :- compatible(A,A1), compatible(A,A2), not disable(A1,A), + disable(A1,A2), not disable(A2,A1). -% CHECK PROGRAM +disabled(A,A2) :- disable(A,A1,A2). +disabled(A,A2) :- disable(A,A2). + +% STEP PROGRAM #program step(t). -defeated(A,t) :- active(A), postcondition(A,X,V), fluent(X), not holds(X,V,t), - not selfdefeat(A), 0 < _parallel, _parallel < 4. +defeated(A,t) :- compatible(A), postcondition(A,X,V), fluent(X), not holds(X,V,t). -defeated(A,t) :- forall(A), precondition(A,X,V), not holds(X,V,t-1). -defeated(A,t) :- forall(A), precondition(A,X,V), not has_condition(A,X,1), not holds(X,V,t). -defeated(A,t) :- forall(A), postcondition(A,X,V), not has_condition(A,X,0), single(X,t). - -defeated(A,t) :- _parallel = 3, active(A), precondition(A,X,V), not holds(X,V,t-1). +defeated(A,t) :- compatible(A), precondition(A,X,V), not holds(X,V,t-1), _parallel != 2. +defeated(A,t) :- compatible(A), precondition(A,X,V), not has_condition(A,X,1), not holds(X,V,t), + _parallel = 1. +defeated(A,t) :- compatible(A), has_condition(A,X,1), not has_condition(A,X,0), single(X,t). proceed(A,X,V,t) :- compatible(A), holds(X,V,t-1), scope(X,V). -proceed(A,X,V,t) :- compatible(A,A1), occurs(A1,t), perform(A,A1,t), - postcondition(A1,X,V), scope(X,V), not precondition(A1,X,V). +proceed(A,X,V,t) :- compatible(A,A1), not disable(A1,A), perform(A,A1,t), occurs(A1,t), + scope(X,V), postcondition(A1,X,V), not precondition(A1,X,V). perform(A,A1,t) :- disabled(A,A1), not occurs(A1,t). -perform(A,A1,t) :- compatible(A,A1), +perform(A,A1,t) :- compatible(A,A1), not disable(A1,A), proceed(A,X,V,t) : precondition(A1,X,V), _parallel = 2; perform(A,A2,t) : disable(A,A1,A2). defeated(A,t) :- compatible(A), precondition(A,X,V), not proceed(A,X,V,t), _parallel = 2. -defeated(A,t) :- compatible(A), disable(A,A2), not perform(A,A2,t). +defeated(A,t) :- compatible(A), disable(A,A1), not perform(A,A1,t). -:- active(A), not selfdefeat(A), not occurs(A,t), not defeated(A,t), - 0 < _parallel, _parallel < 4. +:- compatible(A), not occurs(A,t), not defeated(A,t), 0 < _parallel, _parallel < 4. diff --git a/encodings/strips/strips-incremental.lp b/encodings/strips/strips-incremental.lp index e0d8a04..4e53643 100644 --- a/encodings/strips/strips-incremental.lp +++ b/encodings/strips/strips-incremental.lp @@ -7,31 +7,35 @@ #const _parallel = 0. -#include . +% Constant 'planner_on' to enable encoding support for ASP-based planner +% - value '0': no compatibility to ASP-based planner (no idle steps permitted) +% - otherwise: compatibility to ASP-based planner (idle steps permitted) + +#const planner_on = 0. % BASE PROGRAM % Define auxiliary predicates for actions w.r.t. parallel mode -selfdefeat(A,X) :- active(A), precondition(A,X,V), has_condition(A,X,1), _parallel = 1, - not postcondition(A,X,V). +selfdefeat(A,X) :- active(A), precondition(A,X,V), _parallel = 1, + has_condition(A,X,1), not postcondition(A,X,V). -diverge(A1,A2,X) :- active(A1), active(A2), A1 < A2, postcondition(A1,X,V), +diverge(A1,A2,X) :- active(A1), active(A2), postcondition(A1,X,V), has_condition(A2,X,1), not postcondition(A2,X,V), 0 < _parallel, _parallel < 5. diverge(A1,A2) :- diverge(A1,A2,X). -exclude(A1,A2) :- precondition(A1,X,V), 0 < _parallel, _parallel < 5, _parallel != 2, - has_condition(A2,X,0), not precondition(A2,X,V). +exclude(A1,A2) :- active(A1), active(A2), precondition(A1,X,V), + has_condition(A2,X,0), not precondition(A2,X,V), + 0 < _parallel, _parallel < 5, _parallel != 2. disable(A1,A2) :- active(A1), active(A2), A1 != A2, postcondition(A1,X,V), has_condition(A2,X,0), not precondition(A2,X,V), - not diverge(A1,A2), not diverge(A2,A1), - not exclude(A1,A2), not exclude(A2,A1), + not diverge(A1,A2), not exclude(A1,A2), 1 < _parallel, _parallel < 5. disable :- #sum{ 1,A1 : disable(A1,A2), _parallel = 4; - -1,A2 : disable(A1,A2), _parallel = 4 } > 0. + -1,A2 : disable(A1,A2), _parallel = 4} > 0. scope(X,V) :- active(A), precondition(A,X,V), _parallel = 2. @@ -72,7 +76,7 @@ change(X,t) :- holds(X,V,t-1), not holds(X,V,t). {occurs(A,t) : active(A)}. -:- not occurs(A,t) : active(A). +:- planner_on = 0, not occurs(A,t) : active(A). :- occurs(A,t), postcondition(A,X,V), fluent(X), not holds(X,V,t).