patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

finalizing redundant rules to restrict number of parallel plans

Browse Source
This commit is contained in:
gebser 2016-11-15 21:16:01 +01:00
parent 6f1a64a705
commit 367f49253e
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
encodings/strips/redundancy.lp
View File

@ -3,9 +3,11 @@
compatible(A,A1) :- active(A), active(A1), A != A1, _parallel = 2, compatible(A,A1) :- active(A), active(A1), A != A1, _parallel = 2,
not diverge(A,A1), not diverge(A1,A). not diverge(A,A1), not diverge(A1,A).
compatible(A) :- compatible(A,A1).
disable(A,A1,A2) :- disable(A1,A2), compatible(A,A1), compatible(A,A2). 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,A1,A2).
disabled(A,A2) :- disable(A,A2), _parallel = 2. disabled(A,A2) :- disable(A,A2).
#program step(t). #program step(t).
@ -17,16 +19,15 @@ defeated(A,t) :- _parallel = 1, active(A), precondition(A,X,V), not holds(X,V,t)
defeated(A,t) :- _parallel = 1, active(A), postcondition(A,X,V), not precondition(A,X,V), defeated(A,t) :- _parallel = 1, active(A), postcondition(A,X,V), not precondition(A,X,V),
single(X,t). single(X,t).
proceed(A,X,V,t) :- active(A), holds(X,V,t-1), scope(X,V). 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), 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). postcondition(A1,X,V), scope(X,V), not precondition(A1,X,V).
perform(A,A1,t) :- disabled(A,A1), not occurs(A1,t). 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),
proceed(A,X,V,t) : precondition(A1,X,V); perform(A,A2,t) : disable(A,A1,A2). proceed(A,X,V,t) : precondition(A1,X,V); perform(A,A2,t) : disable(A,A1,A2).
perform(A,A,t) :- active(A), _parallel = 2,
proceed(A,X,V,t) : precondition(A,X,V); perform(A,A2,t) : disable(A,A2).
defeated(A,t) :- _parallel = 2, active(A), not perform(A,A,t). defeated(A,t) :- compatible(A), precondition(A,X,V), not proceed(A,X,V,t).
defeated(A,t) :- compatible(A), disable(A,A2), not perform(A,A2,t).
:- active(A), not occurs(A,t), not defeated(A,t), _parallel = 1 : _parallel != 2. :- active(A), not occurs(A,t), not defeated(A,t), _parallel = 1 : _parallel != 2.